The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mordechai Ben-Ari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mordechai Ben-Ari
    Algorithms for On-the-fly Garbage Collection. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:3, pp:333-344 [Journal]
  2. Mordechai Ben-Ari
    Synchronizing Multiple Clients and Servers. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1998, pp:41-52 [Conf]
  3. Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari
    Visualizing programs with Jeliot 3. [Citation Graph (0, 0)][DBLP]
    AVI, 2004, pp:373-376 [Conf]
  4. Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio
    Perspectives on Program Animation with Jeliot. [Citation Graph (0, 0)][DBLP]
    Software Visualization, 2001, pp:31-45 [Conf]
  5. Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari
    Formal Verification of the Ricart-Agrawala Algorithm. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:325-335 [Conf]
  6. Mordechai Ben-Ari
    On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:14-22 [Conf]
  7. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
    Finite Models for Deterministic Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 1981, pp:249-263 [Conf]
  8. Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
    The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1981, pp:164-176 [Conf]
  9. Yoav Tzruya, Mordechai Ben-Ari
    A Portable Implementation of the Distributed Systems Annex in Java. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1998, pp:204-211 [Conf]
  10. Mordechai Ben-Ari
    The concorde doesn't fly anymore. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2004, pp:1- [Conf]
  11. Mordechai Ben-Ari
    The concorde doesn't fly anymore. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:196- [Conf]
  12. Mordechai Ben-Ari
    Using inheritance to implement concurrency. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1996, pp:180-184 [Conf]
  13. Mordechai Ben-Ari
    Constructivism in computer science education. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:257-261 [Conf]
  14. Noa Ragonis, Mordechai Ben-Ari
    On understanding the statics and dynamics of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:226-230 [Conf]
  15. Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant
    Virtual trees for the byzantine generals algorithm. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2004, pp:392-396 [Conf]
  16. Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus
    Computer architecture and mental models. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2005, pp:101-105 [Conf]
  17. Mordechai Ben-Ari
    Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:117-125 [Journal]
  18. Mordechai Ben-Ari, Amir Pnueli, Zohar Manna
    The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:207-226 [Journal]
  19. Mordechai Ben-Ari
    How to solve the Santa Claus problem. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1998, v:10, n:6, pp:485-496 [Journal]
  20. Mordechai Ben-Ari, Alan Burns
    Extreme Interleavings. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2001, v:2, n:1, pp:- [Journal]
  21. Mordechai Ben-Ari
    A Simplified Proof That Regular Resolution is Exponential. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:10, n:2, pp:96-98 [Journal]
  22. Mordechai Ben-Ari, Tzippora Yeshno
    Conceptual models of software artifacts. [Citation Graph (0, 0)][DBLP]
    Interacting with Computers, 2006, v:18, n:6, pp:1336-1350 [Journal]
  23. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
    Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1982, v:25, n:3, pp:402-417 [Journal]
  24. Mordechai Ben-Ari
    Interactive execution of distributed algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Journal of Educational Resources in Computing, 2001, v:1, n:2, pp:2- [Journal]
  25. Mordechai Ben-Ari
    Teaching Object-Oriented Programming in Ada. [Citation Graph (0, 0)][DBLP]
    JOOP, 1998, v:11, n:6, pp:39-45 [Journal]
  26. Mordechai Ben-Ari
    Cheap Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:12, pp:1261-1264 [Journal]
  27. Mordechai Ben-Ari
    Foreet: A Tool for Design and Documentation of Fortran Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1986, v:16, n:10, pp:915-924 [Journal]
  28. Mordechai Ben-Ari
    On Transposing Large 2n × 2n Matrices. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1979, v:28, n:1, pp:72-75 [Journal]
  29. Mordechai Ben-Ari
    Comments on "Tautology Testing with a Generalized Matrix Reduction Method". [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1980, v:11, n:, pp:341- [Journal]
  30. Mordechai Ben-Ari
    Teaching concurrency and nondeterminism with spin. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:363-364 [Conf]
  31. Ronit Ben-Bassat Levy, Mordechai Ben-Ari
    We work so hard and they don't use it: acceptance of software tools by teachers. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:246-250 [Conf]

  32. Teaching students to think nondeterministically. [Citation Graph (, )][DBLP]


  33. Tool Presentation: Teaching Concurrency and Model Checking. [Citation Graph (, )][DBLP]


  34. Program animation in jeliot 3. [Citation Graph (, )][DBLP]


  35. Roles of variables as seen by CS educators. [Citation Graph (, )][DBLP]


  36. What do we mean by theoretically sound research in computer science education? [Citation Graph (, )][DBLP]


  37. A suite of tools for teaching concurrency. [Citation Graph (, )][DBLP]


  38. Writing a textbook. [Citation Graph (, )][DBLP]


  39. Perceived behavior control and its influence on the adoption of software tools. [Citation Graph (, )][DBLP]


  40. The effect of CS unplugged on middle-school students' views of CS. [Citation Graph (, )][DBLP]


  41. The anthropology semaphores. [Citation Graph (, )][DBLP]


  42. Thinking parallel: the process of learning concurrency. [Citation Graph (, )][DBLP]


  43. DPLab: an environment for distributed programming. [Citation Graph (, )][DBLP]


  44. Re-engineering a concurrency simulator. [Citation Graph (, )][DBLP]


  45. Development, implementation and evaluation of a course in expert systems for high-school students (poster). [Citation Graph (, )][DBLP]


  46. Distributed algorithms in Java. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002