Publications and Presentations

Text books

  • Armoni, M. and Ben-Ari, M. (2010). Computer Science Concepts in Scratch, Rehovot, Israel: Weizmann Institute of Science. (192 p., in Hebrew).
  • Armoni, M., Bnaya, T., Bilczyk (Soffrin), Y., Gradovitch, N., Green, A. and Menashe, E. (2007). Fundamentals of Computer Science Vol. 2 (of 2), Tel-Aviv University, Haifa: Israel: Hashraa (in Hebrew).
  • Armoni, M., Bnaya, T., Bilczyk (Soffrin), Y., Gradovitch, N., Green, A. and Menashe, E. (2006). Fundamentals of Computer Science Vol. 1 (of 2), Tel-Aviv University, Haifa: Israel: Hashraa (in Hebrew).
  • Armoni, M. and Kaufmann Y. (1998). Computational Models, Tel-Aviv, Israel: The Open University press, (223 p., in Hebrew).
  • Armoni, M. and Bargury-Zur I. (1998). Computational Models – Teacher Guide, Tel-Aviv, Israel: The Open University press, (277 p., in Hebrew).

Papers in refereed journals

  • Alexandron, G., Armoni, M., Gordon, M., & Harel, D. (2016). Teaching nondeterminism through programming. Informatics in Education 15(1), 1-23.
  • Kaloti-Hallak, F., Armoni, M., Ben-Ari, M. (2015). The effectiveness of robotics competitions on students' learning of computer science. International Olympiad in Informatics 9, 89-112.
  • Taub, R., Armoni, M., Bagno, E., & Ben-Ari, M. (2015). The effect of computer science on physics understanding in a computational science environment. Computers & Education 87, 10-23.
  • Armoni, M., Meerbaum-Salant, O., & Ben-Ari, M. (2015). From Scratch to “Real” Programming. ACM Transactions on Computing Education, 14(4), 25:1-15. doi: 10.1145/2677087
  • Armoni, M. & Gal-Ezer, J. (2014). Early computing education – why? What? When? How? ACM Inroads, 5(4), 54-59. doi: 10.1145/2684721.2684734
  • Alexandron, G., Armoni, M., Gordon, G., and Harel, D. (2014). Scenario-based programming, usability-oriented perception. ACM Transactions on Computing Education, 14(3), 21:1-23. doi: 10.1145/2648814
  • Armoni. M. and Gal-Ezer, J. (2014). High School Computer Science Education Paves the Way for Higher Education – the Israeli Case. Computer Science Education. doi: 10.1080/08993408.2014.936655
  • Meerbaum-Salant, O., Armoni, M., and Ben-Ari, M. (2013). Learning Computer Science Concepts with Scratch. Computer Science Education, 23(3), 239-264. doi: 10.1080/08993408.2013.832022
  • Armoni, M. (2013). On Teaching Abstraction in CS to Novices. Journal of Computers in Mathematics and Science Teaching, 32(3), 265-284.
  • Taub, R., Armoni, M., and Ben-Ari, M. (2012). CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS. ACM Transactions on Computing Education, 12(2), 8:1-29. doi: 10.1145/2160547.2160551
  • Armoni, M. (2011). Looking at secondary teacher preparation and certification through the lenses of computer science. ACM Transactions on Computing Education, 11(4), 23:1-38. doi: 10.1145/2048931.2048934
  • Armoni, M. (2009). Reduction in CS: A (mostly) quantitative analysis of reductive solutions to algorithmic problems. Journal on Educational Resources in Computing, 8(4), 11:1-30. doi: 10.1145/1482348.1482350
  • Armoni, M. and Ginat, D. (2008). Reversing: A fundamental idea in computer science. Computer Science Education, 18(3), 213-230. doi: 10.1080/08993400802332670
  • Armoni, M. and Ben-Ari, M. (2008). The concept of nondeterminism: Its development and implications for teaching. Science & Education, 18(8), 1005-1030. doi: 10.1007/s11191-008-9147-5. Reprinted in Inroads – SIGCSE Bulletin (2009), 41(2), 141-160. doi: 10.1145/1595453.1595495
  • Armoni, M. and Gal-Ezer, J. (2007). Non-determinism: An abstract concept in computer science studies. Computer Science Education, 17(4), 243-262. doi: 10.1080/08993400701442885
  • Armoni, M., Gal-Ezer, J. and Hazzan O. (2006). Reductive thinking in computer science, Computer Science Education, 16(4), 281-301. doi: 10.1080/08993400600937845
  • Armoni, M. (2006). On the role of proofs in a course on design and analysis of algorithms, Inroads - the SIGCSE Bulletin, 38(4), 39-42. doi: 10.1145/1189136.1189165
  • Armoni, M. and Gal-Ezer, J. (2006). Introducing non-determinism, Journal of Computers in Mathematics and Science Teaching, 25(4), 325-359.
  • Armoni, M. and Gal-Ezer, J. (2005). Teaching reductive thinking, Mathematics and Computer Education, 39(2), 131-142.
  • Armoni, M., Gal-Ezer, J. and Tirosh, D. (2005). Solving problems reductively, Journal of Educational Computing Research, 32(2), 113-129. doi: 10.2190/6PCM-447V-WF7B-QEUF

