{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T10:59:46Z","timestamp":1770202786858,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"DOI":"10.1145\/3736181.3747140","type":"proceedings-article","created":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T22:20:27Z","timestamp":1759184427000},"page":"197-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AutomaTutor 2.0: Competitive Game-based Learning of Automata Theory"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-2928-2122","authenticated-orcid":false,"given":"Steven","family":"Jordaan","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Pretoria, Pretoria, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9656-3240","authenticated-orcid":false,"given":"Nils","family":"Timm","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Pretoria, Pretoria, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3383456"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2015.10.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.31695\/IJASRE.2018.33016"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1080\/10002007088537484"},{"key":"e_1_3_2_1_5_1","volume-title":"Prem Chandra Saxena, and Chittaranjan Padmanabha Katti","author":"Chakraborty Pinaki","year":"2011","unstructured":"Pinaki Chakraborty, Prem Chandra Saxena, and Chittaranjan Padmanabha Katti. 2011. Fifty years of automata simulation: a review. acm inroads, Vol. 2, 4 (2011), 59-70."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1186\/s41239-023-00385-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11423-020-09794-1"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the International Conference on e-Learning. 80-4.","author":"Chuda Daniela","year":"2015","unstructured":"Daniela Chuda, Jakub Trizna, and Peter Kratky. 2015. Android automata simulator. In Proceedings of the International Conference on e-Learning. 80-4."},{"key":"e_1_3_2_1_9_1","first-page":"35","volume-title":"Proceedings of the","author":"Coffin Robert W","year":"1963","unstructured":"Robert W Coffin, Harry E Goheen, and Walter R Stahl. 1963. Simulation of a Turing machine on a digital computer. In Proceedings of the November 12-14, 1963, fall joint computer conference. 35-43."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141904.1141909"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384271.1384359"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69387-1_79"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/820127.820169"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/771322.771357"},{"key":"e_1_3_2_1_15_1","volume-title":"Formal Methods: Foundations and Applications","author":"Jordaan Steven","unstructured":"Steven Jordaan, Nils Timm, and Linda Marshall. 2024a. AutomaTutor: An Educational Mobile App for Teaching Automata Theory. In Formal Methods: Foundations and Applications, Haniel Barbosa and Yoni Zohar (Eds.). Springer Nature Switzerland, Cham, 131-140."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.18489\/sacj.v36i2.17844"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/cae.22353"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321420.321421"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.lmot.2020.101675"},{"key":"e_1_3_2_1_20_1","first-page":"310","volume-title":"MEDIA","volume":"93","author":"LoSacco Mark","year":"1993","unstructured":"Mark LoSacco and S Rodger. 1993. FLAP: A tool for drawing and simulating automata. MEDIA, Vol. 93 (1993), 310-317."},{"key":"e_1_3_2_1_21_1","volume-title":"Special Issue","author":"Mane Dadaso T","year":"2016","unstructured":"Dadaso T Mane, Sadanand S Howal, and Varsha T Lokare. 2016. Problem-based Learning using Simulation Tools for Automata Theory. Journal of Engineering Education Transformations, Special Issue (2016)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/cae.21944"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1709424.1709444"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/950566.950596"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/299649.299704"},{"key":"e_1_3_2_1_26_1","unstructured":"Susan H Rodger and Thomas W Finley. 2006. JFLAP: an interactive formal languages and automata package. Jones & Bartlett Learning."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508865.1509011"},{"key":"e_1_3_2_1_28_1","volume-title":"Brazilian Symposium on Computers in Education (Simp\u00f3sio Brasileiro de Inform\u00e1tica na Educa\u00e7ao-SBIE)","volume":"1","author":"Silva R\u00f4mulo C\u00e9sar","year":"2010","unstructured":"R\u00f4mulo C\u00e9sar Silva, Ricardo Luis Binsfeld, Izaura Maria Carelli, and Rodrigo Watanabe. 2010. Automata defense 2.0: reedi\u00e7ao de um jogo educacional para apoio em linguagens formais e aut\u00f4matos. In Brazilian Symposium on Computers in Education (Simp\u00f3sio Brasileiro de Inform\u00e1tica na Educa\u00e7ao-SBIE), Vol. 1."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/cae.22135"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-34644-7_45"},{"key":"e_1_3_2_1_31_1","volume-title":"Perceptions of teaching and learning automata theory in a college-level computer science course","author":"Weidmann Phoebe Kay","unstructured":"Phoebe Kay Weidmann. 2003. Perceptions of teaching and learning automata theory in a college-level computer science course. The University of Texas at Austin."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121460"}],"event":{"name":"CompEd 2025: ACM Global Computing Education Conference 2025","location":"Gaborone Botswana","acronym":"CompEd 2025","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the ACM Global Computing Education Conference 2025 - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3736181.3747140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T23:37:29Z","timestamp":1770161849000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3736181.3747140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"references-count":32,"alternative-id":["10.1145\/3736181.3747140","10.1145\/3736181"],"URL":"https:\/\/doi.org\/10.1145\/3736181.3747140","relation":{},"subject":[],"published":{"date-parts":[[2025,10,21]]},"assertion":[{"value":"2025-10-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}