Prof. Shlomi Dolev

dolev foto Professor

Contacts

Email:
Homepage:
Office: 501 in 37 building
Phone number: 08-6428119
Fax number: 08-6477650
Box number: 45
Office hours: Tue 8:00-10:00

Teaching

Spring 2018 20214581 Topics in Blockchain
Spring 2018 20217779 Research experience for excellent students E - Dkalim Program
Spring 2018 20224011 Network Security
Spring 2018 20216231 Supervised Research in Computer and Brain Sciences
Fall 2016-2017 20214311 Topics in Swarm of Nano Robotics
Fall 2016-2017 20224791 Advanced Subject in Computer and Brain Science
Spring 2017 20224011 Network Security
Spring 2017 20211031 Data Structures
Fall 2015-2016 20221131 Computer Communication and Distributed Algorithms
Spring 2016 20211031 Data Structures
Spring 2016 20224011 Network Security
Fall 2014-2015 20011031 Data Structures for IAF
Fall 2014-2015 20221131 Computer Communication and Distributed Algorithms
Spring 2015 20224011 Network Security
Fall 2013-2014 20221131 Computer Communication and Distributed Algorithms
Spring 2014 20214381 Mini-Project in Distributed Computing
Fall 2012-2013 20221131 Computer Communication and Distributed Algorithms
Spring 2013 20224011 Network Security
Fall 2011-2012 20221131 Computer Communication and Distributed Algorithms
Fall 2011-2012 20011031 Data Structures for IAF
Spring 2012 20214381 Mini-Project in Distributed Computing
Fall 2010-2011 20011031 Data Structures for IAF
Fall 2010-2011 20221131 Computer Communication and Distributed Algorithms
Spring 2011 20011031 Data Structures for IAF
Spring 2011 20211031 Data Structures
Fall 2009-2010 20011031 Data Structures for IAF
Fall 2009-2010 20221131 Computer Communication and Distributed Algorithms
Spring 2010 20011031 Data Structures for IAF
Fall 2008-2009 20011031 Data Structures for IAF
Fall 2008-2009 20215531 Topics in Computer Sciences D
Spring 2009 20221131 Computer Communication and Distributed Algorithms
Spring 2009 20225521 Advanced Topics in Computer Sciences -2
Fall 2007-2008 20011031 Data Structures for IAF
Fall 2007-2008 20215551 Topics in Computer Sciences F
Spring 2008 20221131 Computer Communication and Distributed Algorithms
Spring 2008 20214451 Topics in Communication
Fall 2006-2007 20225571 Research Seminar 2
Fall 2006-2007 20221131 Computer Communication and Distributed Algorithms
Spring 2007 20211031 Data Structures
Spring 2007 20225521 Advanced Topics in Computer Sciences -2
Fall 2005-2006 20225521 Advanced Topics in Computer Sciences -2
Fall 2005-2006 20221131 Computer Communication and Distributed Algorithms
Spring 2006 20225041 Seminar in Distributed Algorithms and Communication
Spring 2006 20211031 Data Structures
Fall 2004-2005 20221131 Computer Communication and Distributed Algorithms
Spring 2005 20214451 Topics in Communication
Spring 2005 20211031 Data Structures
Spring 2005 20215461 Topics in the Frontiers of Computer Science for Honor Students
Spring 2004 20211031 Data Structures

Research groups

Algorithms
Communication Networks and Algorithms
Computer security
Cryptocurrencies
Cryptography
Cryptography and Privacy
Distributed Systems and Computations
Self-Stabilzation

