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
Pearson Education, 2006
1362*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
9141981
Constructivism in computer science education
M Ben-Ari
Journal of computers in Mathematics and Science Teaching 20 (1), 45-73, 2001
7662001
Constructivism in computer science education
M Ben-Ari
Acm sigcse bulletin 30 (1), 257-261, 1998
7051998
Learning computer science concepts with scratch
O Meerbaum-Salant, M Armoni, M Ben-Ari
Proceedings of the Sixth international workshop on Computing education …, 2010
6632010
Mathematical logic for computer science
M Ben-Ari
Springer Science & Business Media, 2012
6562012
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
4122004
Principles of the Spin model checker
M Ben-Ari
Springer Science & Business Media, 2008
3662008
From scratch to “real” programming
M Armoni, O Meerbaum-Salant, M Ben-Ari
ACM Transactions on Computing Education (TOCE) 14 (4), 1-15, 2015
3412015
The Jeliot 2000 program animation system
RBB Levy, M Ben-Ari, PA Uronen
Computers & Education 40 (1), 1-15, 2003
2922003
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
2722011
Elements of robotics
M Ben-Ari, F Mondada
Springer Nature, 2017
2052017
A long-term investigation of the comprehension of OOP concepts by novices
N Ragonis, M Ben-Ari
Routledge 15 (3), 203-221, 2005
1902005
Algorithms for on-the-fly garbage collection
M Ben-Ari
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (3), 333-344, 1984
1681984
Robots and their applications
M Ben-Ari, F Mondada, M Ben-Ari, F Mondada
Elements of robotics, 1-20, 2018
1572018
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
1512012
On understanding the statics and dynamics of object-oriented programs
N Ragonis, M Ben-Ari
ACM SIGCSE Bulletin 37 (1), 226-230, 2005
1312005
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
1252009
Situated learning in computer science education
M Ben-Ari
Computer Science Education 14 (2), 85-100, 2004
1252004
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
1131982
The system can't perform the operation now. Try again later.
Articles 1–20