Mordechai Ben-Ari

Mordechai Ben- Ari ( born December 11, 1948) is a professor at the Weizmann Institute of Science in Rehovot, Israel.

He teaches and researches primarily the areas of concurrency, parallelism and mathematical logic. He is the author of the famous textbook Principles of Concurrent and Distributed Programming. In addition, is the author of several other textbooks on these topics and the Ada programming language.

In 2004 he was awarded the ACM SIGCSE Award for Outstanding Contributions to Computer Science Education.

Publications

  • Ben- Ari, Mordechai: Principles of Concurrent and Distributed Programming: Algorithms and Models ( = Prentice-Hall International Series in Computer Science). Second edition. Addison Wesley, November 29, 2005, ISBN 978-0321312839, p 361
  • Ben- Ari, Mordechai and Manna, Zohar and Pnueli, Amir: The temporal logic of branching time. In: Proceedings of the 8th ACM SIGPLAN - SIGACT symposium on Principles of programming languages ​​( POPL '81 = ). ACM, New York, NY, USA 1981, ISBN 0-89791 X -029, pp. 164-176, doi: 10.1145/567532.567551 ( http://doi.acm.org/10.1145/567532.567551, accessed on May 2, 2013).
  • Ben- Ari, Mordechai: Constructivism in Computer Science Education. In: Center for Research on Learning and Teaching, University of Michigan. 8, 1998, pp. 38-44 ( http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.924, accessed on May 2, 2013).
  • Moreno, Andres and Myller, Niko and Sutinen, Erkki and Ben - Ari, Mordechai: Visualizing programs with Jeliot 3 In: Proceedings of the working conference on Advanced visual interfaces ( AVI '04 = ). ACM, New York, NY, USA 2004, ISBN 1-58113-867-9, pp. 373-376, doi: 10.1145/989863.989928 ( http://doi.acm.org/10.1145/989863.989928, accessed on May 2, 2013).
Association for Computing Machinery Digital Object Identifier Integrated Authority File
581922
de