Selected publications all BibTex

 
Articles
Dolev, S. and Welch, L. J.. Wait-Free Clock Synchronization. Algorithmica, 18:486-511.
Dolev, S., Schiller, E., Welch, L. J.. Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. IEEE Transactions on Mobile Computing, March 2005.
Dolev, S., Herman, T., and Lahiani, L.. Polygonal Broadcast, Secret Maturity and the Firing Sensors. Ad Hoc Networks Journal, 2005.
Carmi, P., Dolev, S., Har-Peled, S., Katz, M., Segal, M.. Geographic Quorum Systems Approximations. Algorithmica, 41(4):233-244, 2005.
Dolev, S.. Self Stabilizion. AIAA Journal of Aerospace Computing, Information, and Communication (JACIC), 1:253-255, June 2004.
Dolev, S. and Welch, L. J.. Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults. Journal of the ACM, 51(5):780-799, 2004.
Dolev, S., Schiller, E.. Self-Stabilizing Group Communication in Directed Networks. Acta Informatica, 40(9):609-639, 2004.
Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J.. GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks. Distributed Computing, 2004.
Dolev, S., Kat, R.. Self-Stabilizing Distributed File Systems. Journal of High Speed Networks, 2004.
Dolev, S., and Rajsbaum, S.. Stability of Long-lived Consensus. Journal of Computer and System Sciences, 16(1):26-45, August 2003.
Dolev, S., Segala, R., and Shvartsman, A.. Dynamic Load Balancing with Group Communication. Theoretical Computer Science, March 2003.
Beimel, A., Dolev, S.. Buses for Anonymous Message Delivery. Journal of Cryptology, 16(1):25--39, 2003.
Dolev, S., Schiller, E.. Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Transactions on Parallel and Distributed Systems, 14(7):709-720, 2003.
Dolev, S., Stomp, F.. Safety Assurance via On-Line Monitoring. Distributed Computing, 16(4):269-277, 2003.
Afek, Y., and Dolev, S.. Local Stabilizer. Journal of Parallel and Distributed Computing, 62(5):745-765, May 2002.
Abraham, U., Dolev, S., Herman, T., and Koll, I.. Self-Stabilizing l-exclusion. Theoretical Computer Science, 266(1-2):653-692, 2001.
Dolev, S., Korach, E., and Yukelson, D.. The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. Journal of Parallel and Distributed Computing, 61(7):868-883, 2001.
Dolev, S., Schiller, E.. Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Transactions on Parallel and Distributed Systems, 14(7):709-720, 2001.
Dolev, S., Fitingof, B., Melkman, A., and Tubman, O.. Smooth and Adaptive Forward Erasure Correcting. Overlay Networks, 36(2-3):343-355, 2001.
Dolev, S., Ostrovsky, R.. Xor-Trees for Efficient Anonymous Multicast and Reception. ACM Transactions on Information and System Security, 3(2):63-84, may 2000.
Dolev, S., Kesselman, A.. Bounded Latency Scheduling Scheme for ATM Cells. Journal of Computer Networks and ISDN Systems, 32(3):325-331, 2000.
Dolev, S., Kate, M., and Welch, L. J.. A Competitive Analysis for Retransmission Timeout. Networks, 34(1):73-80, 1999.
Dolev, S., Kranakis, E., and Krizanc, D.. Baked Potato Routing. Journal of Algorithms, 30:379-399, 1999.
Dolev, S., Kesselman, A.. Non-Preemptive Real-Time Scheduling of Multimedia Tasks. Journal of Real-Time Systems, 17(8):23-39, 1999.
Dolev, S., Kranakis, E., Krizanc, D., and Peleg, D.. Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks. SIAM Journal on Computing, 29(3):804-833, 1999.
Dolev, S., Gouda, G. M., and Schneider, M.. Memory Requirements for Silent Stabilization. Acta Informatica, 36:447-462, 1999.
Dolev, S.. Optimal Time Self-Stabilization in Uniform Dynamic Systems. Parallel Processing Letters, 8(1):7-18, 1998.
Abello, J. and Dolev, S.. On the Computational Power of Self-Stabilizing Systems. Theoretical Computer Science, 182:159-170, 1997.
Dolev, S., and Welch, L. J.. Crash Resilient Communication in Dynamic Networks. IEEE Transactions on Computers, 46(1):14-26, 1997.
Dolev, S.. Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. Journal of Real-Time Systems, 12(1):95-107, 1997.
Dolev, S., Israeli, A. and Moran, S.. Resource Bounds for Self Stabilizing Message Driven Protocols. SIAM Journal on Computing, 26(1):273-290, 1997.
Dolev, S., Israeli, A., and Moran, S.. Uniform Dynamic Self-Stabilizing Leader Election. IEEE Transactions on Parallel and Distributed Systems, 8(4):424-440, 1997.
Dolev, S.. Self-Stabilizing Routing and Related Protocols. Journal of Parallel and Distributed Computing, 42:122-127, 1997.
Dolev, S., and Herman, T.. SuperStabilizing Protocols for Dynamic Distributed Systems. Chicago Journal of Theoretical Computer Science, 3(4), 1997.
Abu-Amara, H., Coan, B., Dolev, S., Kanevsky, A. and Welch, L. J.. Self-Stabilizing Topology Maintenance Protocols for High-Speed Networks. IEEE/ACM Transactions on Networking, 4(6):902-912, December 1996.
Dolev, S., and Pradhan, D. K., Welch, L. J.. Modified Tree Structure for Location Management in Mobile. Computer Communications, 19(4):335-345, 1996.
Dolev, S., Israeli, A., and Moran, S.. Analyzing Expected Time by Scheduler-Luck Games. IEEE Transactions on Software Engineering, 21(5):429-439, May 1995.
Dolev, S.. Workshop Report, Second Workshop on Self-Stabilizing Systems. SIGACT news, 26(3):74-76, sept. 1995.
Attiya, H., Dolev, S. and Welch, L. J.. Connection Management Without Retaining Information. Information and Computation, 123(2):155-171, 1995.
Collin, Z., and Dolev, S.. Self-Stabilizing Depth First Search. Information Processing Letters, 49:297-301, 1994.
Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems Assuming Only Read Write Atomicity. Distributed Computing, 7:3-16, 1993.
Arora, A., Dolev, S., and Gouda, G. M.. Maintaining Digital Clocks in Step. Parallel Processing Letters, 1(1):11-18, 1991.
 
