Prof. Shlomi Dolev

Professor

Office hours:by email appointment

Contacts

Email:
Homepage:
Office:	502 in 37 building
Phone number:	08-6428119
Fax number:	08-6477650
Box number:	45

Teaching

Spring 2004	20211031 Data Structures
Fall 2004-2005	20221131 Computer Communication and Distributed Algorithms
Spring 2005	20214451 Topics in Communication
Spring 2005	20215461 Topics in the Frontiers of Computer Science for Honor Students
Spring 2005	20211031 Data Structures
Fall 2005-2006	20221131 Computer Communication and Distributed Algorithms
Fall 2005-2006	20225521 Advanced Topics in Computer Science 2
Spring 2006	20211031 Data Structures
Spring 2006	20225041 Seminar in Distributed Algorithms and Communication
Fall 2006-2007	20225571 Research Seminar 2
Fall 2006-2007	20221131 Computer Communication and Distributed Algorithms
Spring 2007	20225521 Advanced Topics in Computer Science 2
Spring 2007	20211031 Data Structures
Fall 2007-2008	20215551 Topics in Computer Sciences F
Fall 2007-2008	20011031 Data Structure for IAF
Spring 2008	20221131 Computer Communication and Distributed Algorithms
Spring 2008	20214451 Topics in Communication
Fall 2008-2009	20215531 Topics in Computer Sciences D
Fall 2008-2009	20011031 Data Structure for IAF
Spring 2009	20221131 Computer Communication and Distributed Algorithms
Spring 2009	20225521 Advanced Topics in Computer Science 2
Fall 2009-2010	20011031 Data Structure for IAF
Fall 2009-2010	20221131 Computer Communication and Distributed Algorithms
Spring 2010	20011031 Data Structure for IAF
Fall 2010-2011	20011031 Data Structure for IAF
Fall 2010-2011	20221131 Computer Communication and Distributed Algorithms
Spring 2011	20011031 Data Structure for IAF
Spring 2011	20211031 Data Structures
Fall 2011-2012	20011031 Data Structure for IAF
Fall 2011-2012	20221131 Computer Communication and Distributed Algorithms
Spring 2012	20214381 Mini-Project in Distributed Computing
Fall 2012-2013	20221131 Computer Communication and Distributed Algorithms
Spring 2013	20224011 Network Security

Research groups

Algorithms

Communication Algorithms

Communication networks

Cryptography and security

Distributed algorithms and systems

Fault-tolerance and automatic recovery

Selected publications all BibTex

Articles

