default search action
Mordechai Ben-Ari
Moti Ben-Ari
Person information
- affiliation: Weizmann Institute of Science, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
- [j46]Fatima Kaloti-Hallak, Michal Armoni, Moti Ben-Ari:
The Effect of Robotics Activities on Learning the Engineering Design Process. Informatics Educ. 18(1): 106-129 (2019) - 2018
- [b10]Mordechai Ben-Ari, Francesco Mondada:
Elements of Robotics. Springer 2018, ISBN 978-3-319-62532-4, pp. 1-308 - [j45]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) - [j44]Moti Ben-Ari:
LearnSAT: A SAT Solver for Education. J. Open Source Softw. 3(24): 639 (2018) - 2017
- [c56]Mor Friebroon Yesharim, Mordechai Ben-Ari:
Teaching Robotics Concepts to Elementary School Children. RiE 2017: 77-87 - [c55]Ronit Ben-Bassat Levy, Mordechai Ben-Ari:
The Evaluation of Robotics Activities for Facilitating STEM Learning. RiE 2017: 132-137 - 2016
- [j43]Mordechai Ben-Ari:
In defense of programming. Inroads 7(1): 44-46 (2016) - 2015
- [j42]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: 10-23 (2015) - [c54]Ronit Ben-Bassat Levy, Mordechai Ben-Ari:
Robotics Activities-Is the Investment Worthwhile? ISSEP 2015: 22-31 - [c53]Mordechai Ben-Ari:
In Defense of Programming. ITiCSE 2015: 2 - [c52]Stéphane Magnenat
Enhancing Robot Programming with Visual Feedback and Augmented Reality. ITiCSE 2015: 153-158 - [c51]Fatima Kaloti-Hallak, Michal Armoni, Mordechai Ben-Ari:
Students' Attitudes and Motivation During Robotics Activities. WiPSCE 2015: 102-110 - 2014
- [j41]Michal Armoni, Orni Meerbaum-Salant, Mordechai Ben-Ari:
From Scratch to "Real" Programming. ACM Trans. Comput. Educ. 14(4): 25:1-25:15 (2014) - [c50]Stéphane Magnenat
Teaching a core CS concept through robotics. ITiCSE 2014: 315-320 - [c49]Rivka Taub, Mordechai Ben-Ari, Michal Armoni:
The effect of computer science on the learning of computational physics. ITiCSE 2014: 352 - [c48]Rivka Taub, Michal Armoni, Mordechai Ben-Ari:
Abstraction as a bridging concept between computer science and physics. WiPSCE 2014: 16-19 - 2013
- [j40]Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari:
Learning computer science concepts with Scratch. Comput. Sci. Educ. 23(3): 239-264 (2013) - [j39]Mordechai Ben-Ari:
MOOCs on introductory programming: a travelogue. Inroads 4(2): 58-61 (2013) - [j38]Mordechai Ben-Ari, Dan Garcia, Tom Murphy:
Introduction to the special issue on concurrent and parallel programming. ACM Trans. Comput. Educ. 13(1): 1:1-1:3 (2013) - [c47]Rivka Taub, Michal Armoni, Mordechai Ben-Ari:
The Contribution of Computer Science to Learning Computational Physics. ISSEP 2013: 127-137 - [c46]Mordechai Ben-Ari:
LearnSAT: A SAT Solver for Education. SAT 2013: 403-407 - 2012
- [b9]Mordechai Ben-Ari:
Mathematical Logic for Computer Science, 3rd Edition. Springer 2012, ISBN 978-1-4471-4128-0, pp. I-XV, 1-346 - [j37]Mordechai Ben-Ari, Fatima Kaloti-Hallak:
Demonstrating random and parallel algorithms with spin. Inroads 3(3): 36-38 (2012) - [j36]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): 8:1-8:29 (2012) - 2011
- [j35]Mordechai Ben-Ari:
Non-myths about programming. Commun. ACM 54(7): 35-37 (2011) - [j34]Mordechai Ben-Ari:
Loop Constructs in scratch. Inroads 2(1): 27-28 (2011) - [j33]Mordechai Ben-Ari, Roman Bednarik
A decade of research and development on program animation: The Jeliot experience. J. Vis. Lang. Comput. 22(5): 375-384 (2011) - [c45]Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi:
Java replay for dependence-based debugging. PADTAD 2011: 15-25 - [c44]Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari:
Habits of programming in scratch. ITiCSE 2011: 168-172 - [c43]Andreas Leon Aagaard Moth, Jørgen Villadsen
SyntaxTrain: relieving the pain of learning syntax. ITiCSE 2011: 387 - [c42]Jan Lönnberg, Lauri Malmi, Mordechai Ben-Ari:
Evaluating a visualisation of the execution of a concurrent program. Koli Calling 2011: 39-48 - [c41]Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi:
Visualising concurrent programs with dynamic dependence graphs. VISSOFT 2011: 1-4 - 2010
- [j32]Mordechai Ben-Ari:
Objects never?: well, hardly ever! Commun. ACM 53(9): 32-35 (2010) - [j31]Mordechai Ben-Ari:
A primer on model checking. Inroads 1(1): 40-47 (2010) - [c40]Mordechai Ben-Ari:
Non-myths about programming. ICER 2010: 1-2 - [c39]Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari:
Learning computer science concepts with scratch. ICER 2010: 69-76
2000 – 2009
- 2009
- [b8]Mordechai Ben-Ari:
Ada for Software Engineers - Second Edition with Ada 2005. Springer 2009, ISBN 978-1-8488-2313-6, pp. I-XIV, 1-509 - [j30]Ronit Ben-Bassat Levy, Mordechai Ben-Ari:
Adapting and merging methodologies in doctoral research. Comput. Sci. Educ. 19(2): 51-67 (2009) - [j29]Niko Myller, Roman Bednarik, Erkki Sutinen, Mordechai Ben-Ari:
Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning. ACM Trans. Comput. Educ. 9(1): 7:1-7:27 (2009) - [j28]Michal Armoni, Mordechai Ben-Ari:
The concept of nondeterminism: its development and implications for teaching. ACM SIGCSE Bull. 41(2): 141-160 (2009) - [c38]Rivka Taub, Mordechai Ben-Ari, Michal Armoni:
The effect of CS unplugged on middle-school students' views of CS. ITiCSE 2009: 99-103 - [c37]Mordechai Ben-Ari:
Tool Presentation: Teaching Concurrency and Model Checking. SPIN 2009: 6-11 - 2008
- [b7]Mordechai Ben-Ari:
Principles of the spin model checker. Springer 2008, ISBN 978-1-84628-769-5, pp. I-XV, 1-216 - [c36]Ronit Ben-Bassat Levy, Mordechai Ben-Ari:
Perceived behavior control and its influence on the adoption of software tools. ITiCSE 2008: 169-173 - [c35]Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari:
Teaching students to think nondeterministically. SIGCSE 2008: 4-8 - 2007
- [j27]Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus:
The contribution of visualization to learning computer architecture. Comput. Sci. Educ. 17(2): 117-127 (2007) - [c34]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: 246-250 - [c33]Mordechai Ben-Ari:
Teaching concurrency and nondeterminism with spin. ITiCSE 2007: 363-364 - 2006
- [j26]Jorma Sajaniemi, Mordechai Ben-Ari, Pauli Byckling, Petri Gerdt, Yevgeniya Kulikova:
Roles of variables in three programming paradigms. Comput. Sci. Educ. 16(4): 261-279 (2006) - [j25]Mordechai Ben-Ari, Tzippora Yeshno:
Conceptual models of software artifacts. Interact. Comput. 18(6): 1336-1350 (2006) - [j24]Mordechai Ben-Ari:
McKinley's Amazon. ACM SIGCSE Bull. 38(4): 75-77 (2006) - [c32]Gil Ebel, Mordechai Ben-Ari:
Affective effects of program visualization. ICER 2006: 1-5 - [c31]Shmuel Schwarz, Mordechai Ben-Ari:
Why Don't They Do What We Want Them to Do. PPIG 2006: 6 - 2005
- [j23]Noa Ragonis
A long-term investigation of the comprehension of OOP concepts by novices. Comput. Sci. Educ. 15(3): 203-221 (2005) - [j22]Mordechai Ben-Ari:
Minesweeper as an NP-complete problem. ACM SIGCSE Bull. 37(4): 39-40 (2005) - [c30]Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus:
Computer architecture and mental models. SIGCSE 2005: 101-105 - [c29]Mordechai Ben-Ari:
The concorde doesn't fly anymore. SIGCSE 2005: 196 - [c28]Noa Ragonis
On understanding the statics and dynamics of object-oriented programs. SIGCSE 2005: 226-230 - 2004
- [j21]Mordechai Ben-Ari:
Computer Science Education in High School. Comput. Sci. Educ. 14(1): 1-2 (2004) - [j20]Mordechai Ben-Ari:
Situated Learning in Computer Science Education. Comput. Sci. Educ. 14(2): 85-100 (2004) - [c27]Andrés Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari:
Visualizing programs with Jeliot 3. AVI 2004: 373-376 - [c26]Mordechai Ben-Ari, Jorma Sajaniemi:
Roles of variables as seen by CS educators. ITiCSE 2004: 52-56 - [c25]Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe:
What do we mean by theoretically sound research in computer science education? ITiCSE 2004: 230-231 - [c24]Mordechai Ben-Ari:
A suite of tools for teaching concurrency. ITiCSE 2004: 251 - [c23]Andrés Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen:
Program animation in jeliot 3. ITiCSE 2004: 265 - [c22]Mordechai Ben-Ari:
The concorde doesn't fly anymore. SIGCSE 2004: 1 - [c21]Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant:
Virtual trees for the byzantine generals algorithm. SIGCSE 2004: 392-396 - 2003
- [j19]Ronit Ben-Bassat Levy, Mordechai Ben-Ari, Pekka A. Uronen:
The Jeliot 2000 program animation system. Comput. Educ. 40(1): 1-15 (2003) - 2002
- [c20]Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield:
Writing a textbook. ITiCSE 2002: 94-95 - 2001
- [b6]Mordechai Ben-Ari:
Mathematical logic for computer science (2. ed.). Springer 2001, ISBN 978-1-85233-319-5, pp. I-XIV, 1-304 - [j18]Mordechai Ben-Ari, Alan Burns:
Extreme Interleavings. IEEE Distributed Syst. Online 2(1) (2001) - [j17]Mordechai Ben-Ari:
Interactive execution of distributed algorithms. ACM J. Educ. Resour. Comput. 1(2): 2 (2001) - [j16]Mordechai Ben-Ari:
The bug that destroyed a rocket. ACM SIGCSE Bull. 33(2): 58-59 (2001) - [c19]Mordechai Ben-Ari, Niko Myller, Erkki Sutinen, Jorma Tarhio
Perspectives on Program Animation with Jeliot. Software Visualization 2001: 31-45 - [c18]Tzippora Yeshno, Mordechai Ben-Ari:
Salvation for Bricoleurs. PPIG 2001: 17 - 2000
- [j15]Mordechai Ben-Ari:
How to Get a Good Review. ACM SIGCSE Bull. 32(2): 4-6 (2000) - [c17]Ekaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari:
Formal Verification of the Ricart-Agrawala Algorithm. FSTTCS 2000: 325-335 - [c16]Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack:
The anthropology semaphores. ITiCSE 2000: 21-24
1990 – 1999
- 1999
- [c15]Mordechai Ben-Ari, Yifat Ben-David Kolikant:
Thinking parallel: the process of learning concurrency. ITiCSE 1999: 13-16 - [c14]Mordechai Ben-Ari, Shawn Silverman:
DPLab: an environment for distributed programming. ITiCSE 1999: 91-94 - [c13]Mordechai Ben-Ari:
Bricolage Forever! PPIG 1999: 12 - 1998
- [j14]Mordechai Ben-Ari:
How to solve the Santa Claus problem. Concurr. Pract. Exp. 10(6): 485-496 (1998) - [j13]Mordechai Ben-Ari:
Teaching Object-Oriented Programming in Ada. J. Object Oriented Program. 11(6): 39-45 (1998) - [c12]Mordechai Ben-Ari:
Synchronizing Multiple Clients and Servers. Ada-Europe 1998: 41-52 - [c11]Yakov Persky, Mordechai Ben-Ari:
Re-engineering a concurrency simulator. ITiCSE 1998: 185-188 - [c10]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: 300 - [c9]Mordechai Ben-Ari:
The Software Factory. PPIG 1998: 7 - [c8]Yoav Tzruya, Mordechai Ben-Ari:
A Portable Implementation of the Distributed Systems Annex in Java. SIGAda 1998: 204-211 - [c7]Mordechai Ben-Ari:
Constructivism in computer science education. SIGCSE 1998: 257-261 - 1997
- [j12]Mordechai Ben-Ari, Kevlin Henney:
A critique of the advanced placement C++ subset. ACM SIGCSE Bull. 29(2): 7-10 (1997) - [c6]Mordechai Ben-Ari:
Distributed algorithms in Java. ITiCSE 1997: 62-64 - 1996
- [j11]Mordechai Ben-Ari:
Structure exits, not loops. ACM SIGCSE Bull. 28(3): 51 (1996) - [c5]Mordechai Ben-Ari:
Using inheritance to implement concurrency. SIGCSE 1996: 180-184 - 1993
- [b5]Mordechai Ben-Ari:
Mathematical logic for computer science. Prentice Hall International series in computer science, Prentice Hall 1993, ISBN 978-0-13-564139-2, pp. I-XI, 1-305 - 1990
- [b4]Mordechai Ben-Ari:
Principles of concurrent and distributed programming. PHI Series in computer science, Prentice Hall 1990, ISBN 978-0-13-711821-2, pp. I-X, 1-225
1980 – 1989
- 1989
- [c4]Mordechai Ben-Ari:
Ada requirements for small real-time systems. IRTAW 1989: 159-165 - 1986
- [j10]Mordechai Ben-Ari:
Foreet: A Tool for Design and Documentation of Fortran Programs. Softw. Pract. Exp. 16(10): 915-924 (1986) - 1985
- [b3]Mordechai Ben-Ari:
Grundlagen der Parallel-Programmierung. Hanser 1985, ISBN 978-3-446-14155-1, pp. I-XIII, 1-162 - 1984
- [j9]Mordechai Ben-Ari:
Algorithms for On-the-fly Garbage Collection. ACM Trans. Program. Lang. Syst. 6(3): 333-344 (1984) - 1983
- [j8]Mordechai Ben-Ari, Amir Pnueli, Zohar Manna:
The Temporal Logic of Branching Time. Acta Informatica 20: 207-226 (1983) - 1982
- [b2]Mordechai Ben-Ari:
Principles of concurrent programming. Prentice Hall 1982, ISBN 978-0-13-701078-3, pp. I-XV, 1-172 - [j7]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982) - [c3]Mordechai Ben-Ari:
On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. ICALP 1982: 14-22 - 1981
- [b1]Mordechai Ben-Ari:
Complexity of proofs and models in programming logics. Tel Aviv University, Israel, 1981 - [j6]Mordechai Ben-Ari, Amiram Yehudai:
A methodology for modular use of Ada. ACM SIGPLAN Notices 16(12): 22-26 (1981) - [j5]Mordechai Ben-Ari:
Cheap Concurrent Programming. Softw. Pract. Exp. 11(12): 1261-1264 (1981) - [c2]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263 - [c1]Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time. POPL 1981: 164-176 - 1980
- [j4]Mordechai Ben-Ari:
A Simplified Proof That Regular Resolution is Exponential. Inf. Process. Lett. 10(2): 96-98 (1980) - [j3]Mordechai Ben-Ari:
Comments on "Tautology Testing with a Generalized Matrix Reduction Method". Theor. Comput. Sci. 11: 341 (1980)
1970 – 1979
- 1979
- [j2]Mordechai Ben-Ari:
On Transposing Large 2n × 2n Matrices. IEEE Trans. Computers 28(1): 72-75 (1979) - 1978
- [j1]Mordechai Ben-Ari:
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. Acta Informatica 10: 117-125 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: