Mordechai Ben-Ari

According to our database, Mordechai Ben-Ari authored at least 106 papers between 1978 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

The Effect of Robotics Activities on Learning the Engineering Design Process.

Fatima Kaloti-Hallak, Michal Armoni, Moti Ben-Ari

Informatics Educ., 2019

2018

LearnSAT: A SAT Solver for Education.

Moti Ben-Ari

J. Open Source Softw., 2018

Teaching Computer Science Concepts Through Robotics to Elementary School Children.

Mor Friebroon Yesharim, Mordechai Ben-Ari

Int. J. Comput. Sci. Educ. Sch., 2018

Elements of Robotics

Mordechai Ben-Ari, Francesco Mondada

Springer, ISBN: 978-3-319-62533-1, 2018

2017

Teaching Robotics Concepts to Elementary School Children.

Mor Friebroon Yesharim, Mordechai Ben-Ari

Proceedings of the Robotics in Education, 2017

The Evaluation of Robotics Activities for Facilitating STEM Learning.

Ronit Ben-Bassat Levy, Mordechai Ben-Ari

Proceedings of the Robotics in Education, 2017

2016

In defense of programming.

Mordechai Ben-Ari

Inroads, 2016

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

Students' Attitudes and Motivation During Robotics Activities.

Fatima Kaloti-Hallak, Michal Armoni, Mordechai Ben-Ari

Proceedings of the Workshop in Primary and Secondary Computing Education, 2015

Enhancing Robot Programming with Visual Feedback and Augmented Reality.

Stéphane Magnenat, Mordechai Ben-Ari, Severin Klingler, Robert W. Sumner

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Robotics Activities-Is the Investment Worthwhile?

Ronit Ben-Bassat Levy, Mordechai Ben-Ari

Proceedings of the Informatics in Schools. Curricula, Competences, and Competitions, 2015

2014

From Scratch to "Real" Programming.

Michal Armoni, Orni Meerbaum-Salant, Mordechai Ben-Ari

ACM Trans. Comput. Educ., 2014

Abstraction as a bridging concept between computer science and physics.

Rivka Taub, Michal Armoni, Mordechai Ben-Ari

Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

The effect of computer science on the learning of computational physics.

Rivka Taub, Mordechai Ben-Ari, Michal Armoni

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

Teaching a core CS concept through robotics.

Stéphane Magnenat, Jiwon Shin, Fanny Riedo, Roland Siegwart, Mordechai Ben-Ari

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013

Introduction to the special issue on concurrent and parallel programming.

Mordechai Ben-Ari, Dan Garcia, Tom Murphy

ACM Trans. Comput. Educ., 2013

MOOCs on introductory programming: a travelogue.

Mordechai Ben-Ari

Inroads, 2013

Learning computer science concepts with Scratch.

Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari

Comput. Sci. Educ., 2013

The Contribution of Computer Science to Learning Computational Physics.

Rivka Taub, Michal Armoni, Mordechai Ben-Ari

Proceedings of the Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages, 2013

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

Demonstrating random and parallel algorithms with spin.

Mordechai Ben-Ari, Fatima Kaloti-Hallak

Inroads, 2012

Mathematical Logic for Computer Science, 3rd Edition.

Mordechai Ben-Ari

Springer, ISBN: 978-1-4471-4128-0, 2012

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

Loop Constructs in scratch.

Mordechai Ben-Ari

Inroads, 2011

Non-myths about programming.

Mordechai Ben-Ari

Commun. ACM, 2011

Visualising concurrent programs with dynamic dependence graphs.

Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi

Proceedings of the 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2011

Evaluating a visualisation of the execution of a concurrent program.

Jan Lönnberg, Lauri Malmi, Mordechai Ben-Ari

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

SyntaxTrain: relieving the pain of learning syntax.

Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Habits of programming in scratch.

Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Java replay for dependence-based debugging.

Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

A primer on model checking.

Mordechai Ben-Ari

Inroads, 2010

Objects never?: well, hardly ever!

Mordechai Ben-Ari

Commun. ACM, 2010

2009

The concept of nondeterminism: its development and implications for teaching.

Michal Armoni, Mordechai Ben-Ari

ACM SIGCSE Bull., 2009

Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning.

