Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. - Mordechai Ben-Ari (Acta Informatica, 1978)

On Transposing Large 2n × 2n Matrices. - Mordechai Ben-Ari (IEEE Trans. Computers, 1979)

A Simplified Proof That Regular Resolution is Exponential. - Mordechai Ben-Ari (Inf. Process. Lett., 1980)

Comments on "Tautology Testing with a Generalized Matrix Reduction Method". - Mordechai Ben-Ari (Theor. Comput. Sci., 1980)

Finite Models for Deterministic Propositional Dynamic Logic. - Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli (ICALP, 1981)

A methodology for modular use of Ada. - Mordechai Ben-Ari; Amiram Yehudai (ACM SIGPLAN Notices, 1981)

Cheap Concurrent Programming. - Mordechai Ben-Ari (Softw. Pract. Exp., 1981)

Complexity of proofs and models in programming logics - Mordechai Ben-Ari (1981)

Principles of concurrent programming. - Mordechai Ben-Ari (Prentice Hall, 1982)

On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. - Mordechai Ben-Ari (ICALP, 1982)

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. - Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli (J. Comput. Syst. Sci., 1982)

The Temporal Logic of Branching Time. - Mordechai Ben-Ari; Amir Pnueli; Zohar Manna (Acta Informatica, 1983)

Algorithms for On-the-fly Garbage Collection. - Mordechai Ben-Ari (ACM Trans. Program. Lang. Syst., 1984)

Grundlagen der Parallel-Programmierung. - Mordechai Ben-Ari (Hanser, 1985)

Foreet: A Tool for Design and Documentation of Fortran Programs. - Mordechai Ben-Ari (Softw. Pract. Exp., 1986)

Ada requirements for small real-time systems. - Mordechai Ben-Ari (IRTAW, 1989)

Principles of concurrent and distributed programming. - Mordechai Ben-Ari (Prentice Hall, 1990)

Mathematical logic for computer science. - Mordechai Ben-Ari (Prentice Hall, 1993)

Using inheritance to implement concurrency. - Mordechai Ben-Ari (SIGCSE, 1996)

Structure exits, not loops. - Mordechai Ben-Ari (ACM SIGCSE Bull., 1996)

Distributed algorithms in Java. - Mordechai Ben-Ari (ITiCSE, 1997)

A critique of the advanced placement C++ subset. - Mordechai Ben-Ari; Kevlin Henney (ACM SIGCSE Bull., 1997)

Synchronizing Multiple Clients and Servers. - Mordechai Ben-Ari (Ada-Europe, 1998)

Re-engineering a concurrency simulator. - Yakov Persky; Mordechai Ben-Ari (ITiCSE, 1998)

Development, implementation and evaluation of a course in expert systems for high-school students (poster). - Noa Ragonis; Ehud Shapiro; Mordechai Ben-Ari; Zahava Scherz (ITiCSE, 1998)

The Software Factory. - Mordechai Ben-Ari (PPIG, 1998)

A Portable Implementation of the Distributed Systems Annex in Java. - Yoav Tzruya; Mordechai Ben-Ari (SIGAda, 1998)

Constructivism in computer science education. - Mordechai Ben-Ari (SIGCSE, 1998)

How to solve the Santa Claus problem. - Mordechai Ben-Ari (Concurr. Pract. Exp., 1998)

Teaching Object-Oriented Programming in Ada. - Mordechai Ben-Ari (J. Object Oriented Program., 1998)

Thinking parallel: the process of learning concurrency. - Mordechai Ben-Ari; Yifat Ben-David Kolikant (ITiCSE, 1999)

DPLab: an environment for distributed programming. - Mordechai Ben-Ari; Shawn Silverman (ITiCSE, 1999)

Bricolage Forever! - Mordechai Ben-Ari (PPIG, 1999)

Formal Verification of the Ricart-Agrawala Algorithm. - Ekaterina Sedletsky; Amir Pnueli; Mordechai Ben-Ari (FSTTCS, 2000)

The anthropology semaphores. - Yifat Ben-David Kolikant; Mordechai Ben-Ari; Sarah Pollack (ITiCSE, 2000)

How to Get a Good Review. - Mordechai Ben-Ari (ACM SIGCSE Bull., 2000)

Mathematical logic for computer science (2. ed.). - Mordechai Ben-Ari (Springer, 2001)

Perspectives on Program Animation with Jeliot. - Mordechai Ben-Ari; Niko Myller; Erkki Sutinen; Jorma Tarhio (Software Visualization, 2001)

Salvation for Bricoleurs. - Tzippora Yeshno; Mordechai Ben-Ari (PPIG, 2001)

Extreme Interleavings. - Mordechai Ben-Ari; Alan Burns 001 (IEEE Distributed Syst. Online, 2001)

