Mordechai Ben-Ari

110 papers A* 3A 12B 23Misc 1Journal 44Unranked 17
YearRankTypeTitle / Venue / Authors
2018 — book
Elements of Robotics
Mordechai Ben-Ari, Francesco Mondada
2018 J jnl
Teaching Computer Science Concepts Through Robotics to Elementary School Children.
Int. J. Comput. Sci. Educ. Sch.
Mor Friebroon Yesharim, Mordechai Ben-Ari
2017 — conf
Teaching Robotics Concepts to Elementary School Children.
RiE
Mor Friebroon Yesharim, Mordechai Ben-Ari
2017 — conf
The Evaluation of Robotics Activities for Facilitating STEM Learning.
RiE
Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2016 J jnl
In defense of programming.
Inroads
Mordechai Ben-Ari
2015 B conf
Enhancing Robot Programming with Visual Feedback and Augmented Reality.
ITiCSE
Stéphane Magnenat, Mordechai Ben-Ari, Severin Klingler, Robert W. Sumner
2015 B conf
In Defense of Programming.
ITiCSE
Mordechai Ben-Ari
2015 — conf
Robotics Activities-Is the Investment Worthwhile?
ISSEP
Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2015 — conf
Students' Attitudes and Motivation During Robotics Activities.
WiPSCE
Fatima Kaloti-Hallak, Michal Armoni, Mordechai Ben-Ari
2015 J jnl
The effect of computer science on physics learning in a computational science environment.
Comput. Educ.
Rivka Taub, Michal Armoni, Esther Bagno, Mordechai Ben-Ari
2014 — conf
Abstraction as a bridging concept between computer science and physics.
WiPSCE
Rivka Taub, Michal Armoni, Mordechai Ben-Ari
2014 J jnl
From Scratch to "Real" Programming.
ACM Trans. Comput. Educ.
Michal Armoni, Orni Meerbaum-Salant, Mordechai Ben-Ari
2014 B conf
Teaching a core CS concept through robotics.
ITiCSE
Stéphane Magnenat, Jiwon Shin, Fanny Riedo, Roland Siegwart, Mordechai Ben-Ari
2014 B conf
The effect of computer science on the learning of computational physics.
ITiCSE
Rivka Taub, Mordechai Ben-Ari, Michal Armoni
2013 J jnl
Introduction to the special issue on concurrent and parallel programming.
ACM Trans. Comput. Educ.
Mordechai Ben-Ari, Dan Garcia, Tom Murphy
2013 A conf
LearnSAT: A SAT Solver for Education.
SAT
Mordechai Ben-Ari
2013 J jnl
Learning computer science concepts with Scratch.
Comput. Sci. Educ.
Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari
2013 J jnl
MOOCs on introductory programming: a travelogue.
Inroads
Mordechai Ben-Ari
2013 — conf
The Contribution of Computer Science to Learning Computational Physics.
ISSEP
Rivka Taub, Michal Armoni, Mordechai Ben-Ari
2012 J jnl
CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS.
ACM Trans. Comput. Educ.
Rivka Taub, Michal Armoni, Mordechai Ben-Ari
2012 J jnl
Demonstrating random and parallel algorithms with spin.
Inroads
Mordechai Ben-Ari, Fatima Kaloti-Hallak
2012 — book
Mathematical Logic for Computer Science, 3rd Edition.
Mordechai Ben-Ari
2011 J jnl
A decade of research and development on program animation: The Jeliot experience.
J. Vis. Lang. Comput.
Mordechai Ben-Ari, Roman Bednarik, Ronit Ben-Bassat Levy, Gil Ebel, Andrés Moreno, Niko Myller, Erkki Sutinen
2011 — conf
Evaluating a visualisation of the execution of a concurrent program.
Koli Calling
Jan Lönnberg, Lauri Malmi, Mordechai Ben-Ari
2011 B conf
Habits of programming in scratch.
ITiCSE
Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari
2011 — conf
Java replay for dependence-based debugging.
PADTAD
Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi
2011 J jnl
Loop Constructs in scratch.
Inroads
Mordechai Ben-Ari
2011 J jnl
Non-myths about programming.
Commun. ACM
Mordechai Ben-Ari
2011 B conf
SyntaxTrain: relieving the pain of learning syntax.
ITiCSE
Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari
2011 B conf
Visualising concurrent programs with dynamic dependence graphs.
VISSOFT
Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi
2010 J jnl
A primer on model checking.
Inroads
Mordechai Ben-Ari
2010 A conf
Learning computer science concepts with scratch.
ICER
Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari
2010 A conf
Non-myths about programming.
ICER
Mordechai Ben-Ari
2010 J jnl
Objects never?: well, hardly ever!
Commun. ACM
Mordechai Ben-Ari
2009 — book
Ada for Software Engineers - Second Edition with Ada 2005.
Mordechai Ben-Ari
2009 J jnl
Adapting and merging methodologies in doctoral research.
Comput. Sci. Educ.
Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2009 J jnl
Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning.
ACM Trans. Comput. Educ.
Niko Myller, Roman Bednarik, Erkki Sutinen, Mordechai Ben-Ari
2009 J jnl
The concept of nondeterminism: its development and implications for teaching.
ACM SIGCSE Bull.
Michal Armoni, Mordechai Ben-Ari
2009 B conf
The effect of CS unplugged on middle-school students' views of CS.
ITiCSE
Rivka Taub, Mordechai Ben-Ari, Michal Armoni
2009 — conf
Tool Presentation: Teaching Concurrency and Model Checking.
SPIN
Mordechai Ben-Ari
2008 B conf
Perceived behavior control and its influence on the adoption of software tools.
ITiCSE
Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2008 — book
Principles of the spin model checker.
Mordechai Ben-Ari
2008 A conf
Teaching students to think nondeterministically.
SIGCSE
Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari
2007 B conf
Teaching concurrency and nondeterminism with spin.
ITiCSE
Mordechai Ben-Ari
2007 J jnl
The contribution of visualization to learning computer architecture.
Comput. Sci. Educ.
Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus
2007 B conf
We work so hard and they don't use it: acceptance of software tools by teachers.
ITiCSE
Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2006 A conf
Affective effects of program visualization.
ICER
Gil Ebel, Mordechai Ben-Ari
2006 J jnl
Conceptual models of software artifacts.
Interact. Comput.
Mordechai Ben-Ari, Tzippora Yeshno
2006 J jnl
McKinley's Amazon.
ACM SIGCSE Bull.
Mordechai Ben-Ari
2006 J jnl
Roles of variables in three programming paradigms.
Comput. Sci. Educ.
Jorma Sajaniemi, Mordechai Ben-Ari, Pauli Byckling, Petri Gerdt, Yevgeniya Kulikova
2006 — conf
Why Don't They Do What We Want Them to Do.
PPIG
Shmuel Schwarz, Mordechai Ben-Ari
2005 J jnl
A long-term investigation of the comprehension of OOP concepts by novices.
Comput. Sci. Educ.
Noa Ragonis, Mordechai Ben-Ari
2005 A conf
Computer architecture and mental models.
SIGCSE
Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus
2005 J jnl
Minesweeper as an NP-complete problem.
ACM SIGCSE Bull.
Mordechai Ben-Ari
2005 A conf
On understanding the statics and dynamics of object-oriented programs.
SIGCSE
Noa Ragonis, Mordechai Ben-Ari
2005 A conf
The concorde doesn't fly anymore.
SIGCSE
Mordechai Ben-Ari
2004 B conf
A suite of tools for teaching concurrency.
ITiCSE
Mordechai Ben-Ari
2004 J jnl
Computer Science Education in High School.
Comput. Sci. Educ.
Mordechai Ben-Ari
2004 B conf
Program animation in jeliot 3.
ITiCSE
Andrés Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen
2004 B conf
Roles of variables as seen by CS educators.
ITiCSE
Mordechai Ben-Ari, Jorma Sajaniemi
2004 J jnl
Situated Learning in Computer Science Education.
Comput. Sci. Educ.
Mordechai Ben-Ari
2004 A conf
The concorde doesn't fly anymore.
SIGCSE
Mordechai Ben-Ari
2004 A conf
Virtual trees for the byzantine generals algorithm.
SIGCSE
Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant
2004 B conf
Visualizing programs with Jeliot 3.
AVI
Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari
2004 B conf
What do we mean by theoretically sound research in computer science education?
ITiCSE
Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe
2003 J jnl
The Jeliot 2000 program animation system.
Comput. Educ.
Ronit Ben-Bassat Levy, Mordechai Ben-Ari, Pekka A. Uronen
2002 B conf
Writing a textbook.
ITiCSE
Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield
2001 J jnl
Extreme Interleavings.
IEEE Distributed Syst. Online
Mordechai Ben-Ari, Alan Burns
2001 J jnl
Interactive execution of distributed algorithms.
ACM J. Educ. Resour. Comput.
Mordechai Ben-Ari
2001 — book
Mathematical logic for computer science (2. ed.).
Mordechai Ben-Ari
2001 — conf
Perspectives on Program Animation with Jeliot.
Software Visualization
Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio
2001 — conf
Salvation for Bricoleurs.
PPIG
Tzippora Yeshno, Mordechai Ben-Ari
2001 J jnl
The bug that destroyed a rocket.
ACM SIGCSE Bull.
Mordechai Ben-Ari
2000 — conf
Formal Verification of the Ricart-Agrawala Algorithm.
FSTTCS
Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari
2000 J jnl
How to Get a Good Review.
ACM SIGCSE Bull.
Mordechai Ben-Ari
2000 B conf
The anthropology semaphores.
ITiCSE
Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack
1999 — conf
Bricolage Forever!
PPIG
Mordechai Ben-Ari
1999 B conf
DPLab: an environment for distributed programming.
ITiCSE
Mordechai Ben-Ari, Shawn Silverman
1999 B conf
Thinking parallel: the process of learning concurrency.
ITiCSE
Mordechai Ben-Ari, Yifat Ben-David Kolikant
1998 — conf
A Portable Implementation of the Distributed Systems Annex in Java.
SIGAda
Yoav Tzruya, Mordechai Ben-Ari
1998 A conf
Constructivism in computer science education.
SIGCSE
Mordechai Ben-Ari
1998 B conf
Development, implementation and evaluation of a course in expert systems for high-school students (poster).
ITiCSE
Noa Ragonis, Ehud Shapiro, Mordechai Ben-Ari, Zahava Scherz
1998 J jnl
How to solve the Santa Claus problem.
Concurr. Pract. Exp.
Mordechai Ben-Ari
1998 B conf
Re-engineering a concurrency simulator.
ITiCSE
Yakov Persky, Mordechai Ben-Ari
1998 Misc conf
Synchronizing Multiple Clients and Servers.
Ada-Europe
Mordechai Ben-Ari
1998 J jnl
Teaching Object-Oriented Programming in Ada.
J. Object Oriented Program.
Mordechai Ben-Ari
1998 — conf
The Software Factory.
PPIG
Mordechai Ben-Ari
1997 J jnl
A critique of the advanced placement C++ subset.
ACM SIGCSE Bull.
Mordechai Ben-Ari, Kevlin Henney
1997 B conf
Distributed algorithms in Java.
ITiCSE
Mordechai Ben-Ari
1996 J jnl
Structure exits, not loops.
ACM SIGCSE Bull.
Mordechai Ben-Ari
1996 A conf
Using inheritance to implement concurrency.
SIGCSE
Mordechai Ben-Ari
1993 — book
Mathematical logic for computer science.
Mordechai Ben-Ari
1990 — book
Principles of concurrent and distributed programming.
Mordechai Ben-Ari
1989 — conf
Ada requirements for small real-time systems.
IRTAW
Mordechai Ben-Ari
1986 J jnl
Foreet: A Tool for Design and Documentation of Fortran Programs.
Softw. Pract. Exp.
Mordechai Ben-Ari
1985 — book
Grundlagen der Parallel-Programmierung.
Mordechai Ben-Ari
1984 J jnl
Algorithms for On-the-fly Garbage Collection.
ACM Trans. Program. Lang. Syst.
Mordechai Ben-Ari
1983 J jnl
The Temporal Logic of Branching Time.
Acta Informatica
Mordechai Ben-Ari, Amir Pnueli, Zohar Manna
1982 J jnl
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci.
Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
1982 A* conf
On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.
ICALP
Mordechai Ben-Ari
1982 — book
Principles of concurrent programming.
Mordechai Ben-Ari
1981 J jnl
A methodology for modular use of Ada.
ACM SIGPLAN Notices
Mordechai Ben-Ari, Amiram Yehudai
1981 J jnl
Cheap Concurrent Programming.
Softw. Pract. Exp.
Mordechai Ben-Ari
1981 — —
Complexity of proofs and models in programming logics
Mordechai Ben-Ari
1981 A* conf
Finite Models for Deterministic Propositional Dynamic Logic.
ICALP
Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
1981 A* conf
The Temporal Logic of Branching Time.
POPL
Mordechai Ben-Ari, Zohar Manna, Amir Pnueli
1980 J jnl
A Simplified Proof That Regular Resolution is Exponential.
Inf. Process. Lett.
Mordechai Ben-Ari
1980 J jnl
Comments on "Tautology Testing with a Generalized Matrix Reduction Method".
Theor. Comput. Sci.
Mordechai Ben-Ari
1979 J jnl
On Transposing Large
IEEE Trans. Computers
Mordechai Ben-Ari
1978 J jnl
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes.
Acta Informatica
Mordechai Ben-Ari