Publications

2019

  1. Kaloti-Hallak F., Armoni M. & Ben-Ari M. (2019) Informatics in Education. 18, 1, p. 105-129  Abstract

2018

  1. Taub R., Armoni M. & Ben-Ari M. (2018) Journal of Computational Science Education. 9, 2, p. 2-13  Abstract
  2. Friebroon-Yesharim M. & Ben-Ari M. (2018) International Journal of Computer Science Education in Schools. 2, 3,  Abstract
  3. Ben-Ari M. (2018) Journal of Open Source Software. 3, 24,  Abstract
  4. Ben-Ari M. & Mondada F. (2018) Cham: .  Abstract

2017

  1. Friebroon Yesharim M. & Ben-Ari M. (2017) International Conference on Robotics and Education RiE 2017. Cham: . p. 77-87  Abstract
  2. Ben-Bassat Levy R. & Ben-Ari M. (2017) International Conference on Robotics and Education RiE 2017. Cham: . p. 132-137  Abstract

2016

  1. In defense of programming
    Ben-Ari M. M. (2016) ACM Inroads. 7, 1, p. 44-46  Abstract

2015

  1. Kaloti-Hallak F., Armoni M. & Ben-Ari M. M. (2015) Proceedings of the Workshop in Primary and Secondary Computing Education. p. 102-110  Abstract
  2. Levy R. B. & Ben-Ari M. M. (2015) International Conference on Informatics in Schools. Brodnik A. & Vahrenhold J.(eds.). p. 22-31  Abstract
  3. Taub R., Armoni M., Bagno E. & Ben-Ari M. M. (2015) Computers & Education. 87, p. 10-23  Abstract
  4. Magnenat S., Ben-Ari M., Klinger S. & Sumner R. W. (2015) Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education. p. 153-158  Abstract
  5. Armoni M., Meerbaum-Salant O. & Ben-Ari M. (2015) ACM Transactions on Computing Education (TOCE). 14, 4, 25.  Abstract
  6. Kaloti-Hallak F., Armoni M. & Ben-Ari M. (2015) Olympiads in informatics. 9, p. 89-112  Abstract