Papers in refereed conferences

  • Kaloti-Hallak, F., Armoni, M., & Ben-Ari, M. (2015). Students' attitudes and motivation during robotics activities. Proceedings of the 10th Workshop in Primary and Secondary Computing Education (WiPSCE2015, London, UK). (pp. 102-110). New-York, NY: ACM. doi: 10.1145/2818314.281831
  • Taub, R., Armoni, M., & Ben-Ari, M. (2014). Abstraction as a bridging concept between computer science and physics. Proceedings of the 9th Workshop in Primary and Secondary Computing Education (WiPSCE2014, Berlin, Germany). (pp.16-19). New-York, NY: ACM. doi: 10.1145/2670757.2670777
  • Alexandron, G., Armoni, M., Gordon, G., and Harel, D. (2014). Scenario-based programming: Reducing the cognitive load, fostering abstract thinking. Companion Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, 311-320. doi: 10.1145/2591062.2591167
  • Alexandron, G., Armoni, M., Gordon, G., and Harel, D. (2013). On Teaching Programming with Nondeterminism. Proceedings of the 8th Workshop in Primary and Secondary Computing Education (WiPSCE 2013), 71-74. doi: 10.1145/2532748.2532762
  • Taub, R., Armoni, M., and Ben-Ari, M. (2013). The Contribution of Computer Science to Learning Computational Physics. Proceedings of the 6th International Conference on Informatics in Schools (ISSEP 2013). In I. Diethelm and R. Mittermeir, (Eds.) Lecture Notes in Computer Science, 7780, 127-137. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-642-36617-8_11
  • Alexandron, G., Armoni, M., Gordon, G., and Harel, D. (2012). The Effect of Previous Programming Experience on the Learning of Scenario-Based Programming. Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 151-159. doi: 10.1145/2401796.2401821
  • Alexandron, G., Armoni, M., and Harel, D. (2011). Programming with the User in Mind. Proceedings of the Annual Conference of the Psychology of Programming Interest Group. (PPIG 2011). url: http://www.ppig.org/papers/23/20%20Alexandron.pdf
  • Hubwieser, P., Armoni, M., Brinda, T., Dagiene, V., Diethelm, I., Giannakos, M. N., Knobelsdorf, M., Magenheim, J., Mittermeir, R., Schubert, S. (2011). Computer Science/Informatics in Secondary Education. Proceedings of the 16th annual conference reports on Innovation and technology in computer science education - working group reports, 19-38. doi: 10.1145/2078856.2078859
  • Meerbaum-Salant, O., Armoni, M., and Ben-Ari, M. (2011). Habits of programming in Scratch. Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE11), 168-172. doi: 10.1145/1999747.1999796
  • Meerbaum-Salant, O., Armoni, M., and Ben-Ari, M. (2010). Learning Computer Science Concepts with Scratch. Proceedings of the Sixth International Workshop on Computing Education Research (ICER10), 69-76. Attendees' Best Conference Paper Award. doi: 10.1145/1839594.1839607
  • Armoni, M., Benaya, T., Ginat, D., and Zur, E. (2010). Didactics of introduction to computer science in high school. Proceedings of the 4th International Conference on Informatics in Secondary Schools (ISSEP2010). In J. Hromkovic, R.  Královic, and J. Vahrenhold, (Eds.) Lecture Notes in Computer Science, 5941, 36-48. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-642-11376-5_5
  • Taub, R., Ben-Ari, M. and Armoni, M. (2009). The Effect of CS Unplugged on Middle-School Students' Views of CS. Proceedings ofthe 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, (ITiCSE09), 99-103. doi: 10.1145/1562877.1562912
  • Schocken, S., Nisan, N., and Armoni, M. (2009). A Synthesis Course in Hardware Architecture, Compilers, and Software Engineering. Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education (SIGCSE09), 443-447. doi: 10.1145/1508865.1509021
  • Armoni, M. (2008). Reductive Thinking in a quantitative perspective: The case of the algorithm course. Proceedings of the 13thAnnual SIGCSE Conference on Innovation and Technology in Computer Science Education, (ITiCSE08), 53-57. doi: 10.1145/1384271.1384288
  • Armoni, M., Lewenstein, N. and Ben-Ari, M. (2008). Teaching students to think nondeterministically. Proceedings of the 39thSIGCSE Technical Symposium on Computer Science Education (SIGCSE08), 4-8. doi: 10.1145/1352135.1352141. Included in the 2009 Winter Issue of Annals of Research in Engineering Education (AREE), 4(2).
  • Armoni, M., Gal-Ezer, J. and Hazzan O. (2006). Reductive thinking in undergraduate CS courses. Proceedings of the 11th Annual SIGCSE conference on Innovation and Technology in Computer Science Education (ITiCSE06), 133-137. doi: 10.1145/1140124.1140161. Included in the 2007 Summer Issue of Annals of Research in Engineering Education (AREE), 3(2).
  • Armoni, M. and Gal-Ezer, J. (2006). Reduction – an abstract thinking pattern: The case of the computational models course, Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education (SIGCSE06), 389-393. doi: 10.1145/1121341.1121461
  • Ginat, D. and Armoni, M. (2006). Reversing: An essential heuristic in program and proof design, Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education (SIGCSE06), 469-473. doi: 10.1145/1121341.1121488. Included in the 2009 Spring/Summer Issue of Annals of Research in Engineering Education (AREE), 4(3).
  • Armoni, M. and Gal-Ezer, J. (2004). On the achievements of high school students studying computational models, Proceedings of the 9th Annual SIGCSE conference on Innovation and Technology in Computer Science Education (ITiCSE04), 17-21. doi: 10.1145/1007996.1008004
  • Armoni, M. and Gal-Ezer, J. (2003). Non-determinism in CS high-school curricula, Proceedings of the 33rd ASEE/IEEE Frontiers in Education Conference (FIE03), F2C-18-23. url: http://fie-conference.org/fie2003/