Books
Dolev, S.. In Self-Stabilization, MIT Press, March 2000.
 
Conference Articles
Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., and Nolte, T.. Virtual Stationary Automata for Mobile Networks. In Proc. of the 24th Annual ACM Symp. on Principles of Distributed Computing, 2005.
Dolev, S., Gilbert, S., Schiller, E., Shvartsman, A., and Welch, J.. Autonomous Virtual Mobile Nodes. In 17th International Conference on Parallelisim in Algorithms and Architectures, 2005.
Dolev, S. and Gersten, O.. Robust Active SuperTier Systems. In IEEE International Conference on Software-Science, Technology & Engineering, pages 23-33, 2005.
Dolev, S., Herman, T., and Lahiani, L.. Polygonal Broadcast, Secret Maturity and the Firing Sensors. In Third International Conference on Fun with Algorithms, pages 41-52, May 2004.
Dolev, S., Gilbert, S., Lynch, A. N., Schiller, E., Shvartsman, A., and Welch, J.. Virtual Mobile Nodes for Mobile Ad Hoc Networks. In International Conference on Principles of DIStributed Computing, pages 230-244, 2004.
Beimel, A., Dolev, S., and Singer, N.. RT oblivious erasure correcting. In IEEE Information Theory Workshop, 2004.
Davidovitch, L., Dolev, S., and Rajsbaum, S.. Consensus Continue? Stability of Multi-Valued Continuous Consensus!. In Proc. of the sixth workshop on Geometric and Topological Methods in Concurrency and Distributed Computing, 2004.
Dolev, S., and Kat, R. I.. HyperTree for Self-Stabilizing Peer-to-Peer Systems. In 3rd IEEE International Symp. on Network Computing and Applications, pages 25-32, 2004.
Dolev, S., and Haviv, Y.. Self-Stabilizing Microprocessor, Analyzing and Overcoming Soft-Errors. In 17th International Conference on Architecture of Computing Systems, pages 31-46, Springer-Verlag, 2004.
Dolev, S. and Yagel, R.. Toward Self-Stabilizing Operating Systems. In 2nd International Workshop on Self-Adaptive and Autonomic Computing Systems, pages 684-688, 2004.
Brukman, O., Dolev, S. and Kolodner, H.. Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. In IEEE International Conference on Software-Science, Technology & Engineering, pages 20-29, 2003.
Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J.. GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks. In 17th International Conference on Principles of DIStributed Computing, pages 306-320, Springer-Verlag, 2003.
Dolev, S., Schiller, E.. Self-Stabilizing Group Communication in Directed Networks. In Proc. of the 6th Symposium on Self-Stabilizing Systems, pages 61-76, Springer-Verlag, 2003.
Dolev, S., Schiller, E., Welch, L. J.. Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. In Proc. of the 21st IEEE Symposium on Reliable Distributed Systems, pages 70-79, 2002.
Dolev, S., Kat, R.. Self-Stabilizing Distributed File Systems. In International Workshop on Self-Repairing and Self-Configurable Distributed Systems, pages 384-389, 2002.
Dolev, S., Herman, T.. Dijkstra`s Self-Stabilizing Algorithm in Unsupportive Environments. In Proc. of the 5th Workshop on Self-Stabilizing Systems, pages 67-81, 2001.
Dolev, S., Schiller, E.. Communication Adaptive Self-Stabilizing Group Membership Service. In Proc. of the 5th Workshop on Self-Stabilizing Systems, pages 81-97, 2001.
Dolev, S., Stomp, F.. Safety Assurance via On-Line Monitoring. In Proc. of the 5th IEEE International Symposium on Autonomous Decentralized Systems, pages 101-108, 2001.
Beimel, A., Dolev, S.. Buses for Anonymous Message Delivery. In 2nd International Conference on FUN with Algorithms, pages 1-13, Carleton University Press, 2001.
Dolev, S., Fitingof, B., Melkman, A., and Tubman, O.. Smooth and Adaptive Forward Erasure Correcting. In Proc. of the 21th Conference of Electrical and Electronics Engineers in Israel, pages 483-486, 2000.
Dolev, S., Rajsbaum, S.. Stability of Long-lived Consensus. In Proc. of the 19th Annual ACM Symp. on Principles of Distributed Computing, pages 309-318, 2000.
Dolev, S., Segala, R., and Shvartsman, A.. Dynamic Load Balancing with Group Communication. In Proc. of the 6th International Colloquium on Structural Information and Communication Complexity, pages 111-125, 1999.
Dolev, S., Kesselman, A.. Bounded Latency Scheduling Scheme for ATM Cells. In Proc. of the 4th IEEE Symposium on Computers and Communications, pages 273-277, 1999.
Dolev, S., Korach, E., and Yukelson, D.. The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. In Eighteenth Annual Joint Conference of IEEE Computer and Communications Societies, pages 768-775, 1999.
Dolev, S., Herman, T.. Parallel Composition of Stabilizing Algorithms. In Proc. of the 4th Workshop on Self-Stabilizing Systems, pages 25-33, 1999.
Dolev, S., Kesselman, A.. Non-Preemptive Real-Time Scheduling of Multimedia Tasks. In Proc. of the 3rd IEEE Symposium on Computers and Communications, pages 652-656, 1998.
Beauquier, J., Delaet, S., Dolev, S., and Tixeuil, S.. Transient Fault Detectors. In Proc. of the 12th International Symposium on DIStributed Computing, pages 62-74, Springer-Verlag, 1998.
Dolev, S.. Stabilizing in the Presence of Faults, the Digital Clock Synchronization Case. In Proc. of the 1997 International Conference On Principles Of Distributed Systems (OPODIS`97), pages 285-291, Dec. 1997.
Afek, Y., and Dolev, S.. Local Stabilizer. In Proc. of the 5th Israeli Symposium on Theory of Computing and Systems, pages 74-84, 1997.
Abraham, U., Dolev, S., Herman, T., and Koll, I.. Self-Stabilizing l-exclusion. In Proc. of the 3rd Workshop on Self-Stabilizing Systems, pages 48-63, Carleton University Press, 1997.
Dolev, S., and Ostrovsky, R.. Efficient Anonymous Multicast and Reception. In Proc. of the Seventeenth Annual IACR Crypto Conference, pages 395-409, Springer-Verlag, 1997.
Dolev, S., Gouda, G. M., and Schneider, M.. Memory Requirements for Silent Stabilization. In Proc. of the 15th Annual ACM Symp. on Principles of Distributed Computing, pages 27-34, 1996.
Dolev, S., Kranakis, E., and Krizanc, D.. Baked Potato Routing. In Proc. of the 4th Israeli Symposium on Theory of Computing and Systems, pages 27-36, 1996.
Dolev, S., Kranakis, E., Krizanc, D., and Peleg, D.. Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks. In Proc. of the 27th ACM Symposium on Theory of Computing, pages 528-537, 1995.
Dolev, S., and Herman, T.. SuperStabilizing Protocols for Dynamic Distributed Systems. In Proc. of the Second Workshop on Self-Stabilizing Systems, pages 3.1-3.15, 1995.
Dolev, S. and Welch, L. J.. Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults. In Proc. of the Second Workshop on Self-Stabilizing Systems, pages 9.1-9.12, 1995.
Dolev, S., Kate, M., and Welch, L. J.. A Competitive Analysis for Retransmission Timeout. In 15th International Conference on Distributed Computing Systems, pages 450-455, 1995.
Dolev, S., and Pradhan, D. K., Welch, L. J.. Modified Tree Structure for Location Management in Mobile Environments. In Fourteenth Annual Joint Conference of IEEE Computer and Communications Societies, 2:530-537, 1995.
Attiya, H., Dolev, S. and Welch, L. J.. Connection Management Without Retaining Information. In 28th Hawaii International Conference on System Science, II:622-631, 1995.
Dolev, S.. Optimal Time Self-Stabilization in Uniform Dynamic Systems. In Proc. of the 6th IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, pages 25-28, October 1994.
Awerbuch, B., Patt-Shamir, B., Varghese, G., and Dolev, S.. Self-Stabilization by Local Checking and Global Reset. In Proc. of the 8th International Workshop on Distributed Algorithms, pages 326-339, Springer-Verlag, 1994.
Abello, J. and Dolev, S.. On the Computational Power of Self-Stabilizing Systems. In Proceedings of the 6th International Conference on Computing and Information, pages 585-603, 1994.
Abu-Amara, H., Coan, B., Dolev, S., Kanevsky, A. and Welch, L. J.. A Fault-Tolerant Layered Approach to Fiber-Optic Networks. In High-Speed Networking and Multimedia Computing, Arturo A. Rodriguez, Mon-Song Chen, Jacek Maitan editor, pages 380-390, 1994.
Dolev, S.. Optimal Time Self Stabilization in Dynamic Systems. In Proc. of the 7th International Workshop on Distributed Algorithms, pages 160-173, Springer-Verlag, 1993.
Dolev, S., and Welch, L. J.. Crash Resilient Communication in Dynamic Networks. In Proc. of the 7th International Workshop on Distributed Algorithms, pages 129-144, Springer-Verlag, 1993.
Dolev, S. and Welch, L. J.. Wait-Free Clock Synchronization. In Proc. of the 12th Annual ACM Symp. on Principles of Distributed Computing, pages 97-108, 1993.
Dolev, S., Israeli, A., and Moran, S. Uniform Dynamic Self Stabilizing Leader Election. In Proc. of the 5th International Workshop on Distributed Algorithms, pages 167-180, Springer-Verlag, 1991.
Dolev, S., Israeli, A., and Moran, S.. Resource Bounds for Self Stabilizing Message Driven Protocols. In Proc. of the 10th Annual ACM Symp. on Principles of Distributed Computing, pages 281-293, 1991.
Arora, A., Dolev, S., and Gouda, G. M.. Maintaining Digital Clocks in Step. In Proc. of the 5th International Workshop on Distributed Algorithms,, pages 71-79, Springer-Verlag, 1991.
Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. In PODC 1990: Proc. of the 9th Annual ACM Symp. on Principles of, pages 103-117, 1990.
Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems. In Proc. of the MCC Workshop on Self-Stabilizing Systems, Microelectronics and Computer Technology Corporation, pages 3.5.4 1-4, 1989.
 
