Shlomi Dolev

Shlomi Dolev, Nir Tzachar: Spanders: Distributed spanning expanders. Sci. Comput. Program. 78(5): 544-555 (2013)

Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv: Unique permutation hashing. Theor. Comput. Sci. 475: 59-65 (2013)

Shlomi Dolev, Michael Segal, Hanan Shpungin: Bounded-Hop Energy-Efficient Liveness of Flocking Swarms. IEEE Trans. Mob. Comput. 12(3): 516-528 (2013)

Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov, Yelena Yuditsky: Towards Efficient Private Distributed Computation on Unbounded Input Streams. IACR Cryptology ePrint Archive 2013: 220 (2013)

Shlomi Dolev, Limor Lahiani, Moti Yung: Secret swarm unit: Reactive k-secret sharing. Ad Hoc Networks 10(7): 1291-1305 (2012)

Shlomi Dolev, Marina Kopeetsky: Anonymous transactions in computer networks. TAAS 7(2): 26 (2012)

Shlomi Dolev, Christian Scheideler: Editorial for Algorithmic Aspects of Wireless Sensor Networks. Theor. Comput. Sci. 453: 1 (2012)

Shlomi Dolev, Yinnon A. Haviv: Stabilization Enabling Technology. IEEE Trans. Dependable Sec. Comput. 9(2): 275-288 (2012)

Shlomi Dolev, Tobias Haist, Mihai Oltean: Optical supercomputing: introduction to special issue. The Journal of Supercomputing 62(2): 617-619 (2012)

Dan E. Tamir, Natan T. Shaked, Wilhelmus J. Geerts, Shlomi Dolev: Parallel decomposition of combinatorial optimization problems using electro-optical vector by matrix multiplication architecture. The Journal of Supercomputing 62(2): 633-655 (2012)

Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker: Big Data Interpolation an Efficient Sampling Alternative for Sensor Data Aggregation. ALGOSENSORS 2012: 66-77

Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil: Crash Resilient and Pseudo-Stabilizing Atomic Registers. OPODIS 2012: 135-150

Rami Puzis, Polina Zilberman, Yuval Elovici, Shlomi Dolev, Ulrik Brandes: Heuristics for Speeding Up Betweenness Centrality Computation. SocialCom/PASSAT 2012: 302-311

Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma: Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract). SSS 2012: 133-147

Shlomi Dolev, Niv Gilboa, Ofer Hermoni: Brief Announcement: Arbitrators in the Security Infrastructure. SSS 2012: 236-238

Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov, Yelena Yuditsky: Brief Announcement: Efficient Private Distributed Computation on Unbounded Input Streams. DISC 2012: 431-432

Asaf Cohen, Shlomi Dolev, Guy Leshem: Sensor Networks: from Dependence Analysis Via Matroid Bases to Online Synthesis. CoRR abs/1201.4054 (2012)

Eyal Cohen, Shlomi Dolev, Sergey Frenkel, Boris Kryzhanovsky, Alexandr Palagushkin, Michael Rosenblit, Victor Zakharov: Optical Solver of Combinatorial Problems: Nano-Technological Approach. CoRR abs/1205.0040 (2012)

Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov, Yelena Yuditsky: Efficient Private Distributed Computation on Unbounded Input Streams. CoRR abs/1208.4909 (2012)

Shlomi Dolev, Omri Liba, Elad Michael Schiller: Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery. CoRR abs/1208.5620 (2012)

Hadassa Daltrophe, Shlomi Dolev, Zvi Lotker: Data Interpolation: An Efficient Sampling Alternative for Big Data Aggregation. CoRR abs/1210.3171 (2012)

Shlomi Dolev, Nova Fandina, Dan Gutfreund: Succinct Permanent is NEXP-hard with Many Hard Instances. Electronic Colloquium on Computational Complexity (ECCC) 19: 86 (2012)

Carlo Blundo, Angelo De Caro, Shlomi Dolev, Niv Gilboa, Marina Kopeetsky, Giuseppe Persiano, Paul G. Spirakis: Innovative approaches for security of small artefacts. Computer Science Review 5(1): 47-55 (2011)

Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Robust and scalable middleware for selfish-computer systems. Computer Science Review 5(1): 69-84 (2011)

Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata. IJAACS 4(1): 4-38 (2011)