2014

  1. Taub R., Armoni M. & Ben-Ari M. M. (2014) Proceedings of the 9th Workshop in Primary and Secondary Computing Education. p. 16-19  Abstract
  2. Taub R., Ben-Ari M. & Armoni M. (2014) Proceedings of the 2014 conference on innovation & technology in computer science education. p. 352-352  Abstract
  3. Teaching a core CS concept through robotics
    Magnenat S., Shin J., Riedo F., Siegwart R. & Ben-Ari M. (2014) Proceedings of the 2014 conference on Innovation technology in computer science education. p. 315-320  Abstract
  4. Taub R., Armoni M. & Ben-Ari M. (. (2014) p. 94-99  Abstract

2013

  1. Meerbaum-Salant O., Armoni M. & Ben-Ari M. (2013) Computer Science Education. 23, 3, p. 239-264  Abstract
  2. Taub R., Armoni M. & Ben-Ari M. (2013) International Conference on Informatics in Schools: Situation, Evolution, and Perspectives. p. 127-137  Abstract
  3. MOOCs on introductory programming: a travelogue
    Ben-Ari M. M. (2013) ACM Inroads. 4, 2, p. 58-61  Abstract
  4. LearnSAT: a SAT solver for education
    Ben-Ari M. M. (2013) International Conference on Theory and Applications of Satisfiability Testing. p. 403-407  Abstract

2012

  1. Ben-Ari M. M. & Kaloti-Hallak F. (2012) ACM Inroads. 3, 3, p. 36-38  Abstract
  2. Taub R., Armoni M. & Ben-Ari M. (2012) ACM Transactions on Computing Education (TOCE). 12, 2, 8.  Abstract
  3. Ben-Ari M. (2012) 3rd ed.  Abstract

2011

  1. Lonnberg J., Malmi L. & Ben-Ari M. (2011) Proceedings of the 11th Koli Calling International Conference on Computing Education Research. p. 39-48  Abstract
  2. Ben-Ari M., Bednarik R., Levy R. B., Ebel G., Moreno A., Myller N. & Sutinen E. (2011) Journal of Visual Languages and Computing. 22, 5, p. 375-384  Abstract
  3. Lonnberg J., Ben-Ari M. & Malmi L. (2011) Visualizing software for understanding and analysis (VISSOFT), 2011 6th IEEE international workshop on. p. 1-4  Abstract
  4. Ben-Ari M. (. (2011) Communications of the ACM. 54, 7, p. 35-37  Abstract
  5. Moth A. L. A., Villadsen J. & Ben-Ari M. (2011) Proceedings of the 16th annual joint conference on Innovation and technology in computer science education. p. 387-387  Abstract
  6. Meerbaum-Salant O., Armoni M. & Ben-Ari M. (2011) Proceedings of the 16th annual joint conference on Innovation and technology in computer science education. p. 168-172  Abstract
  7. Ben-Ari M. M. (2011) ACM Inroads. 2, 1, p. 27-28  Abstract
  8. Lonnberg J., Ben-Ari M. & Malmi L. (2011) Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. p. 15-25  Abstract

2010

  1. Ben-Ari M. (2010) Communications of the ACM. 53, 9, p. 32-35  Abstract
  2. Meerbaum-Salant O., Armoni M. & Ben-Ari M. (. (2010) Proceedings of the Sixth international workshop on computing education research. p. 69-76  Abstract
  3. Ben-Ari M. M. (2010) ACM Inroads. 1, 1, p. 40-47  Abstract
  4. Armoni M. & Ben-Ari M. (2010)  Abstract

2009

  1. Armoni M. & Ben-Ari M. (2009) Science & Education. 18, 8, p. 1005-1030  Abstract
  2. Taub R., Ben-Ari M. & Armoni M. (2009) Iticse 2009: Proceeding Of The 2009 Acm Sigse Annual Conference On Innovation And Technology In Computer Science Education. p. 99-103  Abstract
  3. Tool Presentation: Teaching Concurrency and Model Checking
    Ben-Ari M. (. (2009) Model Checking Software. 5578, p. 6-11  Abstract
  4. Levy R. B. & Ben-Ari M. (2009) Computer Science Education. 19, 2, p. 51-67  Abstract
  5. A survey of research on the Jeliot program animation system
    Levy R. B. & Ben-Ari M. (2009) Proceedings of the Chais conference on instructional technologies research 2009. p. 41-47  Abstract
  6. Myller N., Bednarik R., Sutinen E. & Ben-Ari M. (2009) ACM Transactions on Computing Education (TOCE). 9, 1, p. 7  Abstract

2008

  1. Ben-Ari M. (2008) (1test series).  Abstract
  2. Armoni M., Lewenstein N. & Ben-Ari M. (2008) Sigcse'08: Proceedings Of The 39Th Acm Technical Symposium On Computer Science Education. p. 4-8  Abstract
  3. Kolikant Y. B. & Ben-Ari M. (2008) Journal of the Learning Sciences. 17, 1, p. 1-32  Abstract
  4. Levy R. B. & Ben-Ari M. (2008) ACM SIGCSE Bulletin. 40, 3, p. 169-173  Abstract
  5. The effect of the Jeliot animation system on learning elementary programming
    Ben-Ari M. (2008) 4th Panhellenic Conference on Didactics of Informatics. p. 28-30  Abstract

2007

  1. Yehezkel C., Ben-Ari M. & Dreyfus T. (2007) Computer Science Education. 17, 2, p. 117-127  Abstract
  2. Ben-Ari M. (2007) Skeptic. 13, 2, p. 20-27  Abstract
  3. Levy R. B. & Ben-Ari M. (2007) ACM SIGCSE Bulletin. 39, 3, p. 246-250  Abstract

2006

  1. Ben-Ari M. & Yeshno T. (2006) Interacting with Computers. 18, 6, p. 1336-1350  Abstract
  2. Ben-Ari M. M. (2006) ACM SIGCSE Bulletin. 38, p. 75-77  Abstract
  3. Ebel G. & Ben-Ari M. (2006) Proceedings of the second international workshop on computing education research. p. 1-5  Abstract
  4. Ben-Ari M. (2006) 2nd ed.  Abstract
  5. Schwarz S. & Ben-Ari M. (2006) PPIG2006-Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group. p. 266 - 274  Abstract
  6. Sajaniemi J., Ben-Ari M., Byckling P., Gerdt P. & Kulikova Y. (2006) Computer Science Education. 16, 4, p. 261-279  Abstract

2005

  1. Ben-Ari M. M. (2005) SIGCSE Bulletin Inroads. 37, 4, p. 39-40  Abstract
  2. Ragonis N. & Ben-Ari M. (2005) Computer Science Education. 15, 3, p. 203-221  Abstract
  3. Ragonis N. & Ben-Ari M. (2005) ACM SIGCSE Bulletin. 37, 1, p. 226-230  Abstract
  4. Yehezkel C., Ben-Ari M. & Dreyfus T. (2005) ACM SIGCSE Bulletin. 37, 1, p. 101-105  Abstract
  5. Ben-Ari M. (2005) Science Education. 14, 3-5, p. 367-376  Abstract
  6. Ben-Ari M. (2005) 2nd ed.  Abstract
  7. Whose final hour?: The problem of naive egocentric catastrophism in doomsayers and catastrophists
    Ben-Ari M. (2005) Skeptic (Altadena, CA). 12, 3, p. 40-50  Abstract

2004

  1. Ben-Ari M. (2004) p. 251-251  Abstract
  2. Moreno A., Myller N., Ben-Ari M. & Sutinen E. (2004) ACM SIGCSE Bulletin. 36, 3, p. 265-265  Abstract
  3. Selecting a visualization system
    Pollack S. & Ben-Ari M. (2004) Proceedings of the Third Program Visualization Workshop. p. 134-140  Abstract
  4. Ben-Ari M. (2004) Computer Science Education. 14, 2, p. 85-100  Abstract
  5. Ben-Ari M., Berglund A., Booth S. & Holmboe C. (2004) ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education. 3 ed. Vol. 36. p. 230-231  Abstract
  6. Moreno A., Myller N., Sutinen E. & Ben-Ari M. (2004) Proceedings of the working conference on Advanced visual interfaces. p. 373-376  Abstract
  7. Tikvati A., Ben-Ari M. & Kolikant Y. B. (2004) ACM SIGCSE Bulletin. 36, 1, p. 392-396  Abstract
  8. Inside the computer: Visualization and mental models
    Yehezkel C., Ben-Ari M. & Dreyfus T. (2004) Proceedings of the Third Program Visualization Workshop. p. 82-85  Abstract
  9. Ben-Ari M. & Sajaniemi J. (2004) ACM SIGCSE Bulletin. 36, 3, p. 52-56  Abstract
  10. Ben-Ari M. (2004) Computer Science Education. 14, 1, p. 1-2  Abstract

2003

  1. Ben-Ari M. M. (2003) Technology. 3,  Abstract
  2. Ben-Ari M. & Sajaniemi J. (2003)  Abstract
  3. Ben-Ari M. (2003) Science and Education. 12, 7, p. 719-723  Abstract
  4. The Jeliot 2000 program animation system
    Levy R., Ben-Ari M. & Uronen P. (2003) Computers & Education. 40, 1, p. 1-15  Abstract

2002

  1. Ben-Ari M., Ragonis N. & Levy R. B. (2002) Proceeding of 2nd Program Visualization Workshop. p. 83-89  Abstract
  2. Ragonis N. & Ben-Ari M. (2002) Tools and Environments for Learning Object-Oriented Concepts. p. 30-43  Abstract
  3. Ben-Ari M. (2002)  Abstract
  4. Ben-Ari M. M., Walker H. M., Redvers-Mutton G. & Mansfield K. (2002) p. 94-95  Abstract
  5. Perspectives on program animation with Jeliot
    Ben-Ari M., Myller N., Sutinen E. & Tarhio J. (2002) Software Visualization. 2269, p. 31-45  Abstract

2001

  1. Ben-Ari M. (2001) Science Education. 10, 5, p. 477-484  Abstract
  2. Ben-Ari M. (2001) Journal on Educational Resources in Computing (JERIC). 1, 2es, 384055.384.  Abstract
  3. Salvation for bricoleurs
    Yeshno T. & Ben-Ari M. (2001) p. 225-235  Abstract
  4. Constructivism in computer science education
    Ben-Ari M. (2001) Journal of Computers in Mathematics and Science Teaching. 20, 1, p. 45-73  Abstract
  5. Ben-Ari M. (2001) 2nd Edition ed.  Abstract
  6. Ben-Ari M. (2001) ACM SIGCSE Bulletin. 33, 2, p. 58-59  Abstract

2000

  1. Ben-Bassat Levy R., Ben-Ari M. & Uronen P. A. (2000) p. 131-140  Abstract
  2. Ben-Ari M. (2000) ACM SIGCSE Bulletin. 32, 2, p. 4-6  Abstract
  3. The anthropology of semaphores
    Kolikant Y., Ben-Ari M. & Pollack S. (2000) Iticse 2000: Proceedings Of The 5Th Annual Sigcse/Sigcue Conference On Innovation And Technology In Computer Science Education. 32, 3, p. 21-24  Abstract
  4. Formal verification of the Ricart-Agrawala algorithm
    Sedletsky E., Pnueli A. & Ben-Ari M. (2000) Fst Tcs 2000: Foundations Of Software Technology And Theoretical Computer Science, Proceedings. 1974, p. 325-335  Abstract

1999

  1. DPLab: An environment for distributed programming
    Ben-Ari M. & Silverman S. (1999) Iticse '99: Proceedings Of The 4Th Annual Sigcse/Sigcue Conference On Innovation And Technology In Computer Science Education. 31, 3, p. 91-94  Abstract
  2. Ben-Ari M. & Ben-David Kolikant Y. (1999) ACM SIGCSE Bulletin. 31, 3, p. 13-16  Abstract

1998

  1. Tzruya Y. & Ben-Ari M. (1998) ACM SIGAda Ada Letters. 18, 6, p. 204-211  Abstract
  2. Teaching object-oriented programming in Ada
    Ben-Ari M. (1998) Journal Of Object-Oriented Programming. 11, 6, p. 39-45  Abstract
  3. Persky Y. & Ben-Ari M. (1998) ACM SIGCSE Bulletin. 30, 3, p. 185-188  Abstract
  4. Ben-Ari M. (1998) ACM SIGAda Ada Letters. 18, 4, p. 101-106  Abstract
  5. Extreme interleavings
    Ben-Ari M. & Burns A. (1998) IEEE Concurrency. 6, 3, p. 90-90  Abstract
  6. Ben-Ari M. (1998) Concurrency-Practice And Experience. 10, 6, p. 485-496  Abstract
  7. Ben-Ari M. (1998) ACM SIGCSE Bulletin. 30, 1, p. 257-261  Abstract
  8. Synchronizing multiple clients and servers
    Ben-Ari M. (1998) Reliable Software Technologies - Ada-Europe. 1411, p. 41-52  Abstract
  9. Ben-Ari M. (1998)  Abstract
  10. Development, implementation and evaluation of a course in expert systems for high-school students (poster)
    Ragonis N., Shapiro E., Ben-Ari M. & Scherz Z. (1998) SIGMOD Record. 30, 3, p. 300  Abstract

1997

  1. Ben-Ari M. (1997) ACM SIGCSE Bulletin. 29, 3, p. 62-64  Abstract
  2. Ben-Ari M. & Henney K. (1997) SIGCSE Bulletin Inroads. 29, 2, p. 7-10  Abstract
  3. Ben-Ari M. & Reich N. (1997) Journal of Computer Science Education. 11, 3, p. 9-12  Abstract

1996

  1. Ben-Ari M. (1996) ACM SIGCSE Bulletin. 28, 3, p. 51-51  Abstract
  2. Ben-Ari M. (1996) ACM SIGCSE Bulletin. 28, 1, p. 180-184  Abstract

1990

  1. Ben-Ari M. (1990) ACM SIGAda Ada Letters. 10, 1, p. 100-103  Abstract

1989

  1. Ben-Ari M. (1989) ACM SIGAda Ada Letters. 10, 4, p. 159-165  Abstract

1986

  1. Ben-Ari M. (1986) Software - Practice and Experience. 16, 10, p. 915-924  Abstract

1984

  1. Ben-Ari M. (1984) ACM Transactions on Programming Languages and Systems. 6, 3, p. 333-344  Abstract

1982

  1. Ben-Ari M. (1982) International Colloquium on Automata, Languages, and Programming. p. 14-22  Abstract
  2. Ben-Ari M., Halpern J. Y. & Pnueli A. (1982) Journal of Computer and System Sciences. 25, 3, p. 402-417  Abstract
  3. Ben-Ari M. (1982)  Abstract

1981

  1. Ben-Ari M. & Yehudai A. (1981) ACM SIGPLAN Notices. 16, 12, p. 22-26  Abstract
  2. Ben-Ari M. (1981) Software - Practice and Experience. 11, 12, p. 1261-1264  Abstract
  3. Complexity of proofs and models in programming logics
    Ben-Ari M. (1981)  Abstract
  4. Ben-Ari M., Halpern J. Y. & Pnueli A. (1981) International Colloquium on Automata, Languages, and Programming. p. 249-263  Abstract

1980

  1. Ben-Ari M. (1980) Information Processing Letters. 10, 2, p. 96-98  Abstract

1978

  1. Ben-Ari M. (1978) Acta Informatica. 10, 2, p. 117-125  Abstract