Technical reports
Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., and Nolte, T.. Virtual Stationary Automata for Mobile Networks. , 2005.
S. Dolev and R. Yagel.. Toward Self-Stabilizing Operating Systems. , March 2004.
Davidovitch, L., Dolev, S., and Rajsbaum, S.. Consensus Continue? Stability of Multi-Valued Continuous Consensus!. , May 2004.
Dolev, S., Gilbert, S., Lynch, N., Schiller, E.,Shvartsman, A., and Welch, J.. Virtual Mobile Nodes for Mobile Ad Hoc Networks. , 2004.
Beimel, A., Dolev, S., and Singer, N.. RT oblivious erasure correcting. , December 2003.
Dolev, S., Korach, E., and Rosen, J.. Magnifying Computing Gaps. , February 2003.
Dolev, S., Herman, T., and Lahiani, L.. Polygonal Broadcast, Secret Maturity and the Firing Sensors. , February 2003.
Brukman, O., and Dolev, S.. Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. , June 2003.
Dolev, S., and Haviv, Y.. Self-Stabilizing Soft Error Resilient Microprocessor. , March 2003.
Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J.. GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks. , 2003.
Dolev, S., and Herman, T.. Dijkstra`s Self-Stabilizing Algorithm in Unsupportive Environments. , May 2001.
Dolev, S., and Schiller, E.. Communication Adaptive Self-Stabilizing Group Communication. , July 2000.
Dolev, S., Kesselman, A.. Bounded Latency Scheduling Scheme for ATM Cells. , January 1999.
Dolev, S., Fitingof, B., Melkman, A., and Tubman, O.. Smooth and Adaptive Forward Erasure Correcting. , September 1999.
Dolev, S., Kesselman, A.. Non-Preemptive Real-Time Scheduling of Multimedia Tasks. , March 1998.
Dolev, S., and Ostrovsky, R.. Xor-Trees for Efficient Anonymous Multicast and Reception. , 1998.
Dolev, S., Segala, R., and Shvartsman, A.. Dynamic Load Balancing with Group Communication. , 1998.
Abraham, U., Dolev, S., Herman, T., and Koll, I.. Self-Stabilizing l- exclusion. , August 1997.
Afek, Y., and Dolev, S.. Local Stabilizer. , February 1997.
Dolev, S., Korach, E., and Yukelson, D.. The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. , October 1997.
Dolev, S.. Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. , August 1996.
Dolev, S. and Welch, L. J.. Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults. , August 1996.
Dolev, S., and Herman, T.. SuperStabilizing Protocols for Dynamic Distributed Systems. , January 1995.
Dolev, S., Kranakis, E., and Krizanc, D.. Baked Potatoes: Deadlock Prevention Via Scheduling. , October 1995.
Dolev, S., Kranakis, E., Krizanc, D., and Peleg, D.. Bubbles: AdaptiveRouting Scheme for High-Speed Dynamic Networks. , September 1994.
Dolev, S., Israeli, A., and Moran, S.. Uniform Self-Stabilizing Leader Election Part 1: Complete Graph Protocols. , Technion 1994.
Dolev, S., and Welch, L. J.. Crash Resilient Communication in Dynamic Networks. , June 1993.
Dolev, S., and Shimony, E.. Interpreter Algorithm for Parallelizing Loops. , May 1993.
Dolev, S., Israeli, A., and Moran, S.. Uniform Self-Stabilizing Leader Election Part 2: General Graph Protocol. , 1993.
Attiya, H., Dolev, S. and Welch, L. J.. Memory Requirements for Connection Management. , 1993.
Dolev, S., Israeli, A., and Moran, S.. Resource Bounds for Self Stabilizing Message Driven Protocols. , July 1990.
Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. , 1989.