Shlomi Dolev, Yuval Elovici, Alexander Kesselman, Polina Zilberman: Trawling Traffic under Attack Overcoming DDoS Attacks by Target-Controlled Traffic Filtering. Int. J. Found. Comput. Sci. 22(5): 1073-1098 (2011)

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Inf. Process. Lett. 111(18): 912-920 (2011)

Shlomi Dolev, Marina Kopeetsky, Adi Shamir: RFID Authentication Efficient Proactive Information Security within Computational Security. Theory Comput. Syst. 48(1): 132-149 (2011)

Olga Brukman, Shlomi Dolev: Recovery oriented programming: runtime monitoring of safety and liveness. STTT 13(4): 377-395 (2011)

Shlomi Dolev, Sandeep S. Kulkarni, André Schiper: Preface. Theor. Comput. Sci. 412(40): 5513-5514 (2011)

Rami Puzis, Meytal Tubi, Yuval Elovici, Chanan Glezer, Shlomi Dolev: A Decision Support System for Placement of Intrusion Detection and Prevention Devices in Large-Scale Networks. ACM Trans. Model. Comput. Simul. 22(1): 5 (2011)

Debbie Kedar, Shlomi Dolev, Shlomi Arnon: Energy-efficient optical acquisition schemes in wireless sensor networks. Wireless Networks 17(8): 1809-1819 (2011)

Dimitrios Amaxilatis, Ioannis Chatzigiannakis, Shlomi Dolev, Christos Koninis, Apostolos Pyrgelis, Paul G. Spirakis: Adaptive Hierarchical Network Structures for Wireless Sensor Networks. ADHOCNETS 2011: 65-80

Shlomi Dolev: Dynamic Multi-party Computation Forever for Swarm and Cloud Computing and Code Obfuscation. ALGOSENSORS 2011: 1-3

Asaf Cohen, Shlomi Dolev, Guy Leshem: Sensor Fusion: From Dependence Analysis via Matroid Bases to Online Synthesis. ALGOSENSORS 2011: 42-56

Shlomi Dolev, Niv Gilboa, Ofer Hermoni: Poster: arbitrators in the security infrastructure, supporting positive anonymity. ACM Conference on Computer and Communications Security 2011: 753-756

Shlomi Dolev, Niv Gilboa, Marina Kopeetsky: Poster: attribute based broadcast encryption with permanent revocation. ACM Conference on Computer and Communications Security 2011: 757-760

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis: On-Line Detection and Prediction of Temporal Patterns. Haifa Verification Conference 2011: 254-256

Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov: Secret Sharing Krohn-Rhodes: Private and Perennial Distributed Computation. ICS 2011: 32-44

Polina Zilberman, Shlomi Dolev, Gilad Katz, Yuval Elovici, Asaf Shabtai: Analyzing group communication for preventing data leakage via email. ISI 2011: 37-41

Shlomi Dolev, Panagiota N. Panagopoulou, Mikaël Rabie, Elad Michael Schiller, Paul G. Spirakis: Rationality authority for provable rational behavior. PODC 2011: 289-290

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. SSS 2011: 19-31

Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev: Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs. SSS 2011: 223-237

Leonid Barenboim, Shlomi Dolev, Rafail Ostrovsky: Deterministic and Energy-Optimal Wireless Synchronization. DISC 2011: 237-251

Shlomi Dolev, Seth Gilbert, Majid Khabbazian, Calvin C. Newport: Leveraging Channel Diversity to Gain Efficiency and Robustness for Wireless Broadcast. DISC 2011: 252-267

Shlomi Dolev, Mihai Oltean (Eds.): Optical Supercomputing - Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6748, Springer 2011, isbn 978-3-642-22493-5

Shlomi Dolev, Sergey Frenkel, Dan E. Tamir: Computer Arithmetic Preserving Hamming Distance of Operands in Operation Result. CoRR abs/1104.3310 (2011)

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO. CoRR abs/1104.3947 (2011)

Asaf Cohen, Shlomi Dolev, Nir Tzachar: Efficient and Universal Corruption Resilient Fountain Codes. CoRR abs/1111.6244 (2011)

Shlomi Dolev, Nir Tzachar: Randomization adaptive self-stabilization. Acta Inf. 47(5-6): 313-323 (2010)

Asaf Shabtai, Yuval Fledel, Uri Kanonov, Yuval Elovici, Shlomi Dolev, Chanan Glezer: Google Android: A Comprehensive Security Assessment. IEEE Security & Privacy 8(2): 35-44 (2010)

Shlomi Dolev, Yuval Elovici, Rami Puzis: Routing betweenness centrality. J. ACM 57(4) (2010)

Shlomi Dolev, Ronen I. Kat, Elad Michael Schiller: When consensus meets self-stabilization. J. Comput. Syst. Sci. 76(8): 884-900 (2010)

Shlomi Dolev, Tobias Haist, Mihai Oltean: Introduction to special issue on Optical SuperComputing. Natural Computing 9(4): 889-890 (2010)

Amir Anter, Shlomi Dolev: Optical solution for hard on average #P-complete instances (using exponential space for solving instances of the permanent). Natural Computing 9(4): 891-902 (2010)

Shlomi Dolev, Reuven Yagel: Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests. Operating Systems Review 44(3): 65-74 (2010)

Shlomi Dolev, Ori Gersten: A framework for robust active super tier systems. STTT 12(1): 53-67 (2010)

Shlomi Dolev, Hen Fitoussi: Masking traveling beams: Optical solutions for NP-complete problems, trading space for time. Theor. Comput. Sci. 411(6): 837-853 (2010)

Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Game authority for robust and scalable distributed selfish-computer systems. Theor. Comput. Sci. 411(26-28): 2459-2466 (2010)

Shlomi Dolev, Niv Gilboa, Marina Kopeetsky, Giuseppe Persiano, Paul G. Spirakis: Information security for sensors by overwhelming random sequences and permutations. ACM Conference on Computer and Communications Security 2010: 669-671

Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev: Rendezvous tunnel for anonymous publishing. ACM Conference on Computer and Communications Security 2010: 690-692

Shlomi Dolev, Niv Gilboa, Marina Kopeetsky, Giuseppe Persiano, Paul G. Spirakis: Information security for sensors by overwhelming random sequences and permutations. DIALM-PODC 2010: 43-48

Ohad Ben-Shahar, Shlomi Dolev, Andrey Dolgin, Michael Segal: Direction election in flocking swarms. DIALM-PODC 2010: 73-80

Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil: RoboCast: Asynchronous Communication in Robot Networks. OPODIS 2010: 16-31

Dan E. Tamir, Natan T. Shaked, Wilhelmus J. Geerts, Shlomi Dolev: Compressive Sensing of Object-Signature. OSC 2010: 63-77

Eyal Cohen, Shlomi Dolev, Sergey Frenkel, Rami Puzis, Michael Rosenblit: Nanotechnology Based Optical Solution for NP-Hard Problems. OSC 2010: 86-99

Shlomi Dolev, Nova Fandina, Joseph Rosen: Holographic Computation of Balanced Succinct Permanent Instances. OSC 2010: 100-112

Shlomi Dolev, Guy Leshem, Reuven Yagel: Purifying data by machine learning with certainty levels. WRAS 2010: 5

Shlomi Dolev, Juan A. Garay, Niv Gilboa, Vladimir Kolesnikov: Brief announcement: swarming secrets. PODC 2010: 231-232

Shlomi Dolev, Nir Tzachar: Spanders: distributed spanning expanders. SAC 2010: 1309-1314

Shlomi Dolev, Niv Gilboa, Marina Kopeetsky: Computing multi-party trust privately: in O(n) time units sending one (possibly large) message at a time. SAC 2010: 1460-1465

Lélia Blin, Shlomi Dolev, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis: Fast Self-stabilizing Minimum Spanning Tree Construction - Using Compact Nearest Common Ancestor Labeling Scheme. DISC 2010: 480-494

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil: Brief Announcement: Sharing Memory in a Self-stabilizing Manner. DISC 2010: 525-527

Shlomi Dolev, Michael Segal, Hanan Shpungin: Bounded-hop strong connectivity for flocking swarms. WiOpt 2010: 177-185

Shlomi Dolev, Jorge Arturo Cobb, Michael J. Fischer, Moti Yung (Eds.): Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings. Lecture Notes in Computer Science 6366, Springer 2010, isbn 978-3-642-16022-6

