Shlomi Dolev Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Algorithmic Aspects of Wireless Sensor Networks, 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers Springer 2009
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Mihai Oltean: Optical SuperComputing, Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings Springer 2009
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Delaët, Shlomi Dolev, Olivier Peres: Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground. OPODIS 2009: 315-329
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIoannis Chatzigiannakis, Shlomi Dolev, Sándor P. Fekete, Othon Michail, Paul G. Spirakis: Not All Fair Probabilistic Schedulers Are Equivalent. OPODIS 2009: 33-47
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Deaf, Dumb, and Chatting Asynchronous Robots. OPODIS 2009: 71-85
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan E. Tamir, Natan T. Shaked, Wilhelmus J. Geerts, Shlomi Dolev: Combinatorial Optimization Using Electro-Optical Vector by Matrix Multiplication Architecture. OSC 2009: 130-143
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yuval Nir: Optical Designs for Non-deterministic Turing Machines. OSC 2009: 47-55
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Marina Sadetsky: Heuristic Certificates via Approximations. PDCAT 2009: 330-335
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yuval Elovici, Alexander Kesselman, Polina Zilberman: Trawling Traffic under Attack, Overcoming DDoS Attacks by Target-Controlled Traffic Filtering. PDCAT 2009: 336-341
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Rachid Guerraoui, Fabian Kuhn, Calvin C. Newport: The wireless synchronization problem. PODC 2009: 190-199
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Brief announcement: deaf, dumb, and chatting robots. PODC 2009: 308-309
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Marina Kopeetsky: Anonymous Transactions in Computer Networks. SSS 2009: 297-310
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvie Delaët, Shlomi Dolev, Olivier Peres: Safer Than Safe: On the Initial State of Self-stabilizing Systems. SSS 2009: 775-776
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Limor Lahiani, Yinnon A. Haviv: Brief Announcement: Unique Permutation Hashing. SSS 2009: 777-778
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Nir Tzachar: Randomization Adaptive Self-stabilization. SSS 2009: 779-780
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization preserving compiler. ACM Trans. Program. Lang. Syst. 31(6): (2009)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot CoRR abs/0902.3549: (2009)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Marina Kopeetsky, Adi Shamir: RFID Authentication, Efficient Proactive Information Security within Computational Security CoRR abs/0903.5177: (2009)
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman: Incremental Deployment of Network Monitors Based on Group Betweenness Centrality CoRR abs/0904.0352: (2009)
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAsaf Shabtai, Yuval Fledel, Uri Kanonov, Yuval Elovici, Shlomi Dolev: Google Android: A State-of-the-Art Review of Security Mechanisms CoRR abs/0912.5101: (2009)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLior Davidovitch, Shlomi Dolev, Sergio Rajsbaum: Stability of Multi-Valued Continuous Consensus. Electr. Notes Theor. Comput. Sci. 230: 23-38 (2009)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman: Incremental deployment of network monitors based on Group Betweenness Centrality. Inf. Process. Lett. 109(20): 1172-1176 (2009)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Nir Tzachar: Empire of colonies: Self-stabilizing and self-organizing distributed algorithm. Theor. Comput. Sci. 410(6-7): 514-532 (2009)
2008
134no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Tobias Haist, Mihai Oltean: Optical Super Computing, First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings Springer 2008
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract). Autonomics 2008: 37
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Self-stabilizing and self-orgenizing mobile networks. DIALM-POMC 2008: 25-26
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Nir Tzachar: Brief Announcment: Corruption Resilient Fountain Codes. DISC 2008: 502-503
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRami Puzis, Marius David Klippel, Yuval Elovici, Shlomi Dolev: Optimization of NIDS Placement for Protection of Intercommunicating Critical Infrastructures. EuroISI 2008: 191-203
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Moskovitch, Clint Feher, Nir Tzachar, Eugene Berger, Marina Gitelman, Shlomi Dolev, Yuval Elovici: Unknown Malcode Detection Using OPCODE Representation. EuroISI 2008: 204-215
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan E. Tamir, Natan T. Shaked, Peter J. Wilson, Shlomi Dolev: Electro-Optical DSP of Tera Operations per Second and Beyond (Extended Abstract). OSC 2008: 56-69
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Rachid Guerraoui, Calvin C. Newport: Secure communication over radio channels. PODC 2008: 105-114
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Danny Hendler, Adi Suissa: CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory. PODC 2008: 125-134
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Brukman, Shlomi Dolev: Self-* Programming: Run-Time Parallel Control Search for Reflection Box. SASO 2008: 481-482
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Tutorial Abstract Virtual Infrastructure. SSS 2008: 263-264
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Nir Tzachar: Randomization Adaptive Self-Stabilization CoRR abs/0810.4440: (2008)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ronen I. Kat: HyperTree for self-stabilizing peer-to-peer systems. Distributed Computing 20(5): 375-388 (2008)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Alexander A. Shvartsman: Introduction to special issue dedicated to the DISC 20th anniversary. Distributed Computing 20(6): 389-390 (2008)
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Towards Self-Stabilizing Operating Systems. IEEE Trans. Software Eng. 34(4): 564-576 (2008)
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Brukman, Shlomi Dolev, Elliot K. Kolodner: A self-stabilizing autonomic recoverer for eventual Byzantine software. Journal of Systems and Software 81(12): 2315-2327 (2008)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Arnon, Shlomi Dolev, Ronen I. Kat, Debbie Kedar: Searching for a lion in the desert: optics-based acquisition algorithms for wireless sensor networks. Mobile Computing and Communications Review 12(4): 32-42 (2008)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Self-stabilizing device drivers. TAAS 3(4): (2008)
2007
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel: Self-Stabilization as a Foundation for Autonomic Computing. ARES 2007: 991-998
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Rachid Guerraoui, Calvin C. Newport: Gossiping in a Multi-channel Radio Network. DISC 2007: 208-222
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Hen Fitoussi: The Traveling Beams Optical Solutions for Bounded NP-Complete Problems. FUN 2007: 120-134
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Limor Lahiani, Moti Yung: Secret Swarm UnitReactive k-Secret Sharing. INDOCRYPT 2007: 123-137
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Game authority for robust andscalable distributed selfish-computer systems. PODC 2007: 356-357
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ephraim Korach, Galit Uzan: Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract). SSS 2007: 253-265
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). SSS 2007: 266-280
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRami Puzis, Yuval Elovici, Shlomi Dolev: Finding the most prominent group in complex networks. AI Commun. 20(4): 287-296 (2007)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: Parallel composition for time-to-fault adaptive stabilization. Distributed Computing 20(1): 29-38 (2007)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient fault detectors. Distributed Computing 20(1): 39-51 (2007)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmos Beimel, Shlomi Dolev, Noam Singer: RT oblivious erasure correcting. IEEE/ACM Trans. Netw. 15(6): 1321-1332 (2007)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLior Davidovitch, Shlomi Dolev, Sergio Rajsbaum: Stability of Multivalued Continuous Consensus. SIAM J. Comput. 37(4): 1057-1076 (2007)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: A review of the DISC 2006 conference. SIGACT News 38(1): 46-52 (2007)
2006
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Rafail Ostrovsky, Andreas Pfitzmann: Anonymous Communication and its Applications, 09.10. - 14.10.2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings Springer 2006
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Nir Tzachar: Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms. OPODIS 2006: 230-243
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ronen I. Kat, Elad Michael Schiller: When Consensus Meets Self-stabilization. OPODIS 2006: 45-63
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yinnon A. Haviv: Stabilization Enabling Technology. SSS 2006: 1-15
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Brukman, Shlomi Dolev: Recovery Oriented Programming. SSS 2006: 152-168
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Self-stabilizing Device Drivers. SSS 2006: 276-289
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Marina Kopeetsky: Secure Communication for RFIDs Proactive Information Security Within Computational Security. SSS 2006: 290-303
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman, Limor Lahiani: Polygonal broadcast, secret maturity, and the firing sensors. Ad Hoc Networks 4(4): 447-486 (2006)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors. IEEE Trans. Computers 55(4): 385-399 (2006)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller, Jennifer L. Welch: Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks. IEEE Trans. Mob. Comput. 5(7): 893-905 (2006)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Roberto Segala, Alexander A. Shvartsman: Dynamic load balancing with group communication. Theor. Comput. Sci. 369(1-3): 348-360 (2006)
2005
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Andreas Pfitzmann, Rafail Ostrovsky: 05411 Abstracts Collection -- Anonymous Communication and its Applications. Anonymous Communication and its Applications 2005
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Autonomous virtual mobile nodes. DIALM-POMC 2005: 62-69
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte: Timed Virtual Stationary Automata for Mobile Networks. OPODIS 2005: 130-145
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte: Brief announcement: virtual stationary automata for mobile networks. PODC 2005: 323
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Autonomous virtual mobile nodes. SPAA 2005: 215
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Memory Management for Self-stabilizing Operating Systems. Self-Stabilizing Systems 2005: 113-127
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization Preserving Compiler. Self-Stabilizing Systems 2005: 81-95
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte: Self-stabilizing Mobile Node Location Management and Message Routing. Self-Stabilizing Systems 2005: 96-112
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ori Gersten: Robust Active Super Tier Systems. SwSTE 2005: 23-33
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaz Carmi, Shlomi Dolev, Sariel Har-Peled, Matthew J. Katz, Michael Segal: Geographic Quorum System Approximations. Algorithmica 41(4): 233-244 (2005)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch: GeoQuorums: implementing atomic memory in mobile ad hoc networks. Distributed Computing 18(2): 125-155 (2005)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ronen I. Kat: Self-stabilizing distributed file system. J. High Speed Networks 14(2): 135-153 (2005)
2004
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract). ARCS 2004: 31-46
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Reuven Yagel: Toward Self-Stabilizing Operating Systems. DEXA Workshops 2004: 684-688
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Virtual Mobile Nodes for Mobile Ad Hoc Networks. DISC 2004: 230-244
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ronen I. Kat: HyperTree for Self-Stabilizing Peer-to-Peer Systems. NCA 2004: 25-32
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Brief announcement: virtual mobile nodes for mobile ad hoc networks. PODC 2004: 385
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman, Limor Lahiani: Brief announcement: polygonal broadcast, secret maturity and the firing sensors. PODC 2004: 391
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmos Beimel, Shlomi Dolev, Noam Singer: Brief announcement: RT oblivious erasure correcting. PODC 2004: 393
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller: Self-stabilizing group communication in directed networks. Acta Inf. 40(9): 609-636 (2004)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Self-stabilizing clock synchronization in the presence of Byzantine faults. J. ACM 51(5): 780-799 (2004)
2003
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch: GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks. DISC 2003: 306-320
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller: Self-Stabilizing Group Communication in Directed Networks. Self-Stabilizing Systems 2003: 61-76
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Brukman, Shlomi Dolev, Elliot K. Kolodner: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. SwSTE 2003: 20-
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Frank A. Stomp: Safety assurance via on-line monitoring. Distributed Computing 16(4): 269-277 (2003)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller: Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Trans. Parallel Distrib. Syst. 14(7): 709-720 (2003)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Sergio Rajsbaum: Stability of long-lived consensus. J. Comput. Syst. Sci. 67(1): 26-45 (2003)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmos Beimel, Shlomi Dolev: Buses for Anonymous Message Delivery. J. Cryptology 16(1): 25-39 (2003)
2002
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller, Jennifer L. Welch: Random walk for self-stabilitzing group communication in ad hoc networks. PODC 2002: 259
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ronen I. Kat: Self-Stabilizing Distributed File Systems. SRDS 2002: 384-389
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller, Jennifer L. Welch: Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. SRDS 2002: 70-79
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Shlomi Dolev: Local Stabilizer. J. Parallel Distrib. Comput. 62(5): 745-765 (2002)
2001
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Frank A. Stomp: Safety Assurance via On-Line Monitoring. ISADS 2001: 101-
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. WSS 2001: 67-81
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Elad Schiller: Communication Adaptive Self-Stabilizing Group Membership Service. WSS 2001: 82-97
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments CoRR cs.DC/0105013: (2001)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Boris Fitingof, Avraham A. Melkman, Olga Tubman: Smooth and adaptive forward erasure correcting. Computer Networks 36(2/3): 343-355 (2001)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ephraim Korach, Dmitry Yukelson: The Sound of Silence: Guessing Games for Saving Energy in a Mobile Environment. J. Parallel Distrib. Comput. 61(7): 868-883 (2001)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUri Abraham, Shlomi Dolev, Ted Herman, Irit Koll: Self-stabilizing l-exclusion. Theor. Comput. Sci. 266(1-2): 653-692 (2001)
2000
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Self-Stabilization MIT Press 2000
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Sergio Rajsbaum: Stability of long-lived consensus (extended abstract). PODC 2000: 309-318
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Rafail Ostrovsky: Xor-trees for efficient anonymous multicast and reception. ACM Trans. Inf. Syst. Secur. 3(2): 63-84 (2000)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Alexander Kesselman: Bounded latency scheduling scheme for ATM cells. Computer Networks 32(3): 325-331 (2000)
1999
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ephraim Korach, Dmitry Yukelson: The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. INFOCOM 1999: 768-775
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Alexander Kesselman: Bounded Latency Scheduling Scheme for ATM Cells. ISCC 1999: 273-277
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ephraim Korach, Dmitry Yukelson: The Sound of Silence - Guessing Games for Saving Energy in Mobile Environment. PODC 1999: 273
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: Parallel composition of stabilizing algorithms. WSS 1999: 25-32
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization. Acta Inf. 36(6): 447-462 (1999)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked-Potato Routing. J. Algorithms 30(2): 379-399 (1999)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Michael Kate, Jennifer L. Welch: A competitive analysis for retransmission timeout. Networks 34(1): 73-80 (1999)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Alexander Keizelman: Non-Preemptive Real-Time Scheduling of Multimedia Tasks. Real-Time Systems 17(1): 23-39 (1999)
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Evangelos Kranakis, Danny Krizanc, David Peleg: Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks. SIAM J. Comput. 29(3): 804-833 (1999)
1998
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient Fault Detectors. DISC 1998: 62-74
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Optimal Time Self-Stabilization in Uniform Dynamic Systems. Parallel Processing Letters 8(1): 7-18 (1998)
1997
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Rafail Ostrovsky: Efficient Anonymous Multicast and Reception (Extended Abstract). CRYPTO 1997: 395-409
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Shlomi Dolev: Local Stabilizer. ISTCS 1997: 74-84
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Stabilizing in the Presence of Faults, The Digital Clock Synchronization Case. OPODIS 1997: 285-292
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYehuda Afek, Shlomi Dolev: Local Stabilizer (Brief Announcement). PODC 1997: 287
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUri Abraham, Shlomi Dolev, Ted Herman, Irit Koll: Self-stabilizing L-exclusion. WSS 1997: 48-63
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Wait-Free Clock Synchronization. Algorithmica 18(4): 486-511 (1997)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: Superstabilizing Protocols for Dynamic Distributed Systems. Chicago J. Theor. Comput. Sci. 1997: (1997)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Crash Resilient Communication in Dynamic Networks. IEEE Trans. Computers 46(1): 14-26 (1997)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Uniform Dynamic Self-Stabilizing Leader Election. IEEE Trans. Parallel Distrib. Syst. 8(4): 424-440 (1997)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Self-Stabilizing Routing and Related Protocol. J. Parallel Distrib. Comput. 42(2): 122-127 (1997)
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. Real-Time Systems 12(1): 95-107 (1997)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Resource Bounds for Self-Stabilizing Message-Driven Protocols. SIAM J. Comput. 26(1): 273-290 (1997)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Abello, Shlomi Dolev: On the Computational Power of Self-Stabilizing Systems. Theor. Comput. Sci. 182(1-2): 159-170 (1997)
1996
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked Potato Routing. ISTCS 1996: 27-36
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked Potatoes: Deadlock Prevention Via Scheduling (Abstract). PODC 1996: 210
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization (Extended Abstract). PODC 1996: 27-34
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch: Modified tree structure for location management in mobile environments. Computer Communications 19(4): 335-345 (1996)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHosame Abu-Amara, Brian A. Coan, Shlomi Dolev, Arkady Kanevsky, Jennifer L. Welch: Self-stabilizing topology maintenance protocols for high-speed networks. IEEE/ACM Trans. Netw. 4(6): 902-912 (1996)
1995
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection management without retaining information. HICSS (2) 1995: 622-
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Michael Kate, Jennifer L. Welch: A Competitive Analysis for Retransmission Timeout. ICDCS 1995: 450-455
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch: Modified Tree Structure for Location Management in Mobile Environments. INFOCOM 1995: 530-537
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Ted Herman: SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract). PODC 1995: 255
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). PODC 1995: 256
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Evangelos Kranakis, Danny Krizanc, David Peleg: Bubbles: adaptive routing scheme for high-speed dynamic networks (Extended Abstract). STOC 1995: 528-537
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Analyzing Expected Time by Scheduler-Luck Games. IEEE Trans. Software Eng. 21(5): 429-439 (1995)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection Management Without Retaining Information. Inf. Comput. 123(2): 155-171 (1995)
1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaruch Awerbuch, Boaz Patt-Shamir, George Varghese, Shlomi Dolev: Self-Stabilization by Local Checking and Global Reset (Extended Abstract). WDAG 1994: 326-339
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeev Collin, Shlomi Dolev: Self-Stabilizing Depth-First Search. Inf. Process. Lett. 49(6): 297-301 (1994)
1993
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Wait-Free Clock Synchronization (Extended Abstract). PODC 1993: 97-108
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Jennifer L. Welch: Crash Resilient Communication in Dynamic Networks (Preliminary Version). WDAG 1993: 129-144
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev: Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version). WDAG 1993: 160-173
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. Distributed Computing 7(1): 3-16 (1993)
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Resource Bounds for Self Stabilizing Message Driven Protocols. PODC 1991: 281-293
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Uniform Dynamic Self-Stabilizing Leader Election (Extended Absrtact). WDAG 1991: 167-180
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks In Step. WDAG 1991: 71-79
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks in Step. Parallel Processing Letters 1: 11-18 (1991)
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShlomi Dolev, Amos Israeli, Shlomo Moran: Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. PODC 1990: 103-117

