Follow
Mordechai (Moti) Ben-Ari
Mordechai (Moti) Ben-Ari
Verified email at WEIZMANN.AC.IL - Homepage
Title
Cited by
Cited by
Year
Principles of concurrent and distributed programming
M Ben-Ari, M Ben-ArÓ
Pearson Education, 2006
1297*2006
The temporal logic of branching time
M Ben-Ari, Z Manna, A Pnueli
Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of†…, 1981
8781981
Constructivism in computer science education
M Ben-Ari
Journal of Computers in Mathematics and Science Teaching 20 (1), 45-73, 2001
7052001
Constructivism in computer science education
M Ben-Ari
Acm sigcse bulletin 30 (1), 257-261, 1998
6581998
Mathematical logic for computer science
M Ben-Ari
Springer Science & Business Media, 2012
6252012
Learning computer science concepts with scratch
O Meerbaum-Salant, M Armoni, M Ben-Ari
Proceedings of the Sixth international workshop on Computing education†…, 2010
5792010
Visualizing programs with Jeliot 3
A Moreno, N Myller, E Sutinen, M Ben-Ari
Proceedings of the working conference on Advanced visual interfaces, 373-376, 2004
3942004
Principles of the Spin model checker
M Ben-Ari
Springer Science & Business Media, 2008
3462008
The Jeliot 2000 program animation system
RBB Levy, M Ben-Ari, PA Uronen
Computers & Education 40 (1), 1-15, 2003
2772003
From scratch to “real” programming
M Armoni, O Meerbaum-Salant, M Ben-Ari
ACM Transactions on Computing Education (TOCE) 14 (4), 1-15, 2015
2712015
Habits of programming in scratch
O Meerbaum-Salant, M Armoni, M Ben-Ari
Proceedings of the 16th annual joint conference on Innovation and technology†…, 2011
2272011
A long-term investigation of the comprehension of OOP concepts by novices
N Ragonis, M Ben-Ari
Routledge 15 (3), 203-221, 2005
1702005
Algorithms for on-the-fly garbage collection
M Ben-Ari
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (3), 333-344, 1984
1521984
Elements of robotics
M Ben-Ari, F Mondada
Springer Nature, 2017
1402017
CS unplugged and middle-school students’ views, attitudes, and intentions regarding CS
R Taub, M Armoni, M Ben-Ari
ACM Transactions on Computing Education (TOCE) 12 (2), 1-29, 2012
1312012
On understanding the statics and dynamics of object-oriented programs
N Ragonis, M Ben-Ari
ACM SIGCSE Bulletin 37 (1), 226-230, 2005
1282005
Situated learning in computer science education
M Ben-Ari
Computer Science Education 14 (2), 85-100, 2004
1152004
Extending the engagement taxonomy: Software visualization and collaborative learning
N Myller, R Bednarik, E Sutinen, M Ben-Ari
ACM Transactions on Computing Education (TOCE) 9 (1), 1-27, 2009
1142009
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
M Ben-Ari, JY Halpern, A Pnueli
Journal of computer and system sciences 25 (3), 402-417, 1982
1061982
Robots and their applications
M Ben-Ari, F Mondada
Elements of robotics, 1-20, 2018
1032018
The system can't perform the operation now. Try again later.
Articles 1–20