Lélia Blin, Shlomi Dolev, Maria Potop-Butucaru, Stephane Rovedakis: Fast Self-Stabilizing Minimum Spanning Tree Construction. CoRR abs/1006.3141 (2010)

Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil: RoboCast: Asynchronous Communication in Robot Networks. CoRR abs/1006.5877 (2010)

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil: Practically Stabilizing Atomic Memory. CoRR abs/1007.1802 (2010)

Yaniv Altshuler, Shlomi Dolev, Yuval Elovici: Efficient Collaborative Application Monitoring Scheme for Mobile Networks. CoRR abs/1009.1132 (2010)

Leonid Barenboim, Shlomi Dolev, Rafail Ostrovsky: Deterministic and Energy-Optimal Wireless Synchronization. CoRR abs/1010.1112 (2010)

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil: Stabilizing data-link over non-FIFO channels with optimal fault-resilience. CoRR abs/1011.3632 (2010)

Lior Davidovitch, Shlomi Dolev, Sergio Rajsbaum: Stability of Multi-Valued Continuous Consensus. Electr. Notes Theor. Comput. Sci. 230: 23-38 (2009)

Shlomi 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)

Shlomi Dolev, Nir Tzachar: Empire of colonies: Self-stabilizing and self-organizing distributed algorithm. Theor. Comput. Sci. 410(6-7): 514-532 (2009)

Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization preserving compiler. ACM Trans. Program. Lang. Syst. 31(6) (2009)

Ioannis Chatzigiannakis, Shlomi Dolev, Sándor P. Fekete, Othon Michail, Paul G. Spirakis: Not All Fair Probabilistic Schedulers Are Equivalent. OPODIS 2009: 33-47

Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Deaf, Dumb, and Chatting Asynchronous Robots. OPODIS 2009: 71-85

Sylvie 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

Shlomi Dolev, Yuval Nir: Optical Designs for Non-deterministic Turing Machines. OSC 2009: 47-55

Dan E. Tamir, Natan T. Shaked, Wilhelmus J. Geerts, Shlomi Dolev: Combinatorial Optimization Using Electro-Optical Vector by Matrix Multiplication Architecture. OSC 2009: 130-143

Shlomi Dolev, Marina Sadetsky: Heuristic Certificates via Approximations. PDCAT 2009: 330-335

Shlomi Dolev, Yuval Elovici, Alexander Kesselman, Polina Zilberman: Trawling Traffic under Attack, Overcoming DDoS Attacks by Target-Controlled Traffic Filtering. PDCAT 2009: 336-341

Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Fabian Kuhn, Calvin C. Newport: The wireless synchronization problem. PODC 2009: 190-199

Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Brief announcement: deaf, dumb, and chatting robots. PODC 2009: 308-309

Shlomi Dolev, Marina Kopeetsky: Anonymous Transactions in Computer Networks. SSS 2009: 297-310

Sylvie Delaët, Shlomi Dolev, Olivier Peres: Safer Than Safe: On the Initial State of Self-stabilizing Systems. SSS 2009: 775-776

Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv: Brief Announcement: Unique Permutation Hashing. SSS 2009: 777-778

Shlomi Dolev, Nir Tzachar: Randomization Adaptive Self-stabilization. SSS 2009: 779-780

Shlomi Dolev (Ed.): Algorithmic Aspects of Wireless Sensor Networks, 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5804, Springer 2009, isbn 978-3-642-05433-4

Shlomi Dolev, Mihai Oltean (Eds.): Optical SuperComputing, Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009. Proceedings. Lecture Notes in Computer Science 5882, Springer 2009, isbn 978-3-642-10441-1

Yoann 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)

Shlomi Dolev, Marina Kopeetsky, Adi Shamir: RFID Authentication, Efficient Proactive Information Security within Computational Security. CoRR abs/0903.5177 (2009)

Shlomi Dolev, Yuval Elovici, Rami Puzis, Polina Zilberman: Incremental Deployment of Network Monitors Based on Group Betweenness Centrality. CoRR abs/0904.0352 (2009)

Asaf 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)

Shlomi Dolev, Ronen I. Kat: HyperTree for self-stabilizing peer-to-peer systems. Distributed Computing 20(5): 375-388 (2008)

Shlomi Dolev, Alexander A. Shvartsman: Introduction to special issue dedicated to the DISC 20th anniversary. Distributed Computing 20(6): 389-390 (2008)

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel: Self-Stabilization from Theory to Practice. Bulletin of the EATCS 94: 130-150 (2008)