Edited Journal Issues

  • McCartney, R., Tenenberg, J., Hubwieser, P., Armoni, M., & Giannakos, M. N. Eds. (2015). Second Special Issue on Computing Education in (K-12) Schools. ACM Transactions on Computing Education 15(2).
  • McCartney, R., Tenenberg, J., Hubwieser, P., Armoni, M., Giannakos, M. N., and Mittermeir, R. T., Eds. (2014). Special Issue on Computing Education in (K-12) Schools. ACM Transactions on Computing Education 14(2).
  • Abstracts in refereed conferences
  • Armoni, M. (2004), Reductive thinking: how to teach it? Proceedings of the 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE04), p. 280.

Posters

  • Statter, D. and Armoni. M. (2015). Teaching abstraction in computer science in middle-schools using Scratch. Poster presented at the 7th Scratch Conference (Scratch2015AMS, Amsterdam, the Netherlands).
  • Taub, R., Armoni, M., & Ben-Ari, M. (2014). Proceedings of the 19th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE14, Uppsala, Sweden), p. 352. doi: 10.1145/2591708.2602668
  • Armoni, M. and Gal-Ezer, J. (2005). Reductive thinking in undergraduate CS courses: A preliminary study, Proceedings of the 10thAnnual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE05), p. 362.

Panels and discussions

  • Birds of a Feather session co-facilitator: Armoni, M. and Verma, R., The automata and formal language course: Its central role in the computer science undergraduate curriculum, The 38th SIGCSE Technical Symposium on Computer Science Education, Covington, KY, March 2007 (abstract in p. 594 of the proceedings).
  • Armoni, M., Rodger, S., Vardi, M. and Verma, R. (2006). Automata theory – its relevance to computer science students and course contents, Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education (SIGCSE06), 197-198.

