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

Mordechai Ben-Ari Moti Ben-Ari Weizmann Institute of Science, Israel https://www.weizmann.ac.il/sci-tea/benari/ https://dl.acm.org/profile/99658646617 https://dl.acm.org/profile/81100485679 https://zbmath.org/authors/?q=ai:ben-ari.mordechai https://mathscinet.ams.org/mathscinet/MRAuthorID/200475 https://mathgenealogy.org/id.php?id=96897 https://en.wikipedia.org/wiki/Mordechai_Ben-Ari https://www.wikidata.org/entity/Q6909646 http://isni.org/isni/0000000114537341 https://id.loc.gov/authorities/names/n82018896 https://d-nb.info/gnd/121144844 https://awards.acm.org/award_winners/ben-ari_4577847

Fatima Kaloti-Hallak Michal Armoni Moti Ben-Ari The Effect of Robotics Activities on Learning the Engineering Design Process. 106-129 2019 18 Informatics Educ. 1 https://doi.org/10.15388/infedu.2019.05 https://www.wikidata.org/entity/Q128003140 db/journals/iie/iie18.html#Kaloti-HallakAB19

Mordechai Ben-Ari Francesco Mondada Elements of Robotics Springer 2018 1-308 978-3-319-62532-4 978-3-319-62533-1 https://doi.org/10.1007/978-3-319-62533-1 https://www.weizmann.ac.il/sci-tea/benari/research-activities/elements-robotics https://www.wikidata.org/entity/Q133504160

Mor Friebroon Yesharim Mordechai Ben-Ari Teaching Computer Science Concepts Through Robotics to Elementary School Children. 2018 2 Int. J. Comput. Sci. Educ. Sch. 3 https://doi.org/10.21585/ijcses.v2i3.30 db/journals/ijcses/ijcses2.html#YesharimB18

Moti Ben-Ari LearnSAT: A SAT Solver for Education. 639 2018 3 J. Open Source Softw. 24 https://doi.org/10.21105/joss.00639 https://www.wikidata.org/entity/Q113308150 db/journals/jossw/jossw3.html#Ben-Ari18

Mor Friebroon Yesharim Mordechai Ben-Ari Teaching Robotics Concepts to Elementary School Children. 77-87 2017 RiE https://doi.org/10.1007/978-3-319-62875-2_7 conf/rie/2017 db/conf/rie/rie2017.html#YesharimB17 Ronit Ben-Bassat Levy Mordechai Ben-Ari The Evaluation of Robotics Activities for Facilitating STEM Learning. 132-137 2017 RiE https://doi.org/10.1007/978-3-319-62875-2_12 conf/rie/2017 db/conf/rie/rie2017.html#LevyB17

Mordechai Ben-Ari In defense of programming. 44-46 2016 7 Inroads 1 https://doi.org/10.1145/2827858 https://www.wikidata.org/entity/Q125304339 db/journals/inroads/inroads7.html#Ben-Ari16

Rivka Taub Michal Armoni Esther Bagno Mordechai Ben-Ari The effect of computer science on physics learning in a computational science environment. 10-23 2015 87 Comput. Educ. https://doi.org/10.1016/j.compedu.2015.03.013 db/journals/ce/ce87.html#TaubABB15

Ronit Ben-Bassat Levy Mordechai Ben-Ari Robotics Activities-Is the Investment Worthwhile? 22-31 2015 ISSEP https://doi.org/10.1007/978-3-319-25396-1_3 conf/issep/2015 db/conf/issep/issep2015.html#LevyB15 Mordechai Ben-Ari In Defense of Programming. 2 2015 ITiCSE https://doi.org/10.1145/2729094.2742581 conf/iticse/2015 db/conf/iticse/iticse2015.html#Ben-Ari15 Stéphane Magnenat Mordechai Ben-Ari Severin Klingler Robert W. Sumner Enhancing Robot Programming with Visual Feedback and Augmented Reality. 153-158 2015 ITiCSE https://doi.org/10.1145/2729094.2742585 conf/iticse/2015 db/conf/iticse/iticse2015.html#MagnenatBKS15 Fatima Kaloti-Hallak Michal Armoni Mordechai Ben-Ari Students' Attitudes and Motivation During Robotics Activities. 102-110 2015 WiPSCE https://doi.org/10.1145/2818314.2818317 conf/wipsce/2015 db/conf/wipsce/wipsce2015.html#Kaloti-HallakAB15