Niko Myller, Roman Bednarik, Erkki Sutinen, Mordechai Ben-Ari

ACM Trans. Comput. Educ., 2009

Adapting and merging methodologies in doctoral research.

Ronit Ben-Bassat Levy, Mordechai Ben-Ari

Comput. Sci. Educ., 2009

Tool Presentation: Teaching Concurrency and Model Checking.

Mordechai Ben-Ari

Proceedings of the Model Checking Software, 2009

The effect of CS unplugged on middle-school students' views of CS.

Rivka Taub, Mordechai Ben-Ari, Michal Armoni

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

Ada for Software Engineers - Second Edition with Ada 2005.

Mordechai Ben-Ari

Springer, ISBN: 978-1-8488-2313-6, 2009

2008

Teaching students to think nondeterministically.

Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Perceived behavior control and its influence on the adoption of software tools.

Ronit Ben-Bassat Levy, Mordechai Ben-Ari

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Principles of the spin model checker.

Mordechai Ben-Ari

Springer, ISBN: 978-1-84628-769-5, 2008

2007

The contribution of visualization to learning computer architecture.

Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus

Comput. Sci. Educ., 2007

We work so hard and they don't use it: acceptance of software tools by teachers.

Ronit Ben-Bassat Levy, Mordechai Ben-Ari

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Teaching concurrency and nondeterminism with spin.

Mordechai Ben-Ari

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006

McKinley's Amazon.

Mordechai Ben-Ari

ACM SIGCSE Bull., 2006

Conceptual models of software artifacts.

Mordechai Ben-Ari, Tzippora Yeshno

Interact. Comput., 2006

Roles of variables in three programming paradigms.

Jorma Sajaniemi, Mordechai Ben-Ari, Pauli Byckling, Petri Gerdt, Yevgeniya Kulikova

Comput. Sci. Educ., 2006

Why Don't They Do What We Want Them to Do.

Shmuel Schwarz, Mordechai Ben-Ari

Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group, 2006

Affective effects of program visualization.

Gil Ebel, Mordechai Ben-Ari

Proceedings of the International Computing Education Research Workshop 2006, 2006

2005

Minesweeper as an NP-complete problem.

Mordechai Ben-Ari

ACM SIGCSE Bull., 2005

A long-term investigation of the comprehension of OOP concepts by novices.

Noa Ragonis, Mordechai Ben-Ari

Comput. Sci. Educ., 2005

Computer architecture and mental models.

Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

On understanding the statics and dynamics of object-oriented programs.

Noa Ragonis, Mordechai Ben-Ari

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004

Situated Learning in Computer Science Education.

Mordechai Ben-Ari

Comput. Sci. Educ., 2004

Computer Science Education in High School.

Mordechai Ben-Ari

Comput. Sci. Educ., 2004

Virtual trees for the byzantine generals algorithm.

Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

The concorde doesn't fly anymore.

Mordechai Ben-Ari

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Program animation in jeliot 3.

Andrés Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Roles of variables as seen by CS educators.

Mordechai Ben-Ari, Jorma Sajaniemi

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

What do we mean by theoretically sound research in computer science education?

Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

A suite of tools for teaching concurrency.

Mordechai Ben-Ari

Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Visualizing programs with Jeliot 3.

Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari

Proceedings of the working conference on Advanced visual interfaces, 2004

2003

The Jeliot 2000 program animation system.

Ronit Ben-Bassat Levy, Mordechai Ben-Ari, Pekka A. Uronen

Comput. Educ., 2003

2002

Writing a textbook.

Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield

Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2002

2001

The bug that destroyed a rocket.

Mordechai Ben-Ari

ACM SIGCSE Bull., 2001

Interactive execution of distributed algorithms.

Mordechai Ben-Ari

ACM J. Educ. Resour. Comput., 2001

Extreme Interleavings.

Mordechai Ben-Ari, Alan Burns

IEEE Distributed Syst. Online, 2001

Salvation for Bricoleurs.

Tzippora Yeshno, Mordechai Ben-Ari

Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

Perspectives on Program Animation with Jeliot.

Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio

Proceedings of the Software Visualization, 2001

Mathematical logic for computer science (2. ed.).

Mordechai Ben-Ari

Springer, ISBN: 978-1-85233-319-5, 2001

2000

How to Get a Good Review.

Mordechai Ben-Ari

ACM SIGCSE Bull., 2000

The anthropology semaphores.

Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

Formal Verification of the Ricart-Agrawala Algorithm.

Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Bricolage Forever!

Mordechai Ben-Ari

Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group, 1999

DPLab: an environment for distributed programming.

Mordechai Ben-Ari, Shawn Silverman

Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

Thinking parallel: the process of learning concurrency.

Mordechai Ben-Ari, Yifat Ben-David Kolikant

Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

1998

Teaching Object-Oriented Programming in Ada.

Mordechai Ben-Ari

J. Object Oriented Program., 1998

How to solve the Santa Claus problem.

Mordechai Ben-Ari

Concurr. Pract. Exp., 1998

Constructivism in computer science education.

Mordechai Ben-Ari

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A Portable Implementation of the Distributed Systems Annex in Java.

Yoav Tzruya, Mordechai Ben-Ari

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

The Software Factory.

Mordechai Ben-Ari

Proceedings of the 10th Annual Workshop of the Psychology of Programming Interest Group, 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

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

Re-engineering a concurrency simulator.

Yakov Persky, Mordechai Ben-Ari

Proceedings of the 6th Annual Conference on the Teaching of Computing and the 3rd Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1998

Synchronizing Multiple Clients and Servers.

Mordechai Ben-Ari

Proceedings of the Reliable Software Technologies, 1998

1997

A critique of the advanced placement C++ subset.

Mordechai Ben-Ari, Kevlin Henney

ACM SIGCSE Bull., 1997

Distributed algorithms in Java.

Mordechai Ben-Ari

Proceedings of the 2nd Annual Conference on Integrating Technology into Computer Science Education, 1997

1996

Structure exits, not loops.

Mordechai Ben-Ari

ACM SIGCSE Bull., 1996

Using inheritance to implement concurrency.

Mordechai Ben-Ari

Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

1993

Mathematical logic for computer science.

Mordechai Ben-Ari

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-564139-2, 1993

1990

Principles of concurrent and distributed programming.

Mordechai Ben-Ari

PHI Series in computer science, Prentice Hall, ISBN: 978-0-13-711821-2, 1990

1989

Ada requirements for small real-time systems.

Mordechai Ben-Ari

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1986

Foreet: A Tool for Design and Documentation of Fortran Programs.

Mordechai Ben-Ari

Softw. Pract. Exp., 1986

1985

Grundlagen der Parallel-Programmierung.

Mordechai Ben-Ari

Hanser, ISBN: 978-3-446-14155-1, 1985

1984

Algorithms for On-the-fly Garbage Collection.

Mordechai Ben-Ari

ACM Trans. Program. Lang. Syst., 1984

1983

The Temporal Logic of Branching Time.

Mordechai Ben-Ari, Amir Pnueli, Zohar Manna

Acta Informatica, 1983

1982

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.

Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli

J. Comput. Syst. Sci., 1982

On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.

Mordechai Ben-Ari

Proceedings of the Automata, 1982

Principles of concurrent programming.

Mordechai Ben-Ari

Prentice Hall, ISBN: 978-0-13-701078-3, 1982

1981

Complexity of proofs and models in programming logics

Mordechai Ben-Ari

PhD thesis, 1981

Cheap Concurrent Programming.

Mordechai Ben-Ari

Softw. Pract. Exp., 1981

A methodology for modular use of Ada.

Mordechai Ben-Ari, Amiram Yehudai

ACM SIGPLAN Notices, 1981

Finite Models for Deterministic Propositional Dynamic Logic.

Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli

Proceedings of the Automata, 1981

1980

Comments on "Tautology Testing with a Generalized Matrix Reduction Method".

Mordechai Ben-Ari

Theor. Comput. Sci., 1980

A Simplified Proof That Regular Resolution is Exponential.

Mordechai Ben-Ari

Inf. Process. Lett., 1980

1979

On Transposing Large <i>2ⁿ</i> × <i>2ⁿ</i> Matrices.

Mordechai Ben-Ari

IEEE Trans. Computers, 1979

1978

Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes.

Mordechai Ben-Ari

Acta Informatica, 1978