Interactive execution of distributed algorithms. - Mordechai Ben-Ari (ACM J. Educ. Resour. Comput., 2001)

The bug that destroyed a rocket. - Mordechai Ben-Ari (ACM SIGCSE Bull., 2001)

Writing a textbook. - Mordechai Ben-Ari; Henry MacKay Walker; Gaynor Redvers-Mutton; Keith Mansfield (ITiCSE, 2002)

The Jeliot 2000 program animation system. - Ronit Ben-Bassat Levy; Mordechai Ben-Ari; Pekka A. Uronen (Comput. Educ., 2003)

Visualizing programs with Jeliot 3. - Andrés Moreno; Niko Myller; Erkki Sutinen; Mordechai Ben-Ari (AVI, 2004)

A suite of tools for teaching concurrency. - Mordechai Ben-Ari (ITiCSE, 2004)

What do we mean by theoretically sound research in computer science education? - Mordechai Ben-Ari; Anders Berglund; Shirley Booth; Christian Holmboe (ITiCSE, 2004)

Roles of variables as seen by CS educators. - Mordechai Ben-Ari; Jorma Sajaniemi (ITiCSE, 2004)

Program animation in jeliot 3. - Andrés Moreno; Niko Myller; Mordechai Ben-Ari; Erkki Sutinen (ITiCSE, 2004)

The concorde doesn't fly anymore. - Mordechai Ben-Ari (SIGCSE, 2004)

Virtual trees for the byzantine generals algorithm. - Ahuva Tikvati; Mordechai Ben-Ari; Yifat Ben-David Kolikant (SIGCSE, 2004)

Computer Science Education in High School. - Mordechai Ben-Ari (Comput. Sci. Educ., 2004)

Situated Learning in Computer Science Education. - Mordechai Ben-Ari (Comput. Sci. Educ., 2004)

On understanding the statics and dynamics of object-oriented programs. - Noa Ragonis; Mordechai Ben-Ari (SIGCSE, 2005)

Computer architecture and mental models. - Cecile Yehezkel; Mordechai Ben-Ari; Tommy Dreyfus (SIGCSE, 2005)

A long-term investigation of the comprehension of OOP concepts by novices. - Noa Ragonis; Mordechai Ben-Ari (Comput. Sci. Educ., 2005)

Minesweeper as an NP-complete problem. - Mordechai Ben-Ari (ACM SIGCSE Bull., 2005)

Affective effects of program visualization. - Gil Ebel; Mordechai Ben-Ari (ICER, 2006)

Why Don't They Do What We Want Them to Do. - Shmuel Schwarz; Mordechai Ben-Ari (PPIG, 2006)

Roles of variables in three programming paradigms. - Jorma Sajaniemi; Mordechai Ben-Ari; Pauli Byckling; Petri Gerdt; Yevgeniya Kulikova (Comput. Sci. Educ., 2006)

Conceptual models of software artifacts. - Mordechai Ben-Ari; Tzippora Yeshno (Interact. Comput., 2006)

McKinley's Amazon. - Mordechai Ben-Ari (ACM SIGCSE Bull., 2006)

Teaching concurrency and nondeterminism with spin. - Mordechai Ben-Ari (ITiCSE, 2007)

We work so hard and they don't use it: acceptance of software tools by teachers. - Ronit Ben-Bassat Levy; Mordechai Ben-Ari (ITiCSE, 2007)

The contribution of visualization to learning computer architecture. - Cecile Yehezkel; Mordechai Ben-Ari; Tommy Dreyfus (Comput. Sci. Educ., 2007)

Principles of the spin model checker. - Mordechai Ben-Ari (Springer, 2008)

Perceived behavior control and its influence on the adoption of software tools. - Ronit Ben-Bassat Levy; Mordechai Ben-Ari (ITiCSE, 2008)

Teaching students to think nondeterministically. - Michal Armoni; Noa Lewenstein; Mordechai Ben-Ari (SIGCSE, 2008)

Ada for Software Engineers - Second Edition with Ada 2005. - Mordechai Ben-Ari (Springer, 2009)

The effect of CS unplugged on middle-school students' views of CS. - Rivka Taub; Mordechai Ben-Ari; Michal Armoni (ITiCSE, 2009)

Tool Presentation: Teaching Concurrency and Model Checking. - Mordechai Ben-Ari (SPIN, 2009)

Adapting and merging methodologies in doctoral research. - Ronit Ben-Bassat Levy; Mordechai Ben-Ari (Comput. Sci. Educ., 2009)

Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning. - Niko Myller; Roman Bednarik; Erkki Sutinen; Mordechai Ben-Ari (ACM Trans. Comput. Educ., 2009)

The concept of nondeterminism: its development and implications for teaching. - Michal Armoni; Mordechai Ben-Ari (ACM SIGCSE Bull., 2009)

Objects never?: well, hardly ever! - Mordechai Ben-Ari (Commun. ACM, 2010)