BibTeX Dolev, S. and Welch, L. J.. Wait-Free Clock Synchronization. Algorithmica, 18:486-511.
BibTeX 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.
BibTeX Dolev, S., Herman, T., and Lahiani, L.. Polygonal Broadcast, Secret Maturity and the Firing Sensors. Ad Hoc Networks Journal, 2005.
BibTeX Carmi, P., Dolev, S., Har-Peled, S., Katz, M., Segal, M.. Geographic Quorum Systems Approximations. Algorithmica, 41(4):233-244, 2005.
BibTeX Dolev, S.. Self Stabilizion. AIAA Journal of Aerospace Computing, Information, and Communication (JACIC), 1:253-255, June 2004.
BibTeX 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.
BibTeX Dolev, S., Kat, R.. Self-Stabilizing Distributed File Systems. Journal of High Speed Networks, 2004.
BibTeX Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J.. GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks. Distributed Computing, 2004.
BibTeX Dolev, S., Schiller, E.. Self-Stabilizing Group Communication in Directed Networks. Acta Informatica, 40(9):609-639, 2004.
BibTeX Dolev, S., and Rajsbaum, S.. Stability of Long-lived Consensus. Journal of Computer and System Sciences, 16(1):26-45, August 2003.
BibTeX Dolev, S., Segala, R., and Shvartsman, A.. Dynamic Load Balancing with Group Communication. Theoretical Computer Science, March 2003.
BibTeX Dolev, S., Stomp, F.. Safety Assurance via On-Line Monitoring. Distributed Computing, 16(4):269-277, 2003.
BibTeX Beimel, A., Dolev, S.. Buses for Anonymous Message Delivery. Journal of Cryptology, 16(1):25--39, 2003.
BibTeX Dolev, S., Schiller, E.. Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Transactions on Parallel and Distributed Systems, 14(7):709-720, 2003.
BibTeX Afek, Y., and Dolev, S.. Local Stabilizer. Journal of Parallel and Distributed Computing, 62(5):745-765, May 2002.
BibTeX Dolev, S., Schiller, E.. Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Transactions on Parallel and Distributed Systems, 14(7):709-720, 2001.
BibTeX Abraham, U., Dolev, S., Herman, T., and Koll, I.. Self-Stabilizing l-exclusion. Theoretical Computer Science, 266(1-2):653-692, 2001.
BibTeX Dolev, S., Fitingof, B., Melkman, A., and Tubman, O.. Smooth and Adaptive Forward Erasure Correcting. Overlay Networks, 36(2-3):343-355, 2001.
BibTeX 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.
BibTeX 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.
BibTeX Dolev, S., Kesselman, A.. Bounded Latency Scheduling Scheme for ATM Cells. Journal of Computer Networks and ISDN Systems, 32(3):325-331, 2000.
BibTeX Dolev, S., Gouda, G. M., and Schneider, M.. Memory Requirements for Silent Stabilization. Acta Informatica, 36:447-462, 1999.
BibTeX Dolev, S., Kesselman, A.. Non-Preemptive Real-Time Scheduling of Multimedia Tasks. Journal of Real-Time Systems, 17(8):23-39, 1999.
BibTeX Dolev, S., Kranakis, E., and Krizanc, D.. Baked Potato Routing. Journal of Algorithms, 30:379-399, 1999.
BibTeX Dolev, S., Kate, M., and Welch, L. J.. A Competitive Analysis for Retransmission Timeout. Networks, 34(1):73-80, 1999.
BibTeX 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.
BibTeX Dolev, S.. Optimal Time Self-Stabilization in Uniform Dynamic Systems. Parallel Processing Letters, 8(1):7-18, 1998.
BibTeX Dolev, S., and Herman, T.. SuperStabilizing Protocols for Dynamic Distributed Systems. Chicago Journal of Theoretical Computer Science, 3(4), 1997.
BibTeX Dolev, S.. Self-Stabilizing Routing and Related Protocols. Journal of Parallel and Distributed Computing, 42:122-127, 1997.
BibTeX 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.
BibTeX Dolev, S., Israeli, A. and Moran, S.. Resource Bounds for Self Stabilizing Message Driven Protocols. SIAM Journal on Computing, 26(1):273-290, 1997.
BibTeX Dolev, S., and Welch, L. J.. Crash Resilient Communication in Dynamic Networks. IEEE Transactions on Computers, 46(1):14-26, 1997.
BibTeX Dolev, S.. Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. Journal of Real-Time Systems, 12(1):95-107, 1997.
BibTeX Abello, J. and Dolev, S.. On the Computational Power of Self-Stabilizing Systems. Theoretical Computer Science, 182:159-170, 1997.
BibTeX 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.
BibTeX Dolev, S., and Pradhan, D. K., Welch, L. J.. Modified Tree Structure for Location Management in Mobile. Computer Communications, 19(4):335-345, 1996.
BibTeX 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.
BibTeX Dolev, S.. Workshop Report, Second Workshop on Self-Stabilizing Systems. SIGACT news, 26(3):74-76, sept. 1995.
BibTeX Attiya, H., Dolev, S. and Welch, L. J.. Connection Management Without Retaining Information. Information and Computation, 123(2):155-171, 1995.
BibTeX Collin, Z., and Dolev, S.. Self-Stabilizing Depth First Search. Information Processing Letters, 49:297-301, 1994.
BibTeX Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems Assuming Only Read Write Atomicity. Distributed Computing, 7:3-16, 1993.
BibTeX Arora, A., Dolev, S., and Gouda, G. M.. Maintaining Digital Clocks in Step. Parallel Processing Letters, 1(1):11-18, 1991.

Books
BibTeX Dolev, S.. In Self-Stabilization, MIT Press, March 2000.