Michal Armoni Orni Meerbaum-Salant Mordechai Ben-Ari From Scratch to "Real" Programming. 25:1-25:15 2014 14 ACM Trans. Comput. Educ. 4 https://doi.org/10.1145/2677087 db/journals/jeric/toce14.html#ArmoniMB14

Stéphane Magnenat Jiwon Shin Fanny Riedo Roland Siegwart Mordechai Ben-Ari Teaching a core CS concept through robotics. 315-320 2014 ITiCSE https://doi.org/10.1145/2591708.2591714 https://www.wikidata.org/entity/Q61457793 conf/iticse/2014 db/conf/iticse/iticse2014.html#MagnenatSRSB14 Rivka Taub Mordechai Ben-Ari Michal Armoni The effect of computer science on the learning of computational physics. 352 2014 ITiCSE https://doi.org/10.1145/2591708.2602668 conf/iticse/2014 db/conf/iticse/iticse2014.html#TaubBA14 Rivka Taub Michal Armoni Mordechai Ben-Ari Abstraction as a bridging concept between computer science and physics. 16-19 2014 WiPSCE https://doi.org/10.1145/2670757.2670777 conf/wipsce/2014 db/conf/wipsce/wipsce2014.html#TaubAB14

Orni Meerbaum-Salant Michal Armoni Mordechai Ben-Ari Learning computer science concepts with Scratch. 239-264 2013 23 Comput. Sci. Educ. 3 https://doi.org/10.1080/08993408.2013.832022 db/journals/csedu/csedu23.html#Meerbaum-SalantAB13

Mordechai Ben-Ari MOOCs on introductory programming: a travelogue. 58-61 2013 4 Inroads 2 https://doi.org/10.1145/2465085.2465102 db/journals/inroads/inroads4.html#Ben-Ari13

Mordechai Ben-Ari Dan Garcia 0001 Tom Murphy Introduction to the special issue on concurrent and parallel programming. 1:1-1:3 2013 13 ACM Trans. Comput. Educ. 1 https://doi.org/10.1145/2414446.2414447 db/journals/jeric/toce13.html#Ben-AriGM13

Rivka Taub Michal Armoni Mordechai Ben-Ari The Contribution of Computer Science to Learning Computational Physics. 127-137 2013 conf/issep/2013 ISSEP https://doi.org/10.1007/978-3-642-36617-8_11 db/conf/issep/issep2013.html#TaubAB13 Mordechai Ben-Ari LearnSAT: A SAT Solver for Education. 403-407 2013 SAT https://doi.org/10.1007/978-3-642-39071-5_30 conf/sat/2013 db/conf/sat/sat2013.html#Ben-Ari13 Mordechai Ben-Ari Mathematical Logic for Computer Science, 3rd Edition. I-XV, 1-346 Springer 2012 978-1-4471-4128-0 https://doi.org/10.1007/978-1-4471-4129-7 https://www.weizmann.ac.il/sci-tea/benari/research-activities/mathematical-logic-computer-science-third-edition

Mordechai Ben-Ari Fatima Kaloti-Hallak Demonstrating random and parallel algorithms with spin. 36-38 2012 3 Inroads 3 https://doi.org/10.1145/2339055.2339069 db/journals/inroads/inroads3.html#Ben-AriK12

Rivka Taub Michal Armoni Mordechai Ben-Ari CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS. 8:1-8:29 2012 12 ACM Trans. Comput. Educ. 2 https://doi.org/10.1145/2160547.2160551 db/journals/jeric/toce12.html#TaubAB12

Mordechai Ben-Ari Non-myths about programming. 35-37 2011 54 Commun. ACM 7 https://doi.org/10.1145/1965724.1965738 db/journals/cacm/cacm54.html#Ben-Ari11

