Dolev, Shlomo; Israeli, Amos; Moran, Shlomo (1990). "Self-stabilization of dynamic systems assuming only read/Write atomicity". Proceedings of the ninth annual ACM symposium on Principles of distributed computing. PODC '90. New York, NY, USA: ACM. pp. 103–117. doi:10.1145/93385.93407. ISBN978-0-89791-404-8.
Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). "Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation". Proceedings of the 3rd International Workshop on Security in Cloud Computing. SCC '15. New York, NY, USA: ACM. pp. 21–29. doi:10.1145/2732516.2732526. ISBN978-1-4503-3447-1. S2CID1668625.
Dolev, Shlomi; Fandina, Nova; Gutfreund, Dan (2013-05-22). "Succinct Permanent is NEXP-Hard with Many Hard Instances: (Extended Abstract)". Algorithms and Complexity. Lecture Notes in Computer Science. Vol. 7878. Springer, Berlin, Heidelberg. pp. 183–196. doi:10.1007/978-3-642-38233-8_16. ISBN978-3-642-38232-1.
Dolev, S.; Frenkel, S.; Kopeetsky, M. (August 2014). "Entropy Adaptive On-Line Compression". 2014 IEEE 13th International Symposium on Network Computing and Applications. pp. 162–166. doi:10.1109/NCA.2014.31. ISBN978-1-4799-5393-6. S2CID16454780.
Dolev, Shlomi (2015). "The Reality Game Theory Imposes (Short Summary)". Algorithms, Probability, Networks, and Games. Lecture Notes in Computer Science. Vol. 9295. Springer, Cham. pp. 25–26. doi:10.1007/978-3-319-24024-4_2. ISBN978-3-319-24023-7.
Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). "Car-STM". Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. PODC '08. New York, NY, USA: ACM. pp. 125–134. doi:10.1145/1400751.1400769. ISBN978-1-59593-989-0. S2CID2244129.
Brukman, Olga; Dolev, Shlomi (2011-08-01). "Recovery oriented programming: runtime monitoring of safety and liveness". International Journal on Software Tools for Technology Transfer. 13 (4): 377–395. doi:10.1007/s10009-011-0200-3. ISSN1433-2779. S2CID38141213.
Dolev, Shlomi; Leshem, Guy; Yagel, Reuven (2010). "Purifying data by machine learning with certainty levels". Proceedings of the Third International Workshop on Reliability, Availability, and Security. WRAS '10. New York, NY, USA: ACM. pp. 5:1–5:6. doi:10.1145/1953563.1953567. ISBN978-1-4503-0642-3. S2CID14923143.
Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2012-07-19). "A Nano-Optics Vector Matrix Multiplier for Implementing State Machines". Optical Supercomputing. Lecture Notes in Computer Science. Vol. 7715. Springer, Berlin, Heidelberg. pp. 78–91. doi:10.1007/978-3-642-38250-5_9. ISBN978-3-642-38249-9.
Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). "Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation". Proceedings of the 3rd International Workshop on Security in Cloud Computing. SCC '15. New York, NY, USA: ACM. pp. 21–29. doi:10.1145/2732516.2732526. ISBN978-1-4503-3447-1. S2CID1668625.
Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). "Car-STM". Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. PODC '08. New York, NY, USA: ACM. pp. 125–134. doi:10.1145/1400751.1400769. ISBN978-1-59593-989-0. S2CID2244129.
Brukman, Olga; Dolev, Shlomi (2011-08-01). "Recovery oriented programming: runtime monitoring of safety and liveness". International Journal on Software Tools for Technology Transfer. 13 (4): 377–395. doi:10.1007/s10009-011-0200-3. ISSN1433-2779. S2CID38141213.
Dolev, Shlomi; Leshem, Guy; Yagel, Reuven (2010). "Purifying data by machine learning with certainty levels". Proceedings of the Third International Workshop on Reliability, Availability, and Security. WRAS '10. New York, NY, USA: ACM. pp. 5:1–5:6. doi:10.1145/1953563.1953567. ISBN978-1-4503-0642-3. S2CID14923143.