| Principles of concurrent and distributed programming M Ben-Ari Pearson Education, 2006 | 1393* | 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 | 923 | 1981 |
| Constructivism in computer science education M Ben-Ari Journal of computers in Mathematics and Science Teaching 20 (1), 45-73, 2001 | 799 | 2001 |
| Constructivism in computer science education M Ben-Ari Acm sigcse bulletin 30 (1), 257-261, 1998 | 733 | 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 | 704 | 2010 |
| Mathematical logic for computer science M Ben-Ari Springer Science & Business Media, 2012 | 685 | 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 | 426 | 2004 |
| Principles of the Spin model checker M Ben-Ari Springer Science & Business Media, 2008 | 376 | 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 | 363 | 2015 |
| The Jeliot 2000 program animation system RBB Levy, M Ben-Ari, PA Uronen Computers & Education 40 (1), 1-15, 2003 | 296 | 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 | 284 | 2011 |
| Elements of robotics M Ben-Ari, F Mondada Springer Nature, 2017 | 246 | 2017 |
| A long-term investigation of the comprehension of OOP concepts by novices N Ragonis, M Ben-Ari Routledge 15 (3), 203-221, 2005 | 196 | 2005 |
| Robots and their applications M Ben-Ari, F Mondada, M Ben-Ari, F Mondada Elements of robotics, 1-20, 2018 | 186 | 2018 |
| Algorithms for on-the-fly garbage collection M Ben-Ari ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (3), 333-344, 1984 | 171 | 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 | 168 | 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 | 130 | 2009 |
| Situated learning in computer science education M Ben-Ari Computer Science Education 14 (2), 85-100, 2004 | 128 | 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 |