Olga 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)

Shlomi 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)

Shlomi Dolev, Reuven Yagel: Self-stabilizing device drivers. TAAS 3(4) (2008)

Shlomi Dolev, Reuven Yagel: Towards Self-Stabilizing Operating Systems. IEEE Trans. Software Eng. 34(4): 564-576 (2008)

Shlomi 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

Shlomi Dolev: Self-stabilizing and self-orgenizing mobile networks. DIALM-POMC 2008: 25-26

Rami Puzis, Marius David Klippel, Yuval Elovici, Shlomi Dolev: Optimization of NIDS Placement for Protection of Intercommunicating Critical Infrastructures. EuroISI 2008: 191-203

Robert Moskovitch, Clint Feher, Nir Tzachar, Eugene Berger, Marina Gitelman, Shlomi Dolev, Yuval Elovici: Unknown Malcode Detection Using OPCODE Representation. EuroISI 2008: 204-215

Dan 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

Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Calvin C. Newport: Secure communication over radio channels. PODC 2008: 105-114

Shlomi Dolev, Danny Hendler, Adi Suissa: CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory. PODC 2008: 125-134

Olga Brukman, Shlomi Dolev: Self-* Programming: Run-Time Parallel Control Search for Reflection Box. SASO 2008: 481-482

Shlomi Dolev: Tutorial Abstract Virtual Infrastructure. SSS 2008: 263-264

Shlomi Dolev, Nir Tzachar: Brief Announcment: Corruption Resilient Fountain Codes. DISC 2008: 502-503

Shlomi Dolev, Tobias Haist, Mihai Oltean (Eds.): Optical Super Computing, First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings. Lecture Notes in Computer Science 5172, Springer 2008, isbn 978-3-540-85672-6

Shlomi Dolev, Nir Tzachar: Randomization Adaptive Self-Stabilization. CoRR abs/0810.4440 (2008)

Rami Puzis, Yuval Elovici, Shlomi Dolev: Finding the most prominent group in complex networks. AI Commun. 20(4): 287-296 (2007)

Shlomi Dolev, Ted Herman: Parallel composition for time-to-fault adaptive stabilization. Distributed Computing 20(1): 29-38 (2007)

Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient fault detectors. Distributed Computing 20(1): 39-51 (2007)

Lior Davidovitch, Shlomi Dolev, Sergio Rajsbaum: Stability of Multivalued Continuous Consensus. SIAM J. Comput. 37(4): 1057-1076 (2007)

Shlomi Dolev: A review of the DISC 2006 conference. SIGACT News 38(1): 46-52 (2007)

Amos Beimel, Shlomi Dolev, Noam Singer: RT oblivious erasure correcting. IEEE/ACM Trans. Netw. 15(6): 1321-1332 (2007)

Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel: Self-Stabilization as a Foundation for Autonomic Computing. ARES 2007: 991-998

Shlomi Dolev, Hen Fitoussi: The Traveling Beams Optical Solutions for Bounded NP-Complete Problems. FUN 2007: 120-134

Shlomi Dolev, Limor Lahiani, Moti Yung: Secret Swarm UnitReactive k-Secret Sharing. INDOCRYPT 2007: 123-137

Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas: Game authority for robust andscalable distributed selfish-computer systems. PODC 2007: 356-357

Shlomi Dolev, Ephraim Korach, Galit Uzan: Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract). SSS 2007: 253-265

Shlomi Dolev, Reuven Yagel: Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). SSS 2007: 266-280

Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, Calvin C. Newport: Gossiping in a Multi-channel Radio Network. DISC 2007: 208-222

Shlomi Dolev, Ted Herman, Limor Lahiani: Polygonal broadcast, secret maturity, and the firing sensors. Ad Hoc Networks 4(4): 447-486 (2006)

James Aspnes, Costas Busch, Shlomi Dolev, Panagiota Fatourou, Chryssis Georgiou, Alexander A. Shvartsman, Paul G. Spirakis, Roger Wattenhofer: Eight Open Problems in Distributed Computing. Bulletin of the EATCS 90: 109-126 (2006)

Shlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors. IEEE Trans. Computers 55(4): 385-399 (2006)

Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman: Dynamic load balancing with group communication. Theor. Comput. Sci. 369(1-3): 348-360 (2006)

Shlomi 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)

