{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:59Z","timestamp":1772163959496,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,27]]},"DOI":"10.1145\/1067445.1067535","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"325-329","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A visual and interactive automata theory course emphasizing breadth of automata"],"prefix":"10.1145","author":[{"given":"Rakesh M.","family":"Verma","sequence":"first","affiliation":[{"name":"University of Houston, Houston, TX"}]}],"member":"320","published-online":{"date-parts":[[2005,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"uring's world 3.0. {CSLI} lecture notes no. 35. {CSLI} publications. echnical report","author":"Barwise Jon","year":"1993","unstructured":"Jon Barwise and John Etchemendy . uring's world 3.0. {CSLI} lecture notes no. 35. {CSLI} publications. echnical report , Stanford University , 1993 .]] Jon Barwise and John Etchemendy. uring's world 3.0. {CSLI} lecture notes no. 35. {CSLI} publications. echnical report, Stanford University, 1993.]]"},{"key":"e_1_3_2_1_2_1","first-page":"93","volume-title":"The Digital Phoenix: How Computers are Changing Philosophy}","author":"Barwise Jon","year":"1998","unstructured":"Jon Barwise and John Etchemendy . Computers, visualization and the nature of reasoning . In T.W. Bynum and James H. Moor, editors, The Digital Phoenix: How Computers are Changing Philosophy} , pages 93 -- 116 . London : Blackwell , 1998 .]] Jon Barwise and John Etchemendy. Computers, visualization and the nature of reasoning. In T.W. Bynum and James H. Moor, editors, The Digital Phoenix: How Computers are Changing Philosophy}, pages 93--116. London: Blackwell, 1998.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/971300.971349"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/782941.782975"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008002"},{"key":"e_1_3_2_1_6_1","volume-title":"Available on the Web","author":"Comon H.","year":"1999","unstructured":"H. Comon , M. Dauchet , R. Gilleron , Tree Automata Techniques and Applications . Available on the Web , 1999 .]] H. Comon, M. Dauchet, R. Gilleron, et al. Tree Automata Techniques and Applications. Available on the Web, 1999.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90022-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50011-4"},{"key":"e_1_3_2_1_9_1","unstructured":"A collection of Links to Finite State Machine software. http:\/\/www.csd.uwo.ca\/research\/grail\/links.html.]]  A collection of Links to Finite State Machine software. http:\/\/www.csd.uwo.ca\/research\/grail\/links.html.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/384266.299800"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/563340.563364"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/611892.611958"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/563340.563488"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008094"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/544414.544461"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2002.0237"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/330908.331800"},{"key":"e_1_3_2_1_18_1","volume-title":"Elements of the theory of Computation","author":"Lewis H. R.","year":"1998","unstructured":"H. R. Lewis and C. H. Papadimitriou . Elements of the theory of Computation . Prentice Hall , 1998 .]] H. R. Lewis and C. H. Papadimitriou. Elements of the theory of Computation. Prentice Hall, 1998.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"a Formal Model for XML Schemata\". Web page","author":"Murata M.","year":"1999","unstructured":"M. Murata . \" Hedge Automata : a Formal Model for XML Schemata\". Web page , 1999 . citeseer.nj.nec.com\/murata99hedge.html.]] M. Murata. \"Hedge Automata: a Formal Model for XML Schemata\". Web page, 1999. citeseer.nj.nec.com\/murata99hedge.html.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/960568.782998"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/299649.299704"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/268085.268089"},{"key":"e_1_3_2_1_23_1","volume-title":"Introduction to the Theory of Computation","author":"Sipser M.","year":"1997","unstructured":"M. Sipser . Introduction to the Theory of Computation . PWS Publishing Co. , 1997 .]] M. Sipser. Introduction to the Theory of Computation. PWS Publishing Co., 1997.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/645868.668514"},{"key":"e_1_3_2_1_25_1","first-page":"252","volume-title":"Proc. Conf. on Rewriting Techniques & Applications","author":"Rakesh","year":"1999","unstructured":"Rakesh M. Verma and Shalitha A. Senanayake. LR2: A laboratory for rapid term graph rewriting . In Proc. Conf. on Rewriting Techniques & Applications , pages 252 -- 255 , 1999 .]] Rakesh M. Verma and Shalitha A. Senanayake. LR2: A laboratory for rapid term graph rewriting. In Proc. Conf. on Rewriting Techniques & Applications, pages 252--255, 1999.]]"},{"key":"e_1_3_2_1_26_1","volume-title":"Compiler Design","author":"Wilhelm R.","year":"1997","unstructured":"R. Wilhelm and D. Maurer . Compiler Design . Addison Wesley , 1997 .]] R. Wilhelm and D. Maurer. Compiler Design. Addison Wesley, 1997.]]"}],"event":{"name":"ITiCSE05: Innovation and Technology in Computer Science Education","location":"Caparica Portugal","acronym":"ITiCSE05","sponsor":["ACM Association for Computing Machinery","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1067445.1067535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:11:26Z","timestamp":1693822286000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1067445.1067535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6,27]]},"references-count":26,"alternative-id":["10.1145\/1067445.1067535","10.1145\/1067445"],"URL":"https:\/\/doi.org\/10.1145\/1067445.1067535","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1151954.1067535","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,27]]},"assertion":[{"value":"2005-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}