Principles of concurrent and distributed programming M Ben-Ari Pearson Education, 2006 | 1388* | 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 | 920 | 1981 |
Constructivism in computer science education M Ben-Ari Journal of computers in Mathematics and Science Teaching 20 (1), 45-73, 2001 | 794 | 2001 |
Constructivism in computer science education M Ben-Ari Acm sigcse bulletin 30 (1), 257-261, 1998 | 727 | 1998 |
Learning computer science concepts with scratch O Meerbaum-Salant, M Armoni, M Ben-Ari Proceedings of the Sixth international workshop on Computing education …, 2010 | 691 | 2010 |
Mathematical logic for computer science M Ben-Ari Springer Science & Business Media, 2012 | 680 | 2012 |
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 | 423 | 2004 |
Principles of the Spin model checker M Ben-Ari Springer Science & Business Media, 2008 | 373 | 2008 |
From scratch to “real” programming M Armoni, O Meerbaum-Salant, M Ben-Ari ACM Transactions on Computing Education (TOCE) 14 (4), 1-15, 2015 | 355 | 2015 |
The Jeliot 2000 program animation system RBB Levy, M Ben-Ari, PA Uronen Computers & Education 40 (1), 1-15, 2003 | 293 | 2003 |
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 | 279 | 2011 |
Elements of robotics M Ben-Ari, F Mondada Springer Nature, 2017 | 237 | 2017 |
A long-term investigation of the comprehension of OOP concepts by novices N Ragonis, M Ben-Ari Routledge 15 (3), 203-221, 2005 | 194 | 2005 |
Robots and their applications M Ben-Ari, F Mondada, M Ben-Ari, F Mondada Elements of robotics, 1-20, 2018 | 176 | 2018 |
Algorithms for on-the-fly garbage collection M Ben-Ari ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (3), 333-344, 1984 | 170 | 1984 |
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 | 166 | 2012 |
On understanding the statics and dynamics of object-oriented programs N Ragonis, M Ben-Ari ACM SIGCSE Bulletin 37 (1), 226-230, 2005 | 132 | 2005 |
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 | 128 | 2009 |
Situated learning in computer science education M Ben-Ari Computer Science Education 14 (2), 85-100, 2004 | 127 | 2004 |
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 | 114 | 1982 |