Shlomi Dolev, Ronen I. Kat, Elad Michael Schiller: When Consensus Meets Self-stabilization. OPODIS 2006: 45-63

Shlomi Dolev, Nir Tzachar: Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms. OPODIS 2006: 230-243

Shlomi Dolev, Yinnon A. Haviv: Stabilization Enabling Technology. SSS 2006: 1-15

Olga Brukman, Shlomi Dolev: Recovery Oriented Programming. SSS 2006: 152-168

Shlomi Dolev, Reuven Yagel: Self-stabilizing Device Drivers. SSS 2006: 276-289

Shlomi Dolev, Marina Kopeetsky: Secure Communication for RFIDs Proactive Information Security Within Computational Security. SSS 2006: 290-303

Shlomi Dolev, Rafail Ostrovsky, Andreas Pfitzmann (Eds.): Anonymous Communication and its Applications, 09.10. - 14.10.2005. Dagstuhl Seminar Proceedings 05411, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Shlomi Dolev (Ed.): Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings. Lecture Notes in Computer Science 4167, Springer 2006, isbn 3-540-44624-9

Paz Carmi, Shlomi Dolev, Sariel Har-Peled, Matthew J. Katz, Michael Segal: Geographic Quorum System Approximations. Algorithmica 41(4): 233-244 (2005)

Shlomi 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)

Shlomi Dolev, Ronen I. Kat: Self-stabilizing distributed file system. J. High Speed Networks 14(2): 135-153 (2005)

Shlomi Dolev, Andreas Pfitzmann, Rafail Ostrovsky: 05411 Abstracts Collection -- Anonymous Communication and its Applications. Anonymous Communication and its Applications 2005

Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Autonomous virtual mobile nodes. DIALM-POMC 2005: 62-69

Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, Tina Nolte: Timed Virtual Stationary Automata for Mobile Networks. OPODIS 2005: 130-145

Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte: Brief announcement: virtual stationary automata for mobile networks. PODC 2005: 323

Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch: Autonomous virtual mobile nodes. SPAA 2005: 215

Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv: Self-stabilization Preserving Compiler. Self-Stabilizing Systems 2005: 81-95

Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina Nolte: Self-stabilizing Mobile Node Location Management and Message Routing. Self-Stabilizing Systems 2005: 96-112

Shlomi Dolev, Reuven Yagel: Memory Management for Self-stabilizing Operating Systems. Self-Stabilizing Systems 2005: 113-127

Shlomi Dolev, Ori Gersten: Robust Active Super Tier Systems. SwSTE 2005: 23-33

Shlomi Dolev, Elad Schiller: Self-stabilizing group communication in directed networks. Acta Inf. 40(9): 609-636 (2004)

Shlomi Dolev, Jennifer L. Welch: Self-stabilizing clock synchronization in the presence of Byzantine faults. J. ACM 51(5): 780-799 (2004)

Shlomi Dolev, Yinnon A. Haviv: Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract). ARCS 2004: 31-46

Shlomi Dolev, Reuven Yagel: Toward Self-Stabilizing Operating Systems. DEXA Workshops 2004: 684-688

Shlomi Dolev, Ronen I. Kat: HyperTree for Self-Stabilizing Peer-to-Peer Systems. NCA 2004: 25-32

Shlomi 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

Shlomi Dolev, Ted Herman, Limor Lahiani: Brief announcement: polygonal broadcast, secret maturity and the firing sensors. PODC 2004: 391

Amos Beimel, Shlomi Dolev, Noam Singer: Brief announcement: RT oblivious erasure correcting. PODC 2004: 393

Shlomi 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

Shlomi Dolev, Frank A. Stomp: Safety assurance via on-line monitoring. Distributed Computing 16(4): 269-277 (2003)

Shlomi Dolev, Sergio Rajsbaum: Stability of long-lived consensus. J. Comput. Syst. Sci. 67(1): 26-45 (2003)

Amos Beimel, Shlomi Dolev: Buses for Anonymous Message Delivery. J. Cryptology 16(1): 25-39 (2003)

Shlomi Dolev, Elad Schiller: Communication Adaptive Self-Stabilizing Group Membership Service. IEEE Trans. Parallel Distrib. Syst. 14(7): 709-720 (2003)

Shlomi Dolev, Elad Schiller: Self-Stabilizing Group Communication in Directed Networks. Self-Stabilizing Systems 2003: 61-76