Mordechai Ben-Ari Loop Constructs in scratch. 27-28 2011 2 Inroads 1 https://doi.org/10.1145/1929887.1929900 db/journals/inroads/inroads2.html#Ben-Ari11

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. 375-384 2011 22 J. Vis. Lang. Comput. 5 https://doi.org/10.1016/j.jvlc.2011.04.004 db/journals/vlc/vlc22.html#Ben-AriBLEMMS11

Jan Lönnberg Mordechai Ben-Ari Lauri Malmi Java replay for dependence-based debugging. 15-25 2011 PADTAD https://doi.org/10.1145/2002962.2002967 conf/issta/2011p db/conf/issta/padtad2011.html#LonnbergBM11 Orni Meerbaum-Salant Michal Armoni Mordechai Ben-Ari Habits of programming in scratch. 168-172 2011 ITiCSE https://doi.org/10.1145/1999747.1999796 conf/iticse/2011 db/conf/iticse/iticse2011.html#Meerbaum-SalantAB11 Andreas Leon Aagaard Moth Jørgen Villadsen Mordechai Ben-Ari SyntaxTrain: relieving the pain of learning syntax. 387 2011 ITiCSE https://doi.org/10.1145/1999747.1999900 conf/iticse/2011 db/conf/iticse/iticse2011.html#MothVB11 Jan Lönnberg Lauri Malmi Mordechai Ben-Ari Evaluating a visualisation of the execution of a concurrent program. 39-48 2011 Koli Calling https://doi.org/10.1145/2094131.2094139 conf/kolicalling/2011 db/conf/kolicalling/kolicalling2011.html#LonnbergMB11 Jan Lönnberg Mordechai Ben-Ari Lauri Malmi Visualising concurrent programs with dynamic dependence graphs. 1-4 2011 VISSOFT https://doi.org/10.1109/VISSOF.2011.6069456 conf/vissoft/2011 db/conf/vissoft/vissoft2011.html#LonnbergBM11

Mordechai Ben-Ari Objects never?: well, hardly ever! 32-35 2010 53 Commun. ACM 9 https://doi.org/10.1145/1810891.1810905 db/journals/cacm/cacm53.html#Ben-Ari10

Mordechai Ben-Ari A primer on model checking. 40-47 2010 1 Inroads 1 https://doi.org/10.1145/1721933.1721950 db/journals/inroads/inroads1.html#Ben-Ari10

Mordechai Ben-Ari Non-myths about programming. 1-2 2010 ICER https://doi.org/10.1145/1839594.1839595 conf/icer/2010 db/conf/icer/icer2010.html#Ben-Ari10 Orni Meerbaum-Salant Michal Armoni Mordechai Ben-Ari Learning computer science concepts with scratch. 69-76 2010 ICER https://doi.org/10.1145/1839594.1839607 conf/icer/2010 db/conf/icer/icer2010.html#Meerbaum-SalantAB10 Mordechai Ben-Ari Ada for Software Engineers - Second Edition with Ada 2005. I-XIV, 1-509 Springer 2009 978-1-8488-2313-6 https://doi.org/10.1007/978-1-84882-314-3

Ronit Ben-Bassat Levy Mordechai Ben-Ari Adapting and merging methodologies in doctoral research. 51-67 2009 19 Comput. Sci. Educ. 2 https://doi.org/10.1080/08993400902937550 db/journals/csedu/csedu19.html#LevyB09

Niko Myller Roman Bednarik Erkki Sutinen Mordechai Ben-Ari Extending the Engagement Taxonomy: Software Visualization and Collaborative Learning. 2009 9 ACM Trans. Comput. Educ. 1 https://doi.org/10.1145/1513593.1513600 db/journals/jeric/toce9.html#MyllerBSB09 7:1-7:27

Michal Armoni Mordechai Ben-Ari The concept of nondeterminism: its development and implications for teaching. 141-160 2009 41 ACM SIGCSE Bull. 2 https://doi.org/10.1145/1595453.1595495 db/journals/sigcse/sigcse41.html#ArmoniB09