Conference Articles
BibTeX 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.
BibTeX 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.
BibTeX Dolev, S. and Gersten, O.. Robust Active SuperTier Systems. In IEEE International Conference on Software-Science, Technology & Engineering, pages 23-33, 2005.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX Beimel, A., Dolev, S., and Singer, N.. RT oblivious erasure correcting. In IEEE Information Theory Workshop, 2004.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX Dolev, S., Kat, R.. Self-Stabilizing Distributed File Systems. In International Workshop on Self-Repairing and Self-Configurable Distributed Systems, pages 384-389, 2002.
BibTeX 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.
BibTeX 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.
BibTeX Beimel, A., Dolev, S.. Buses for Anonymous Message Delivery. In 2nd International Conference on FUN with Algorithms, pages 1-13, Carleton University Press, 2001.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX Dolev, S., Herman, T.. Parallel Composition of Stabilizing Algorithms. In Proc. of the 4th Workshop on Self-Stabilizing Systems, pages 25-33, 1999.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX Afek, Y., and Dolev, S.. Local Stabilizer. In Proc. of the 5th Israeli Symposium on Theory of Computing and Systems, pages 74-84, 1997.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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.
BibTeX 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
BibTeX Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., and Nolte, T.. Virtual Stationary Automata for Mobile Networks. , 2005.
BibTeX S. Dolev and R. Yagel.. Toward Self-Stabilizing Operating Systems. , March 2004.
BibTeX Davidovitch, L., Dolev, S., and Rajsbaum, S.. Consensus Continue? Stability of Multi-Valued Continuous Consensus!. , May 2004.
BibTeX Dolev, S., Gilbert, S., Lynch, N., Schiller, E.,Shvartsman, A., and Welch, J.. Virtual Mobile Nodes for Mobile Ad Hoc Networks. , 2004.
BibTeX Beimel, A., Dolev, S., and Singer, N.. RT oblivious erasure correcting. , December 2003.
BibTeX Dolev, S., Korach, E., and Rosen, J.. Magnifying Computing Gaps. , February 2003.
BibTeX Dolev, S., Herman, T., and Lahiani, L.. Polygonal Broadcast, Secret Maturity and the Firing Sensors. , February 2003.
BibTeX Brukman, O., and Dolev, S.. Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. , June 2003.
BibTeX Dolev, S., and Haviv, Y.. Self-Stabilizing Soft Error Resilient Microprocessor. , March 2003.
BibTeX Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J.. GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks. , 2003.
BibTeX Dolev, S., and Herman, T.. Dijkstra`s Self-Stabilizing Algorithm in Unsupportive Environments. , May 2001.
BibTeX Dolev, S., and Schiller, E.. Communication Adaptive Self-Stabilizing Group Communication. , July 2000.
BibTeX Dolev, S., Kesselman, A.. Bounded Latency Scheduling Scheme for ATM Cells. , January 1999.
BibTeX Dolev, S., Fitingof, B., Melkman, A., and Tubman, O.. Smooth and Adaptive Forward Erasure Correcting. , September 1999.
BibTeX Dolev, S., Kesselman, A.. Non-Preemptive Real-Time Scheduling of Multimedia Tasks. , March 1998.
BibTeX Dolev, S., and Ostrovsky, R.. Xor-Trees for Efficient Anonymous Multicast and Reception. , 1998.
BibTeX Dolev, S., Segala, R., and Shvartsman, A.. Dynamic Load Balancing with Group Communication. , 1998.
BibTeX Abraham, U., Dolev, S., Herman, T., and Koll, I.. Self-Stabilizing l- exclusion. , August 1997.
BibTeX Afek, Y., and Dolev, S.. Local Stabilizer. , February 1997.
BibTeX Dolev, S., Korach, E., and Yukelson, D.. The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. , October 1997.
BibTeX Dolev, S. and Welch, L. J.. Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults. , August 1996.
BibTeX Dolev, S.. Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. , August 1996.
BibTeX Dolev, S., and Herman, T.. SuperStabilizing Protocols for Dynamic Distributed Systems. , January 1995.
BibTeX Dolev, S., Kranakis, E., and Krizanc, D.. Baked Potatoes: Deadlock Prevention Via Scheduling. , October 1995.
BibTeX Dolev, S., Kranakis, E., Krizanc, D., and Peleg, D.. Bubbles: AdaptiveRouting Scheme for High-Speed Dynamic Networks. , September 1994.
BibTeX Dolev, S., Israeli, A., and Moran, S.. Uniform Self-Stabilizing Leader Election Part 1: Complete Graph Protocols. , Technion 1994.
BibTeX Dolev, S., and Welch, L. J.. Crash Resilient Communication in Dynamic Networks. , June 1993.
BibTeX Dolev, S., and Shimony, E.. Interpreter Algorithm for Parallelizing Loops. , May 1993.
BibTeX Dolev, S., Israeli, A., and Moran, S.. Uniform Self-Stabilizing Leader Election Part 2: General Graph Protocol. , 1993.
BibTeX Attiya, H., Dolev, S. and Welch, L. J.. Memory Requirements for Connection Management. , 1993.
BibTeX Dolev, S., Israeli, A., and Moran, S.. Resource Bounds for Self Stabilizing Message Driven Protocols. , July 1990.
BibTeX Dolev, S., Israeli, A., and Moran, S.. Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. , 1989.

Computer Science

Ben Gurion University

Prof. Shlomi Dolev

Contacts

Teaching

Research groups

Selected publications all BibTex