Coauthor Index

1James Abello [25]
2Uri Abraham [33] [53]
3Hosame Abu-Amara [20]
4Yehuda Afek [34] [36] [60]
5Shlomi Arnon [118]
6Anish Arora [2] [3]
7Hagit Attiya (Chagit Attiya) [12] [19]
8Baruch Awerbuch [11]
9Joffroy Beauquier [39] [107]
10Amos Beimel [64] [73] [106]
11Eugene Berger [129]
12Olga Brukman [68] [98] [116] [119] [125]
13Paz Carmi [82]
14Ioannis Chatzigiannakis [154]
15Brian A. Coan [20]
16Zeev Collin [10]
17Lior Davidovitch [105] [137]
18Sylvie Delaët [39] [107] [145] [155]
19Yoann Dieudonné [141] [147] [153]
20Yuval Elovici [109] [129] [130] [136] [138] [139] [149]
21Clint Feher [129]
22Sándor P. Fekete [154]
23Boris Fitingof [55]
24Hen Fitoussi [114]
25Yuval Fledel [138]
26Wilhelmus J. Geerts [152]
27Ori Gersten [83]
28Seth Gilbert [70] [75] [77] [81] [87] [88] [89] [90] [115] [127] [148]
29Marina Gitelman [129]
30Mohamed G. Gouda [2] [3] [22] [44]
31Rachid Guerraoui [115] [127] [148]
32Tobias Haist [134]
33Sariel Har-Peled [82]
34Yinnon A. Haviv [79] [85] [94] [99] [116] [142] [144]
35Danny Hendler [126]
36Ted Herman [16] [31] [33] [45] [53] [56] [58] [74] [95] [108]
37Amos Israeli [1] [4] [5] [6] [13] [26] [29]
38Arkady Kanevsky [20]
39Uri Kanonov [138]
40Ronen I. Kat [62] [76] [80] [100] [118] [122]
41Michael Kate [18] [42]
42Matthew J. Katz (Matya Katz) [82]
43Debbie Kedar [118]
44Alexander Kesselman (Alexander Keizelman) [41] [47] [49] [149]
45Marius David Klippel [130]
46Irit Koll [33] [53]
47Elliot K. Kolodner [68] [119]
48Marina Kopeetsky [96] [140] [146]
49Ephraim Korach [46] [48] [54] [111]
50Evangelos Kranakis [14] [23] [24] [40] [43]
51Danny Krizanc [14] [23] [24] [40] [43]
52Fabian Kuhn [148]
53Limor Lahiani [74] [84] [88] [89] [95] [113] [144]
54Nancy A. Lynch [70] [75] [77] [81] [84] [88] [89]
55Avraham A. Melkman [55]
56Othon Michail [154]
57Shlomo Moran [1] [4] [5] [6] [13] [26] [29]
58Robert Moskovitch [129]
59Calvin C. Newport [115] [127] [148]
60Yuval Nir [151]
61Tina Nolte [84] [88] [89]
62Mihai Oltean [134] [156]
63Rafail Ostrovsky [37] [50] [91] [103]
64Boaz Patt-Shamir [11]
65David Peleg [14] [40]
66Olivier Peres [145] [155]
67Franck Petit [141] [147] [153]
68Andreas Pfitzmann [91] [103]
69Dhiraj K. Pradhan [17] [21]
70Rami Puzis [109] [130] [136] [139]
71Sergio Rajsbaum [51] [65] [105] [137]
72Marina Sadetsky [150]
73Shmuel Sagiv (Mooly Sagiv) [85] [142]
74Elad Michael Schiller (Elad Schiller) [57] [61] [63] [66] [69] [72] [75] [77] [87] [90] [93] [100] [112] [133]
75Marco Schneider [22] [44]
76Michael Segal [82] [141] [147] [153]
77Roberto Segala [92]
78Asaf Shabtai [138]
79Natan T. Shaked [128] [152]
80Adi Shamir [140]
81Alexander A. Shvartsman [70] [75] [77] [81] [87] [90] [92] [121]
82Noam Singer [73] [106]
83Paul G. Spirakis [112] [133] [154]
84Frank A. Stomp [59] [67]
85Adi Suissa [126]
86Dan E. Tamir [128] [152]
87Sébastien Tixeuil [39] [107]
88Philippas Tsigas [112] [133]
89Olga Tubman [55]
90Nir Tzachar [101] [123] [129] [131] [135] [143]
91Galit Uzan [111]
92George Varghese [11]
93Jennifer L. Welch [8] [9] [12] [15] [17] [18] [19] [20] [21] [30] [32] [42] [61] [63] [70] [71] [75] [77] [81] [87] [90] [93]
94Peter J. Wilson [128]
95Reuven Yagel [78] [86] [97] [110] [116] [117] [120]
96Dmitry Yukelson [46] [48] [54]
97Moti Yung (Mordechai M. Yung) [113]
98Polina Zilberman [136] [139] [149]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)