Rivka Taub Mordechai Ben-Ari Michal Armoni The effect of CS unplugged on middle-school students' views of CS. 99-103 2009 ITiCSE https://doi.org/10.1145/1562877.1562912 https://doi.org/10.1145/1595496.1562912 conf/iticse/2009 db/conf/iticse/iticse2009.html#TaubBA09 Mordechai Ben-Ari Tool Presentation: Teaching Concurrency and Model Checking. 6-11 2009 SPIN https://doi.org/10.1007/978-3-642-02652-2_5 conf/spin/2009 db/conf/spin/spin2009.html#Ben-Ari09 Mordechai Ben-Ari Principles of the spin model checker. I-XV, 1-216 Springer 2008 978-1-84628-769-5 https://doi.org/10.1007/978-1-84628-770-1 Ronit Ben-Bassat Levy Mordechai Ben-Ari Perceived behavior control and its influence on the adoption of software tools. 169-173 2008 ITiCSE https://doi.org/10.1145/1384271.1384318 https://doi.org/10.1145/1597849.1384318 conf/iticse/2008 db/conf/iticse/iticse2008.html#LevyB08 Michal Armoni Noa Lewenstein Mordechai Ben-Ari Teaching students to think nondeterministically. 4-8 2008 SIGCSE https://doi.org/10.1145/1352135.1352141 https://doi.org/10.1145/1352322.1352141 conf/sigcse/2008 db/conf/sigcse/sigcse2008.html#ArmoniLB08

Cecile Yehezkel Mordechai Ben-Ari Tommy Dreyfus The contribution of visualization to learning computer architecture. 117-127 2007 17 Comput. Sci. Educ. 2 https://doi.org/10.1080/08993400601165545 db/journals/csedu/csedu17.html#YehezkelBD07

Ronit Ben-Bassat Levy Mordechai Ben-Ari We work so hard and they don't use it: acceptance of software tools by teachers. 246-250 2007 conf/iticse/2007 ITiCSE https://doi.org/10.1145/1268784.1268856 https://doi.org/10.1145/1269900.1268856 https://www.wikidata.org/entity/Q111898065 db/conf/iticse/iticse2007.html#LevyB07 Mordechai Ben-Ari Teaching concurrency and nondeterminism with spin. 363-364 2007 conf/iticse/2007 ITiCSE https://doi.org/10.1145/1268784.1268936 https://doi.org/10.1145/1269900.1268936 db/conf/iticse/iticse2007.html#Ben-Ari07

Jorma Sajaniemi Mordechai Ben-Ari Pauli Byckling Petri Gerdt Yevgeniya Kulikova Roles of variables in three programming paradigms. 261-279 2006 16 Comput. Sci. Educ. 4 https://doi.org/10.1080/08993400600874584 db/journals/csedu/csedu16.html#SajaniemiBBGK06

Mordechai Ben-Ari Tzippora Yeshno Conceptual models of software artifacts. 1336-1350 2006 18 Interact. Comput. 6 https://doi.org/10.1016/j.intcom.2006.03.005 db/journals/iwc/iwc18.html#Ben-AriY06

Mordechai Ben-Ari McKinley's Amazon. 75-77 2006 38 ACM SIGCSE Bull. 4 https://doi.org/10.1145/1189136.1189175 https://doi.org/10.1145/1189215.1189175 db/journals/sigcse/sigcse38.html#Ben-Ari06

Gil Ebel Mordechai Ben-Ari Affective effects of program visualization. 1-5 2006 ICER https://doi.org/10.1145/1151588.1151590 conf/icer/2006 db/conf/icer/icer2006.html#EbelB06 Shmuel Schwarz Mordechai Ben-Ari Why Don't They Do What We Want Them to Do. 6 2006 PPIG https://ppig.org/papers/2006-ppig-18th-schwarz/ conf/ppig/2006 db/conf/ppig/ppig2006.html#SchwarzB06

Noa Ragonis Mordechai Ben-Ari A long-term investigation of the comprehension of OOP concepts by novices. 203-221 2005 15 Comput. Sci. Educ. 3 https://doi.org/10.1080/08993400500224310 db/journals/csedu/csedu15.html#RagonisB05

Mordechai Ben-Ari Minesweeper as an NP-complete problem. 39-40 2005 37 ACM SIGCSE Bull. 4 https://doi.org/10.1145/1113847.1113873 https://www.wikidata.org/entity/Q130947747 db/journals/sigcse/sigcse37.html#Ben-Ari05