Olga Brukman, Shlomi Dolev, Elliot K. Kolodner: Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. SwSTE 2003: 20-

Shlomi 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

Yehuda Afek, Shlomi Dolev: Local Stabilizer. J. Parallel Distrib. Comput. 62(5): 745-765 (2002)

Shlomi Dolev, Elad Schiller, Jennifer L. Welch: Random walk for self-stabilitzing group communication in ad hoc networks. PODC 2002: 259

Shlomi Dolev, Elad Schiller, Jennifer L. Welch: Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. SRDS 2002: 70-79

Shlomi Dolev, Ronen I. Kat: Self-Stabilizing Distributed File Systems. SRDS 2002: 384-389

Shlomi Dolev, Boris Fitingof, Avraham A. Melkman, Olga Tubman: Smooth and adaptive forward erasure correcting. Computer Networks 36(2/3): 343-355 (2001)

Shlomi 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)

Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll: Self-stabilizing l-exclusion. Theor. Comput. Sci. 266(1-2): 653-692 (2001)

Shlomi Dolev, Frank A. Stomp: Safety Assurance via On-Line Monitoring. ISADS 2001: 101-

Shlomi Dolev, Ted Herman: Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. WSS 2001: 67-81

Shlomi Dolev, Elad Schiller: Communication Adaptive Self-Stabilizing Group Membership Service. WSS 2001: 82-97

Shlomi Dolev, Ted Herman: Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. CoRR cs.DC/0105013 (2001)

Shlomi Dolev: Self-Stabilization. MIT Press 2000, isbn 0-262-04178-2

Shlomi Dolev, Alexander Kesselman: Bounded latency scheduling scheme for ATM cells. Computer Networks 32(3): 325-331 (2000)

Shlomi Dolev, Rafail Ostrovsky: Xor-trees for efficient anonymous multicast and reception. ACM Trans. Inf. Syst. Secur. 3(2): 63-84 (2000)

Shlomi Dolev, Sergio Rajsbaum: Stability of long-lived consensus (extended abstract). PODC 2000: 309-318

Shlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization. Acta Inf. 36(6): 447-462 (1999)

Shlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked-Potato Routing. J. Algorithms 30(2): 379-399 (1999)

Shlomi Dolev, Michael Kate, Jennifer L. Welch: A competitive analysis for retransmission timeout. Networks 34(1): 73-80 (1999)

Shlomi Dolev, Alexander Keizelman: Non-Preemptive Real-Time Scheduling of Multimedia Tasks. Real-Time Systems 17(1): 23-39 (1999)

Shlomi Dolev, Evangelos Kranakis, Danny Krizanc, David Peleg: Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks. SIAM J. Comput. 29(3): 804-833 (1999)

Shlomi Dolev, Ephraim Korach, Dmitry Yukelson: The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment. INFOCOM 1999: 768-775

Shlomi Dolev, Alexander Kesselman: Bounded Latency Scheduling Scheme for ATM Cells. ISCC 1999: 273-277

Shlomi Dolev, Ephraim Korach, Dmitry Yukelson: The Sound of Silence - Guessing Games for Saving Energy in Mobile Environment. PODC 1999: 273

Shlomi Dolev, Ted Herman: Parallel composition of stabilizing algorithms. WSS 1999: 25-32

Shlomi Dolev: Optimal Time Self-Stabilization in Uniform Dynamic Systems. Parallel Processing Letters 8(1): 7-18 (1998)

Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil: Transient Fault Detectors. DISC 1998: 62-74

Shlomi Dolev, Jennifer L. Welch: Wait-Free Clock Synchronization. Algorithmica 18(4): 486-511 (1997)

Shlomi Dolev, Ted Herman: Superstabilizing Protocols for Dynamic Distributed Systems. Chicago J. Theor. Comput. Sci. 1997 (1997)

Shlomi Dolev: Self-Stabilizing Routing and Related Protocol. J. Parallel Distrib. Comput. 42(2): 122-127 (1997)

Shlomi Dolev: Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs. Real-Time Systems 12(1): 95-107 (1997)

Shlomi Dolev, Amos Israeli, Shlomo Moran: Resource Bounds for Self-Stabilizing Message-Driven Protocols. SIAM J. Comput. 26(1): 273-290 (1997)

