Mordechai Ben-Ari

Publication Activity (10 Years)

Years Active: 1978-2018
Publications (10 Years): 4

Top Venues

ITiCSE

ISSEP

WiPSCE

RiE

Publications

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

Mordechai Ben-Ari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mordechai Ben-Ari