Cecile Yehezkel Mordechai Ben-Ari Tommy Dreyfus Computer architecture and mental models. 101-105 2005 conf/sigcse/2005 SIGCSE https://doi.org/10.1145/1047344.1047390 https://doi.org/10.1145/1047124.1047390 db/conf/sigcse/sigcse2005.html#YehezkelBD05 Mordechai Ben-Ari The concorde doesn't fly anymore. 196 2005 conf/sigcse/2005 SIGCSE https://doi.org/10.1145/1047344.1047354 https://doi.org/10.1145/1047124.1047354 db/conf/sigcse/sigcse2005.html#Ben-Ari05 Noa Ragonis Mordechai Ben-Ari On understanding the statics and dynamics of object-oriented programs. 226-230 2005 conf/sigcse/2005 SIGCSE https://doi.org/10.1145/1047344.1047425 https://doi.org/10.1145/1047124.1047425 https://www.wikidata.org/entity/Q130962587 db/conf/sigcse/sigcse2005.html#RagonisB05

Mordechai Ben-Ari Computer Science Education in High School. 1-2 2004 14 Comput. Sci. Educ. 1 https://doi.org/10.1076/csed.14.1.1.23498 db/journals/csedu/csedu14.html#Ben-Ari04

Mordechai Ben-Ari Situated Learning in Computer Science Education. 85-100 2004 14 Comput. Sci. Educ. 2 https://doi.org/10.1080/08993400412331363823 db/journals/csedu/csedu14.html#Ben-Ari04a

Andrés Moreno Niko Myller Erkki Sutinen Mordechai Ben-Ari Visualizing programs with Jeliot 3. 373-376 2004 conf/avi/2004 AVI https://doi.org/10.1145/989863.989928 https://www.wikidata.org/entity/Q56583170 db/conf/avi/avi2004.html#MorenoMSB04 Mordechai Ben-Ari Jorma Sajaniemi Roles of variables as seen by CS educators. 52-56 2004 ITiCSE https://doi.org/10.1145/1007996.1008013 https://doi.org/10.1145/1026487.1008013 conf/iticse/2004 db/conf/iticse/iticse2004.html#Ben-AriS04 Mordechai Ben-Ari Anders Berglund Shirley Booth Christian Holmboe What do we mean by theoretically sound research in computer science education? 230-231 2004 ITiCSE https://doi.org/10.1145/1007996.1008059 https://doi.org/10.1145/1026487.1008059 conf/iticse/2004 db/conf/iticse/iticse2004.html#Ben-AriBBH04 Mordechai Ben-Ari A suite of tools for teaching concurrency. 251 2004 ITiCSE https://doi.org/10.1145/1007996.1008083 https://doi.org/10.1145/1026487.1008083 conf/iticse/2004 db/conf/iticse/iticse2004.html#Ben-Ari04 Andrés Moreno Niko Myller Mordechai Ben-Ari Erkki Sutinen Program animation in jeliot 3. 265 2004 ITiCSE https://doi.org/10.1145/1007996.1008099 https://doi.org/10.1145/1026487.1008099 conf/iticse/2004 db/conf/iticse/iticse2004.html#MorenoMBS04 Mordechai Ben-Ari The concorde doesn't fly anymore. 1 2004 conf/sigcse/2004 SIGCSE https://doi.org/10.1145/971300.971301 https://doi.org/10.1145/1028174.971301 db/conf/sigcse/sigcse2004.html#Ben-Ari04 Ahuva Tikvati Mordechai Ben-Ari Yifat Ben-David Kolikant Virtual trees for the byzantine generals algorithm. 392-396 2004 conf/sigcse/2004 SIGCSE https://doi.org/10.1145/971300.971435 https://doi.org/10.1145/1028174.971435 db/conf/sigcse/sigcse2004.html#TikvatiBK04

Ronit Ben-Bassat Levy Mordechai Ben-Ari Pekka A. Uronen The Jeliot 2000 program animation system. 1-15 2003 40 Comput. Educ. 1 https://doi.org/10.1016/S0360-1315(02)00076-3 db/journals/ce/ce40.html#LevyBU03