Other Publications

  • Armoni, M. (2009 – present). Computing in schools – a featured column published every 6 months. ACM Inroads Magazine.
  • Taub, R., Armoni, M., Ben-Ari, M. (2014). The effect of computer science and active simulation design on physics learning. Proceedings of the 9th Chais Conference for the Study of Innovation and Learning Technologies.
  • Ericson, B., Armoni, M., Gal-Ezer, J., Seehorn, D., Stephenson, C., and Trees, F., CSTA Teacher Certification Task Force (2008). Ensuring Exemplary Teaching in an Essential Discipline: Addressing the Crisis in Computer Science Teacher Certification. New-York: ACM Press.
  • Armoni, M. and Hazzan O. (2006). Reductive thinking in computer science, Hebetim, Journal of Machsava: Israel National Center for Computer Science Teachers, 56-59 (In Hebrew).
  • Beer, I., Dvir [Armoni], M. Kozitza, B., Lichtenstein, Y., Mack, S., Wright, J. N., Rappaport, E., Schmierer, Q. and Zandman, Y. (1993). VHDL Test Coverage in a BDLS/AUSSIM Environment, Technical Report 88.342, IBM Science and Technology, Haifa, Israel.
  • Ben-David, S. and Dvir [Armoni], M. (1992). A Model Theoretic Analysis of Non-Provability in Arithmetic, Technion, TR.

Submitted papers

  • Alexandron, G., Armoni, M., Gordon, M., & Harel, D. Teaching Scenario-Based Programming: An Additional Paradigm for the High School Computer Science Curriculum.
  • Kaloti-Hallak, F., Armoni, M., & Ben-Ari, M. Students' attitudes and motivation during robotics activities. The Effect of Robotics Activities on Learning the Engineering Design Process.
  • Taub, R., Armoni, M., & Ben-Ari, M. Abstraction as a bridging concept between computer science and physics. Physics Conceptual Understanding in a Computational Science Course.
  • Armoni, M. & Gal-Ezer, J. The effect of high-school CS on students' decision to pursue computing in higher education.
  • Statter, D. and Armoni. M. Teaching Abstract Thinking in Introduction to Computer Science for 7th Graders.

Presentations

Local conferences

  • Computer science concepts in Scratch (December 2009). The Tenth Annual Conference of the Israeli Computer Science and Information Technologies Teachers, Ben-Gurion University, Israel,
  • Reductive thinking in computer science (December 2005). The Sixth Annual Conference of the Israeli Computer Science and Information Technologies Teachers, Achva College, Israel.

Colloquia in Israel

  • On teaching and learning non-determinism, a fundamental idea of CS (December 2013). CS colloquium, Department of Computer Science, Bar-Ilan University.
  • Reduction as a CS habit of mind (May 2013). CS colloquium, School of Computer Science, Tel-Aviv University.
  • Reduction as a CS habit of mind (February 2009). CS colloquium, Faculty of Mathematics and Computer Science, Weizmann Institute of Science.
  • On non-determinism in computer Science (June 2008). Department of Science Teaching, Weizmann Institute of Science.
  • Reductive thinking in undergraduate courses (an updated version) (July 2007). Department of Education in Science and Technology, Technion, Israel Institute of Technology.
  • Reductive thinking in undergraduate courses (March 2007). Science Teaching Department, School of Education, Tel-Aviv University.
  • On computer science education:  the case of reductive thinking (November 2006). Computer Science Department, Haifa University.
  • Current research in computer science education – what can we learn from it about teaching computer science? (January 2005). Computer Science Department, Ben-Gurion University of the Negev.