Шломи Долев

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Шломи Долев

ивр. שלומי דולב
Dolev Shlomi Profile.jpg
Дата рождения
5 декабря 1958 года
Место рождения
Израиль











Шломи Долев (англ. Shlomi Dolev, ивр. שלומי דולב) — израильский учёный, профессор кафедры компьютерных наук в Университете имени Бен-Гуриона в Негеве [1].

Биография[править]

Родился 5 декабря 1958 года.

Получил степень бакалавра в области гражданского строительства и степень бакалавра в области компьютерных наук, а также степень магистра и докторскую степень в области компьютерных наук в Технионе.

В 1992—1995 годах работал в Техасском университете A & M в качестве приглашенного исследователя.

С 1995 года работает в Университете имени Бен-Гуриона.

Труды[править]

  • Dolev, Shlomi (2000). Self-stabilization. MIT Press.
  • Dalev, 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.
  • Dolev, S.; Israeli, A.; Moran, S. (April 1997). "Uniform dynamic self-stabilizing leader election". IEEE Transactions on Parallel and Distributed Systems. 8 (4): 424–440.
  • Dolev, Shlomi; Welch, Jennifer L. (September 2004). "Self-stabilizing Clock Synchronization in the Presence of Byzantine Faults". J. ACM. 51 (5): 780–799.
  • Dolev, Shlomi; Gouda, Mohamed G.; Schneider, Marco (1999-10-01). "Memory requirements for silent stabilization". Acta Informatica. 36 (6): 447–462.
  • Afek, Y.; Dolev, S. (June 1997). Local stabilizer. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems. pp. 74–84.
  • Dolev, Shlomi; Kat, Ronen I.; Schiller, Elad M. (2010-12-01). "When consensus meets self-stabilization". Journal of Computer and System Sciences. 76 (8): 884–900.
  • Alon, Noga; Attiya, Hagit; Dolev, Shlomi; Dubois, Swan; Potop-Butucaru, Maria; Tixeuil, Sébastien (2015-06-01). "Practically stabilizing SWMR atomic memory in message-passing systems". Journal of Computer and System Sciences. 81 (4): 692–701.
  • Blanchard, Peva; Dolev, Shlomi; Beauquier, Joffroy; Delaët, Sylvie (2014). Networked Systems. Lecture Notes in Computer Science. Springer, Cham. pp. 99–121.
  • Dolev, Shlomi; Georgiou, Chryssis; Marcoullis, Ioannis; Schiller, Elad M. (2017-05-17). Self-stabilizing Reconfiguration. Networked Systems. Lecture Notes in Computer Science. Springer, Cham. pp. 51–68.
  • Dolev, Shlomi; Tzachar, Nir (2009-02-28). "Empire of colonies: Self-stabilizing and self-organizing distributed algorithm". Theoretical Computer Science. 410 (6–7): 514–532.
  • Beauquier, Joffroy; DelaËt, Sylvie; Dolev, Shlomi; Tixeuil, Sébastien (1998-09-24). Transient fault detectors. Distributed Computing. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 62–74.
  • Dolev, Shlomi; Ostrobsky, Rafail (May 2000). "Xor-trees for Efficient Anonymous Multicast and Reception". ACM Trans. Inf. Syst. Secur. 3 (2): 63–84.
  • Beimel; Dolev (2003-01-01). "Buses for Anonymous Message Delivery". Journal of Cryptology. 16 (1): 25–39.
  • Dolev, Shlomi; Lahiani, Limor; Yung, Moti (2012-09-01). "Secret swarm unit: Reactive k-secret sharing". Ad Hoc Networks. 10 (7): 1291–1305.
  • Dolev, Shlomi; Gilboa, Niv; Li, Ximing (2015). Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation: Extended Abstract. Proceedings of the 3rd International Workshop on Security in Cloud Computing. SCC '15. New York, NY, USA: ACM. pp. 21–29.
  • Dolev, Shlomi; Li, Yin (2016). Algorithmic Aspects of Cloud Computing. Lecture Notes in Computer Science. Springer, Cham. pp. 19–34.
  • Dolev, Shlomi; Korach, Ephraim; Li, Ximing; Li, Yin; Uzan, Galit (2016-07-11). "Magnifying computing gaps: Establishing encrypted communication over unidirectional channels". Theoretical Computer Science. 636: 17–26.
  • Dolev, Shlomi; Fandina, Nova; Gutfreund, Dan (2013-05-22). Succinct Permanent Is NEXP-Hard with Many Hard Instances. Algorithms and Complexity. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 183–196.
  • Dolev, Shlomi; Oltean, Mihai (2015-09-01). "Optical SuperComputing: Preface to special issue". Natural Computing. 14 (3): 431–432.
  • Cohen, Eyal; Dolev, Shlomi; Rosenblit, Michael (2016-04-26). "All-optical design for inherently energy-conserving reversible gates and circuits". Nature Communications. 7: 11424.
  • Dolev, Shlomi; Elovici, Yuval; Puzis, Rami (May 2010). "Routing Betweenness Centrality". J. ACM. 57 (4): 25:1–25:27.
  • Dolev, Shlomi; Lahiani, Limor; Haviv, Yinnon (2013-03-04). "Unique permutation hashing". Theoretical Computer Science. 475: 59–65.
  • Berend, Daniel; Dolev, Shlomi; Hanemann, Ariel (2014-11-07). "Graph Degree Sequence Solely Determines the Expected Hopfield Network Pattern Stability". Neural Computation. 27 (1): 202–210.
  • Dolev, Shlomi; Keizelman, Alexander (1999-07-01). "Non-Preemptive Real-Time Scheduling of Multimedia Tasks". Real-Time Systems. 17 (1): 23–39.
  • 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.
  • Dolev, Shlomi (2015). "The Reality Game Theory Imposes (Short Summary)". Algorithms, Probability, Networks, and Games. Lecture Notes in Computer Science. 9295. Springer, Cham. pp. 25–26.
  • Beimel, A.; Dolev, S.; Singer, N. (December 2007). "RT Oblivious Erasure Correcting". IEEE/ACM Transactions on Networking. 15 (6): 1321–1332.
  • Dolev, Shlomi; Hendler, Danny; Suissa, Adi (2008). CAR-STM: Scheduling-based Collision Avoidance and Resolution for Software Transactional Memory. Proceedings of the Twenty-seventh ACM Symposium on Principles of Distributed Computing. PODC '08. New York, NY, USA: ACM. pp. 125–134.
  • Dolev, Shlomi; Frenkel, Sergey; Tamir, Dan E.; Sinelnikov, Vladimir (2013-12-01). "Preserving Hamming Distance in Arithmetic and Logical Operations". Journal of Electronic Testing. 29 (6): 903–907.
  • 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.
  • 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.
  • 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. Springer, Berlin, Heidelberg. pp. 78–91.

Источники[править]

  1. ↑ Shlomi Dolev // Английская Википедия
Источник — http://cyclowiki.org/w/index.php?title=Шломи_Долев&oldid=1370558