Mordechai Ben-Ari Henry MacKay Walker Gaynor Redvers-Mutton Keith Mansfield Writing a textbook. 94-95 2002 ITiCSE https://doi.org/10.1145/544414.544444 https://doi.org/10.1145/637610.544444 conf/iticse/2002 db/conf/iticse/iticse2002.html#Ben-AriWRM02 Mordechai Ben-Ari Mathematical logic for computer science (2. ed.). I-XIV, 1-304 Springer 2001 978-1-85233-319-5

Mordechai Ben-Ari Alan Burns 0001 Extreme Interleavings. 2001 2 IEEE Distributed Syst. Online 1 db/journals/dsonline/dsonline2.html#Ben-AriB01

Mordechai Ben-Ari Interactive execution of distributed algorithms. 2 2001 1 ACM J. Educ. Resour. Comput. 2 db/journals/jeric/jeric1.html#Ben-Ari01 https://doi.org/10.1145/384055.384057

Mordechai Ben-Ari The bug that destroyed a rocket. 58-59 2001 33 ACM SIGCSE Bull. 2 https://doi.org/10.1145/571922.571958 db/journals/sigcse/sigcse33.html#Ben-Ari01

Mordechai Ben-Ari Niko Myller Erkki Sutinen Jorma Tarhio Perspectives on Program Animation with Jeliot. 31-45 2001 conf/dagstuhl/2001svis Software Visualization https://doi.org/10.1007/3-540-45875-1_3 db/conf/dagstuhl/svis2001.html#Ben-AriMST01 Tzippora Yeshno Mordechai Ben-Ari Salvation for Bricoleurs. 17 2001 PPIG https://ppig.org/papers/2001-ppig-13th-yeshno/ conf/ppig/2001 db/conf/ppig/ppig2001.html#YeshnoB01

Mordechai Ben-Ari How to Get a Good Review. 4-6 2000 32 ACM SIGCSE Bull. 2 https://doi.org/10.1145/355354.571920 db/journals/sigcse/sigcse32.html#Ben-Ari00

Ekaterina Sedletsky Amir Pnueli Mordechai Ben-Ari Formal Verification of the Ricart-Agrawala Algorithm. 325-335 2000 conf/fsttcs/2000 FSTTCS https://doi.org/10.1007/3-540-44450-5_26 db/conf/fsttcs/fsttcs2000.html#SedletskyPB00 Yifat Ben-David Kolikant Mordechai Ben-Ari Sarah Pollack The anthropology semaphores. 21-24 2000 ITiCSE https://doi.org/10.1145/343048.343061 https://doi.org/10.1145/353519.343061 conf/iticse/2000 db/conf/iticse/iticse2000.html#KolikantBP00 Mordechai Ben-Ari Yifat Ben-David Kolikant Thinking parallel: the process of learning concurrency. 13-16 1999 ITiCSE https://doi.org/10.1145/305786.305831 https://doi.org/10.1145/384267.305831 conf/iticse/1999 db/conf/iticse/iticse1999.html#Ben-AriK99 Mordechai Ben-Ari Shawn Silverman DPLab: an environment for distributed programming. 91-94 1999 ITiCSE https://doi.org/10.1145/305786.305875 https://doi.org/10.1145/384267.305875 conf/iticse/1999 db/conf/iticse/iticse1999.html#Ben-AriS99 Mordechai Ben-Ari Bricolage Forever! 12 1999 PPIG https://ppig.org/papers/1999-ppig-11th-benari/ conf/ppig/1999 db/conf/ppig/ppig1999.html#Ben-Ari99

Mordechai Ben-Ari How to solve the Santa Claus problem. 485-496 1998 10 Concurr. Pract. Exp. 6 db/journals/concurrency/concurrency10.html#Ben-Ari98 https://doi.org/10.1002/(SICI)1096-9128(199805)10:6<485::AID-CPE329>3.0.CO;2-2

Mordechai Ben-Ari Teaching Object-Oriented Programming in Ada. 39-45 1998 11 J. Object Oriented Program. 6 db/journals/joop/joop11.html#Ben-Ari98