Shlomi Dolev, Jennifer L. Welch: Crash Resilient Communication in Dynamic Networks. IEEE Trans. Computers 46(1): 14-26 (1997)

James Abello, Shlomi Dolev: On the Computational Power of Self-Stabilizing Systems. Theor. Comput. Sci. 182(1-2): 159-170 (1997)

Shlomi Dolev, Amos Israeli, Shlomo Moran: Uniform Dynamic Self-Stabilizing Leader Election. IEEE Trans. Parallel Distrib. Syst. 8(4): 424-440 (1997)

Shlomi Dolev, Rafail Ostrovsky: Efficient Anonymous Multicast and Reception (Extended Abstract). CRYPTO 1997: 395-409

Yehuda Afek, Shlomi Dolev: Local Stabilizer. ISTCS 1997: 74-84

Shlomi Dolev: Stabilizing in the Presence of Faults, The Digital Clock Synchronization Case. OPODIS 1997: 285-292

Yehuda Afek, Shlomi Dolev: Local Stabilizer (Brief Announcement). PODC 1997: 287

Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll: Self-stabilizing L-exclusion. WSS 1997: 48-63

Shlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch: Modified tree structure for location management in mobile environments. Computer Communications 19(4): 335-345 (1996)

Hosame 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)

Shlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked Potato Routing. ISTCS 1996: 27-36

Shlomi Dolev, Mohamed G. Gouda, Marco Schneider: Memory Requirements for Silent Stabilization (Extended Abstract). PODC 1996: 27-34

Shlomi Dolev, Evangelos Kranakis, Danny Krizanc: Baked Potatoes: Deadlock Prevention Via Scheduling (Abstract). PODC 1996: 210

Hagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection Management Without Retaining Information. Inf. Comput. 123(2): 155-171 (1995)

Shlomi Dolev, Amos Israeli, Shlomo Moran: Analyzing Expected Time by Scheduler-Luck Games. IEEE Trans. Software Eng. 21(5): 429-439 (1995)

Hagit Attiya, Shlomi Dolev, Jennifer L. Welch: Connection management without retaining information. HICSS (2) 1995: 622-

Shlomi Dolev, Michael Kate, Jennifer L. Welch: A Competitive Analysis for Retransmission Timeout. ICDCS 1995: 450-455

Shlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch: Modified Tree Structure for Location Management in Mobile Environments. INFOCOM 1995: 530-537

Shlomi Dolev, Ted Herman: SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract). PODC 1995: 255

Shlomi Dolev, Jennifer L. Welch: Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). PODC 1995: 256

Shlomi Dolev, Evangelos Kranakis, Danny Krizanc, David Peleg: Bubbles: adaptive routing scheme for high-speed dynamic networks (Extended Abstract). STOC 1995: 528-537

Zeev Collin, Shlomi Dolev: Self-Stabilizing Depth-First Search. Inf. Process. Lett. 49(6): 297-301 (1994)

Baruch Awerbuch, Boaz Patt-Shamir, George Varghese, Shlomi Dolev: Self-Stabilization by Local Checking and Global Reset (Extended Abstract). WDAG 1994: 326-339

Shlomi Dolev, Amos Israeli, Shlomo Moran: Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. Distributed Computing 7(1): 3-16 (1993)

Shlomi Dolev, Jennifer L. Welch: Wait-Free Clock Synchronization (Extended Abstract). PODC 1993: 97-108

Shlomi Dolev, Jennifer L. Welch: Crash Resilient Communication in Dynamic Networks (Preliminary Version). WDAG 1993: 129-144

Shlomi Dolev: Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version). WDAG 1993: 160-173

Anish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks in Step. Parallel Processing Letters 1: 11-18 (1991)

Shlomi Dolev, Amos Israeli, Shlomo Moran: Resource Bounds for Self Stabilizing Message Driven Protocols. PODC 1991: 281-293

Anish Arora, Shlomi Dolev, Mohamed G. Gouda: Maintaining Digital Clocks In Step. WDAG 1991: 71-79

Shlomi Dolev, Amos Israeli, Shlomo Moran: Uniform Dynamic Self-Stabilizing Leader Election (Extended Absrtact). WDAG 1991: 167-180

Shlomi Dolev, Amos Israeli, Shlomo Moran: Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. PODC 1990: 103-117