Mordechai (Moti) Ben-Ari
Mordechai (Moti) Ben-Ari
Bestätigte E-Mail-Adresse bei WEIZMANN.AC.IL - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Principles of concurrent and distributed programming
M Ben-Ari, M Ben-Arî
Pearson Education, 2006
1231*2006
The temporal logic of branching time
M Ben-Ari, A Pnueli, Z Manna
Acta informatica 20 (3), 207-226, 1983
8251983
Constructivism in computer science education
M Ben-Ari
Journal of Computers in Mathematics and Science Teaching 20 (1), 45-73, 2001
6362001
Constructivism in computer science education
M Ben-Ari
Acm sigcse bulletin 30 (1), 257-261, 1998
6011998
Mathematical logic for computer science
M Ben-Ari
Springer Science & Business Media, 2012
5502012
Learning computer science concepts with scratch
O Meerbaum-Salant, M Armoni, M Ben-Ari
Computer Science Education 23 (3), 239-264, 2013
4602013
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
3562004
Principles of the Spin model checker
M Ben-Ari
Springer Science & Business Media, 2008
3132008
The Jeliot 2000 program animation system
RBB Levy, M Ben-Ari, PA Uronen
Computers & Education 40 (1), 1-15, 2003
2672003
From scratch to “real” programming
M Armoni, O Meerbaum-Salant, M Ben-Ari
ACM Transactions on Computing Education (TOCE) 14 (4), 1-15, 2015
1872015
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
1832011
Algorithms for on-the-fly garbage collection
M Ben-Ari
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (3), 333-344, 1984
1561984
A long-term investigation of the comprehension of OOP concepts by novices
N Ragonis, M Ben-Ari
Routledge 15 (3), 203-221, 2005
1512005
On understanding the statics and dynamics of object-oriented programs
N Ragonis, M Ben-Ari
ACM SIGCSE Bulletin 37 (1), 226-230, 2005
1152005
Programming goes back to school
A Repenning
Communications of the ACM 55 (5), 38-40, 2012
113*2012
Situated learning in computer science education
M Ben-Ari
Computer Science Education 14 (2), 85-100, 2004
1062004
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
1041982
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
972009
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
912012
Just a theory: Exploring the nature of science
M Ben-Ari
Prometheus Books, 2011
782011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20