Ben-Ari has published numerous textbooks in computer science, developed software tools for teaching Computer Science, and written influential papers in computer science education. His primary focus has been on books and tools for learning theoretical concepts in computer science, such as concurrency and mathematical logic.
In collaboration with the University of Joensuu in Finland, his group has developed the Jeliot program animation system for teaching elementary computer science and programming.
Ben-Ari received the 2004 ACMSIGCSE Award for Outstanding Contributions for Computer Science Education and was named an ACM Distinguished Educator in 2009.
^Ben-Ari, M. (1998). "Constructivism in computer science education". ACM SIGCSE Bulletin. 30: 257–261. doi:10.1145/274790.274308.
^Ben-Ari, M. (2006). Principles of Concurrent and Distributed Programming. Boston: Addison-Wesley (Second Edition). ISBN978-0-321-31283-9.
^Ben-Ari, M. (2012). Mathematical Logic for Computer Science (Third ed.). Berlin: Springer. ISBN978-1-4471-4128-0.
^Ben-Ari, M.; Bednarik, R.; Ben-Bassat Levy, R.; Ebel, G.; Moreno, A.; Myller, N.; Sutinen, E. (2011). "A decade of research and development on program animation: The Jeliot experience". Journal of Visual Languages and Computing. 22 (5): 375–384. doi:10.1016/j.jvlc.2011.04.004.