A primer on model checking. - Mordechai Ben-Ari (Inroads, 2010)

Java replay for dependence-based debugging. - Jan Lönnberg; Mordechai Ben-Ari; Lauri Malmi (PADTAD, 2011)

Habits of programming in scratch. - Orni Meerbaum-Salant; Michal Armoni; Mordechai Ben-Ari (ITiCSE, 2011)

SyntaxTrain: relieving the pain of learning syntax. - Andreas Leon Aagaard Moth; Jørgen Villadsen; Mordechai Ben-Ari (ITiCSE, 2011)

Evaluating a visualisation of the execution of a concurrent program. - Jan Lönnberg; Lauri Malmi; Mordechai Ben-Ari (Koli Calling, 2011)

Visualising concurrent programs with dynamic dependence graphs. - Jan Lönnberg; Mordechai Ben-Ari; Lauri Malmi (VISSOFT, 2011)

Non-myths about programming. - Mordechai Ben-Ari (Commun. ACM, 2011)

Loop Constructs in scratch. - Mordechai Ben-Ari (Inroads, 2011)

A decade of research and development on program animation: The Jeliot experience. - Mordechai Ben-Ari; Roman Bednarik; Ronit Ben-Bassat Levy; Gil Ebel; Andrés Moreno; Niko Myller; Erkki Sutinen (J. Vis. Lang. Comput., 2011)

Mathematical Logic for Computer Science, 3rd Edition. - Mordechai Ben-Ari (Springer, 2012)

Demonstrating random and parallel algorithms with spin. - Mordechai Ben-Ari; Fatima Kaloti-Hallak (Inroads, 2012)

CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS. - Rivka Taub; Michal Armoni; Mordechai Ben-Ari (ACM Trans. Comput. Educ., 2012)

The Contribution of Computer Science to Learning Computational Physics. - Rivka Taub; Michal Armoni; Mordechai Ben-Ari (ISSEP, 2013)

Learning computer science concepts with Scratch. - Orni Meerbaum-Salant; Michal Armoni; Mordechai Ben-Ari (Comput. Sci. Educ., 2013)

MOOCs on introductory programming: a travelogue. - Mordechai Ben-Ari (Inroads, 2013)

Introduction to the special issue on concurrent and parallel programming. - Mordechai Ben-Ari; Dan Garcia 001; Tom Murphy (ACM Trans. Comput. Educ., 2013)

Teaching a core CS concept through robotics. - Stéphane Magnenat; Jiwon Shin; Fanny Riedo; Roland Siegwart; Mordechai Ben-Ari (ITiCSE, 2014)

The effect of computer science on the learning of computational physics. - Rivka Taub; Mordechai Ben-Ari; Michal Armoni (ITiCSE, 2014)

Abstraction as a bridging concept between computer science and physics. - Rivka Taub; Michal Armoni; Mordechai Ben-Ari (WiPSCE, 2014)

From Scratch to "Real" Programming. - Michal Armoni; Orni Meerbaum-Salant; Mordechai Ben-Ari (ACM Trans. Comput. Educ., 2014)

Robotics Activities-Is the Investment Worthwhile? - Ronit Ben-Bassat Levy; Mordechai Ben-Ari (ISSEP, 2015)

Enhancing Robot Programming with Visual Feedback and Augmented Reality. - Stéphane Magnenat; Mordechai Ben-Ari; Severin Klingler; Robert W. Sumner (ITiCSE, 2015)

Students' Attitudes and Motivation During Robotics Activities. - Fatima Kaloti-Hallak; Michal Armoni; Mordechai Ben-Ari (WiPSCE, 2015)

The effect of computer science on physics learning in a computational science environment. - Rivka Taub; Michal Armoni; Esther Bagno; Mordechai Ben-Ari (Comput. Educ., 2015)

In defense of programming. - Mordechai Ben-Ari (Inroads, 2016)

The Evaluation of Robotics Activities for Facilitating STEM Learning. - Ronit Ben-Bassat Levy; Mordechai Ben-Ari (RiE, 2017)

Teaching Robotics Concepts to Elementary School Children. - Mor Friebroon Yesharim; Mordechai Ben-Ari (RiE, 2017)

Elements of Robotics - Mordechai Ben-Ari; Francesco Mondada (Springer, 2018)

Teaching Computer Science Concepts Through Robotics to Elementary School Children. - Mor Friebroon Yesharim; Mordechai Ben-Ari (Int. J. Comput. Sci. Educ. Sch., 2018)

LearnSAT: A SAT Solver for Education. - Moti Ben-Ari (J. Open Source Softw., 2018)

The Effect of Robotics Activities on Learning the Engineering Design Process. - Fatima Kaloti-Hallak; Michal Armoni; Moti Ben-Ari (Informatics Educ., 2019)