Skip to content

Mordechai Ben-Ari

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

39

Venues

9

Active years

1981–2015

Best venue rank

A*

Where they publish

Papers

39 indexed papers, newest first.

YearVenueTitleAuthors
2015ITiCSEIn Defense of Programming.Mordechai Ben-Ari
2015ITiCSEEnhancing Robot Programming with Visual Feedback and Augmented Reality.Stphane Magnenat, Mordechai Ben-Ari, Severin Klingler, Robert W. Sumner
2014ITiCSETeaching a core CS concept through robotics.Stphane Magnenat, Jiwon Shin, Fanny Riedo, Roland Siegwart, Mordechai Ben-Ari
2014ITiCSEThe effect of computer science on the learning of computational physics.Rivka Taub, Mordechai Ben-Ari, Michal Armoni
2013SATLearnSAT: A SAT Solver for Education.Mordechai Ben-Ari
2011ISSTAJava replay for dependence-based debugging.Jan Lnnberg, Mordechai Ben-Ari, Lauri Malmi
2011ITiCSEHabits of programming in scratch.Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari
2011ITiCSESyntaxTrain: relieving the pain of learning syntax.Andreas Leon Aagaard Moth, Jrgen Villadsen, Mordechai Ben-Ari
2011VISSOFTVisualising concurrent programs with dynamic dependence graphs.Jan Lnnberg, Mordechai Ben-Ari, Lauri Malmi
2010ICERNon-myths about programming.Mordechai Ben-Ari
2010ICERLearning computer science concepts with scratch.Orni Meerbaum-Salant, Michal Armoni, Mordechai Ben-Ari
2009ITiCSEThe effect of CS unplugged on middle-school students' views of CS.Rivka Taub, Mordechai Ben-Ari, Michal Armoni
2008ITiCSEPerceived behavior control and its influence on the adoption of software tools.Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2008SIGCSETeaching students to think nondeterministically.Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari
2007ITiCSETeaching concurrency and nondeterminism with spin.Mordechai Ben-Ari
2007ITiCSEWe work so hard and they don't use it: acceptance of software tools by teachers.Ronit Ben-Bassat Levy, Mordechai Ben-Ari
2006ICERAffective effects of program visualization.Gil Ebel, Mordechai Ben-Ari
2005SIGCSEThe concorde doesn't fly anymore.Mordechai Ben-Ari
2005SIGCSEOn understanding the statics and dynamics of object-oriented programs.Noa Ragonis, Mordechai Ben-Ari
2005SIGCSEComputer architecture and mental models.Cecile Yehezkel, Mordechai Ben-Ari, Tommy Dreyfus
2004AVIVisualizing programs with Jeliot 3.Andrs Moreno, Niko Myller, Erkki Sutinen, Mordechai Ben-Ari
2004ITiCSEA suite of tools for teaching concurrency.Mordechai Ben-Ari
2004ITiCSEWhat do we mean by theoretically sound research in computer science education?Mordechai Ben-Ari, Anders Berglund, Shirley Booth, Christian Holmboe
2004ITiCSERoles of variables as seen by CS educators.Mordechai Ben-Ari, Jorma Sajaniemi
2004ITiCSEProgram animation in jeliot 3.Andrs Moreno, Niko Myller, Mordechai Ben-Ari, Erkki Sutinen
2004SIGCSEThe concorde doesn't fly anymore.Mordechai Ben-Ari
2004SIGCSEVirtual trees for the byzantine generals algorithm.Ahuva Tikvati, Mordechai Ben-Ari, Yifat Ben-David Kolikant
2002ITiCSEWriting a textbook.Mordechai Ben-Ari, Henry MacKay Walker, Gaynor Redvers-Mutton, Keith Mansfield
2000ITiCSEThe anthropology semaphores.Yifat Ben-David Kolikant, Mordechai Ben-Ari, Sarah Pollack
1999ITiCSEThinking parallel: the process of learning concurrency.Mordechai Ben-Ari, Yifat Ben-David Kolikant
1999ITiCSEDPLab: an environment for distributed programming.Mordechai Ben-Ari, Shawn Silverman
1998ITiCSERe-engineering a concurrency simulator.Yakov Persky, Mordechai Ben-Ari
1998ITiCSEDevelopment, implementation and evaluation of a course in expert systems for high-school students (poster).Noa Ragonis, Ehud Shapiro, Mordechai Ben-Ari, Zahava Scherz
1998SIGCSEConstructivism in computer science education.Mordechai Ben-Ari
1997ITiCSEDistributed algorithms in Java.Mordechai Ben-Ari
1996SIGCSEUsing inheritance to implement concurrency.Mordechai Ben-Ari
1982ICALPOn-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs.Mordechai Ben-Ari
1981ICALPFinite Models for Deterministic Propositional Dynamic Logic.Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
1981POPLThe Temporal Logic of Branching Time.Mordechai Ben-Ari, Zohar Manna, Amir Pnueli