Mordechai Ben-Ari

According to our database1, Mordechai Ben-Ari
  • authored at least 99 papers between 1978 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Elements of Robotics
Springer, ISBN: 978-3-319-62533-1, 2018

2016
In defense of programming.
Inroads, 2016

2015
The effect of computer science on physics learning in a computational science environment.
Computers & Education, 2015

Students' Attitudes and Motivation During Robotics Activities.
Proceedings of the Workshop in Primary and Secondary Computing Education, 2015

Enhancing Robot Programming with Visual Feedback and Augmented Reality.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

In Defense of Programming.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

Robotics Activities-Is the Investment Worthwhile?
Proceedings of the Informatics in Schools. Curricula, Competences, and Competitions, 2015

2014
From Scratch to "Real" Programming.
TOCE, 2014

Abstraction as a bridging concept between computer science and physics.
Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

The effect of computer science on the learning of computational physics.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

Teaching a core CS concept through robotics.
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

2013
Introduction to the special issue on concurrent and parallel programming.
TOCE, 2013

MOOCs on introductory programming: a travelogue.
Inroads, 2013

Learning computer science concepts with Scratch.
Computer Science Education, 2013

LearnSAT: A SAT Solver for Education.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

The Contribution of Computer Science to Learning Computational Physics.
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.
TOCE, 2012

Demonstrating random and parallel algorithms with spin.
Inroads, 2012

Mathematical Logic for Computer Science, 3rd Edition.
Springer, ISBN: 978-1-4471-4128-0, 2012

2011
A decade of research and development on program animation: The Jeliot experience.
J. Vis. Lang. Comput., 2011

Loop Constructs in scratch.
Inroads, 2011

Non-myths about programming.
Commun. ACM, 2011

Visualising concurrent programs with dynamic dependence graphs.
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.
Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

SyntaxTrain: relieving the pain of learning syntax.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

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

Java replay for dependence-based debugging.
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010
A primer on model checking.
Inroads, 2010

Objects never?: well, hardly ever!
Commun. ACM, 2010

Learning computer science concepts with scratch.
Proceedings of the Sixth International Workshop on Computing Education Research, 2010

Non-myths about programming.
Proceedings of the Sixth International Workshop on Computing Education Research, 2010

2009
The concept of nondeterminism: its development and implications for teaching.
SIGCSE Bulletin, 2009

Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning.
TOCE, 2009

Adapting and merging methodologies in doctoral research.
Computer Science Education, 2009

Tool Presentation: Teaching Concurrency and Model Checking.
Proceedings of the Model Checking Software, 2009

The effect of CS unplugged on middle-school students' views of CS.
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.
Springer, ISBN: 978-1-8488-2313-6, 2009

2008
Teaching students to think nondeterministically.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Perceived behavior control and its influence on the adoption of software tools.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Principles of the spin model checker.
Springer, ISBN: 978-1-84628-769-5, 2008

2007
The contribution of visualization to learning computer architecture.
Computer Science Education, 2007

We work so hard and they don't use it: acceptance of software tools by teachers.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Teaching concurrency and nondeterminism with spin.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006
McKinley's Amazon.
SIGCSE Bulletin, 2006

Conceptual models of software artifacts.
Interacting with Computers, 2006

Roles of variables in three programming paradigms.
Computer Science Education, 2006

Affective effects of program visualization.
Proceedings of the International Computing Education Research Workshop 2006, 2006

2005
Minesweeper as an NP-complete problem.
SIGCSE Bulletin, 2005

A long-term investigation of the comprehension of OOP concepts by novices.
Computer Science Education, 2005

Computer architecture and mental models.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

On understanding the statics and dynamics of object-oriented programs.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

The concorde doesn't fly anymore.
Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2004
Situated Learning in Computer Science Education.
Computer Science Education, 2004

Computer Science Education in High School.
Computer Science Education, 2004

Virtual trees for the byzantine generals algorithm.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

The concorde doesn't fly anymore.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Program animation in jeliot 3.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Roles of variables as seen by CS educators.
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?
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

A suite of tools for teaching concurrency.
Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2004

Visualizing programs with Jeliot 3.
Proceedings of the working conference on Advanced visual interfaces, 2004

2003
The Jeliot 2000 program animation system.
Computers & Education, 2003

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

2001
The bug that destroyed a rocket.
SIGCSE Bulletin, 2001

Interactive execution of distributed algorithms.
ACM Journal of Educational Resources in Computing, 2001

Extreme Interleavings.
IEEE Distributed Systems Online, 2001

Perspectives on Program Animation with Jeliot.
Proceedings of the Software Visualization, 2001

Mathematical logic for computer science (2. ed.).
Springer, ISBN: 978-1-85233-319-5, 2001

2000
How to Get a Good Review.
SIGCSE Bulletin, 2000

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

Formal Verification of the Ricart-Agrawala Algorithm.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999
DPLab: an environment for distributed programming.
Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

Thinking parallel: the process of learning concurrency.
Proceedings of the 4th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 1999

1998
Teaching Object-Oriented Programming in Ada.
JOOP, 1998

How to solve the Santa Claus problem.
Concurrency - Practice and Experience, 1998

Constructivism in computer science education.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26, 1998

A Portable Implementation of the Distributed Systems Annex in Java.
SIGAda, 1998

Development, implementation and evaluation of a course in expert systems for high-school students (poster).
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.
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.
Proceedings of the Reliable Software Technologies, 1998

1997
A critique of the advanced placement C++ subset.
SIGCSE Bulletin, 1997

Distributed algorithms in Java.
Proceedings of the 2nd Annual Conference on Integrating Technology into Computer Science Education, 1997

1996
Using inheritance to implement concurrency.
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

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

1990
Principles of concurrent and distributed programming.
PHI Series in computer science, Prentice Hall, ISBN: 978-0-13-711821-2, 1990

1986
Foreet: A Tool for Design and Documentation of Fortran Programs.
Softw., Pract. Exper., 1986

1985
Grundlagen der Parallel-Programmierung.
Hanser, ISBN: 978-3-446-14155-1, 1985

1984
Algorithms for On-the-fly Garbage Collection.
ACM Trans. Program. Lang. Syst., 1984

1983
The Temporal Logic of Branching Time.
Acta Inf., 1983

1982
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci., 1982

On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.
Proceedings of the Automata, 1982

Principles of concurrent programming.
Prentice Hall, ISBN: 978-0-13-701078-3, 1982

1981
Cheap Concurrent Programming.
Softw., Pract. Exper., 1981

The Temporal Logic of Branching Time.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Finite Models for Deterministic Propositional Dynamic Logic.
Proceedings of the Automata, 1981

1980
Comments on "Tautology Testing with a Generalized Matrix Reduction Method".
Theor. Comput. Sci., 1980

A Simplified Proof That Regular Resolution is Exponential.
Inf. Process. Lett., 1980

1979
On Transposing Large 2n × 2n Matrices.
IEEE Trans. Computers, 1979

1978
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes.
Acta Inf., 1978


  Loading...