Mordechai Ben-Ari Synchronizing Multiple Clients and Servers. 41-52 https://doi.org/10.1007/BFb0054993 1998 conf/adaEurope/1998 Ada-Europe db/conf/adaEurope/adaEurope1998.html#Ben-Ari98 Yakov Persky Mordechai Ben-Ari Re-engineering a concurrency simulator. 185-188 1998 ITiCSE https://doi.org/10.1145/282991.283117 https://doi.org/10.1145/290320.283117 conf/iticse/1998 db/conf/iticse/iticse1998.html#PerskyB98 Noa Ragonis Ehud Shapiro Mordechai Ben-Ari Zahava Scherz Development, implementation and evaluation of a course in expert systems for high-school students (poster). 300 1998 ITiCSE https://doi.org/10.1145/282991.283633 https://doi.org/10.1145/290320.283633 conf/iticse/1998 db/conf/iticse/iticse1998.html#RagonisSBS98 Mordechai Ben-Ari The Software Factory. 7 1998 PPIG https://ppig.org/papers/1998-ppig-10th-ben-ari/ conf/ppig/1998 db/conf/ppig/ppig1998.html#Ben-Ari98 Yoav Tzruya Mordechai Ben-Ari A Portable Implementation of the Distributed Systems Annex in Java. 204-211 1998 conf/sigada/1998 SIGAda https://doi.org/10.1145/289524.289620 db/conf/sigada/sigada98.html#TzruyaB98 Mordechai Ben-Ari Constructivism in computer science education. 257-261 1998 conf/sigcse/1998 SIGCSE https://doi.org/10.1145/273133.274308 https://doi.org/10.1145/274790.274308 https://www.wikidata.org/entity/Q55970412 db/conf/sigcse/sigcse1998.html#Ben-Ari98

Mordechai Ben-Ari Kevlin Henney A critique of the advanced placement C++ subset. 7-10 1997 29 ACM SIGCSE Bull. 2 https://doi.org/10.1145/271042.271046 db/journals/sigcse/sigcse29.html#Ben-AriH97

Mordechai Ben-Ari Distributed algorithms in Java. 62-64 1997 ITiCSE https://doi.org/10.1145/268819.268840 https://doi.org/10.1145/268809.268840 conf/iticse/1997 db/conf/iticse/iticse1997.html#Ben-Ari97

Mordechai Ben-Ari Structure exits, not loops. 51 1996 28 ACM SIGCSE Bull. 3 https://doi.org/10.1145/234867.234878 db/journals/sigcse/sigcse28.html#Ben-Ari96

Mordechai Ben-Ari Using inheritance to implement concurrency. 180-184 1996 conf/sigcse/1996 SIGCSE https://doi.org/10.1145/236452.236535 https://doi.org/10.1145/236462.236535 db/conf/sigcse/sigcse1996.html#Ben-Ari96 Mordechai Ben-Ari Mathematical logic for computer science. I-XI, 1-305 Prentice Hall 1993 Prentice Hall International series in computer science 978-0-13-564139-2 Mordechai Ben-Ari Principles of concurrent and distributed programming. I-X, 1-225 Prentice Hall 1990 PHI Series in computer science 978-0-13-711821-2 Mordechai Ben-Ari Ada requirements for small real-time systems. 159-165 1989 IRTAW https://doi.org/10.1145/91354.91384 conf/irtaw/1989 db/conf/irtaw/irtaw1989.html#Ben-Ari89

Mordechai Ben-Ari Foreet: A Tool for Design and Documentation of Fortran Programs. 915-924 1986 16 Softw. Pract. Exp. 10 db/journals/spe/spe16.html#Ben-Ari86 https://doi.org/10.1002/spe.4380161004

Mordechai Ben-Ari Grundlagen der Parallel-Programmierung. I-XIII, 1-162 Hanser 1985 978-3-446-14155-1

Mordechai Ben-Ari Algorithms for On-the-fly Garbage Collection. 333-344 1984 6 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/579.587 db/journals/toplas/toplas6.html#Ben-Ari84

Mordechai Ben-Ari Amir Pnueli Zohar Manna The Temporal Logic of Branching Time. 207-226 1983 20 Acta Informatica db/journals/acta/acta20.html#Ben-AriPM83 https://doi.org/10.1007/BF01257083

Mordechai Ben-Ari Principles of concurrent programming. I-XV, 1-172 Prentice Hall 1982 978-0-13-701078-3

Mordechai Ben-Ari Joseph Y. Halpern Amir Pnueli Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. 402-417 1982 25 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss25.html#Ben-AriHP82 https://doi.org/10.1016/0022-0000(82)90018-6

Mordechai Ben-Ari On-the-Fly Garbage Collection: New Algorithms Inspired by Program Proofs. 14-22 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#Ben-Ari82 https://doi.org/10.1007/BFb0012753 Mordechai Ben-Ari Complexity of proofs and models in programming logics Tel Aviv University, Israel 1981 Tel Aviv University Library https://tau.primo.exlibrisgroup.com/permalink/972TAU_INST/bai57q/alma990032574940204146

Mordechai Ben-Ari Amiram Yehudai A methodology for modular use of Ada. 22-26 1981 16 ACM SIGPLAN Notices 12 https://doi.org/10.1145/954262.954266 db/journals/sigplan/sigplan16.html#Ben-AriY81

Mordechai Ben-Ari Cheap Concurrent Programming. 1261-1264 1981 11 Softw. Pract. Exp. 12 db/journals/spe/spe11.html#Ben-Ari81 https://doi.org/10.1002/spe.4380111203

Mordechai Ben-Ari Joseph Y. Halpern Amir Pnueli Finite Models for Deterministic Propositional Dynamic Logic. 249-263 1981 conf/icalp/1981 ICALP db/conf/icalp/icalp81.html#Ben-AriHP81 https://doi.org/10.1007/3-540-10843-2_21 Mordechai Ben-Ari Zohar Manna Amir Pnueli The Temporal Logic of Branching Time. 164-176 1981 conf/popl/81 POPL db/conf/popl/popl81.html#Ben-AriMP81 https://doi.org/10.1145/567532.567551

Mordechai Ben-Ari A Simplified Proof That Regular Resolution is Exponential. 96-98 1980 10 Inf. Process. Lett. 2 db/journals/ipl/ipl10.html#Ben-Ari80 https://doi.org/10.1016/S0020-0190(80)90082-4

Mordechai Ben-Ari Comments on "Tautology Testing with a Generalized Matrix Reduction Method". 341 1980 11 Theor. Comput. Sci. db/journals/tcs/tcs11.html#Ben-Ari80 https://doi.org/10.1016/0304-3975(80)90022-5

Mordechai Ben-Ari On Transposing Large 2n × 2n Matrices. 72-75 1979 28 IEEE Trans. Computers 1 db/journals/tc/tc28.html#Ben-Ari79 https://doi.org/10.1109/TC.1979.1675228 http://doi.ieeecomputersociety.org/10.1109/TC.1979.1675228

Mordechai Ben-Ari Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. 117-125 1978 10 Acta Informatica db/journals/acta/acta10.html#Ben-Ari78 https://doi.org/10.1007/BF00289151

Michal Armoni Esther Bagno Roman Bednarik Anders Berglund Shirley Booth Alan Burns 0001 Pauli Byckling Tommy Dreyfus Gil Ebel Dan Garcia 0001 Petri Gerdt Joseph Y. Halpern Kevlin Henney Christian Holmboe Fatima Kaloti-Hallak Severin Klingler Yifat Ben-David Kolikant Yevgeniya Kulikova Ronit Ben-Bassat Levy Noa Lewenstein Jan Lönnberg Stéphane Magnenat Lauri Malmi Zohar Manna Keith Mansfield Orni Meerbaum-Salant Francesco Mondada Andrés Moreno Andreas Leon Aagaard Moth Tom Murphy Niko Myller Yakov Persky Amir Pnueli Sarah Pollack Noa Ragonis Gaynor Redvers-Mutton Fanny Riedo Jorma Sajaniemi Zahava Scherz Shmuel Schwarz Ekaterina Sedletsky Ehud Shapiro Jiwon Shin Roland Siegwart Shawn Silverman Robert W. Sumner Erkki Sutinen Jorma Tarhio Rivka Taub Ahuva Tikvati Yoav Tzruya Pekka A. Uronen Jørgen Villadsen Henry MacKay Walker Cecile Yehezkel Amiram Yehudai Mor Friebroon Yesharim Tzippora Yeshno