{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:17:42Z","timestamp":1725488262614},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428121"},{"type":"electronic","value":"9783540455264"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45526-4_4","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T05:12:00Z","timestamp":1185858720000},"page":"39-47","source":"Crossref","is-referenced-by-count":3,"title":["Animation of the Generation and Computation of Finite Automata for Learning Software"],"prefix":"10.1007","author":[{"given":"Beatrix","family":"Braune","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Diehl","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Kerren","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,16]]},"reference":[{"key":"4_CR1","unstructured":"A. Alteneder. Visualize with the Help of Computers: Computergraphics and Computer Animations. Siemens, VCH (in German), 1993."},{"key":"4_CR2","unstructured":"M. H. Brown, M. A. Najork. Collaborative Active Textbooks: A Web-based Algorithm Animation System for an Electronic Classroom. SRC Research Report 142, DEC, 1996."},{"key":"4_CR3","unstructured":"M. H. Brown. Algorithm Animation. MIT Press, 1987."},{"key":"4_CR4","unstructured":"M. H. Brown. Zeus: A System for Algorithm Animation and Multi-View Editing. SRC Research Report 75, DEC, 1992."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"M. H. Brown. The 1992 SRC Algorithm Animation Festival. In IEEE Symp. on Visual Languages, pp. 116\u2013123, 1993.","DOI":"10.1109\/VL.1993.269587"},{"issue":"3","key":"4_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/964965.808596","volume":"18","author":"M. H. Brown","year":"1984","unstructured":"M. H. Brown, R. Sedgewick. A System for Algorithm Animation. In SIGGRAPH\u2019 84, Computer Graphics 18(3), pp. 177\u2013186, 1984.","journal-title":"SIGGRAPH\u2019 84, Computer Graphics"},{"key":"4_CR7","unstructured":"S. Diehl, T. Kunze, A. Placzek. GANIMAM: Generation of Interactive Animations of Abstract Maschines. In Proceedings of \u201cSmalltalkund Java in Industrie und Ausbildung STJA\u201997\u201d (in German), pp. 185\u2013190, Erfurt (Germany), 1997."},{"key":"4_CR8","unstructured":"S. Diehl, T. Kunze. Visualizing Principles of Abstract Machines by Generating Interactive Animations. In Proceedings of Workshop on Principles of Abstract Machines, Pisa (Italy), 1998."},{"key":"4_CR9","unstructured":"A. Hausner, D. P. Dobkin. Making Geometry Visible: an Introduction to the Animation of Geometric Algorithms. Computer Science Department, Princeton University, 1996."},{"key":"4_CR10","unstructured":"A. Kerren. Animation of the Semantical Analysis. Master\u2019s Thesis (in German), University of Saarland, Saarbrucken (Germany), 1997."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Kerren. Animation of the Semantical Analysis. In Proceedings of \u201c8. GIFachtagung Informatikund Schule INFOS99\u201d (in German), pp. 108\u2013120, Informatikak tuell, Springer, 1999.","DOI":"10.1007\/978-3-642-60238-2_9"},{"key":"4_CR12","unstructured":"G. Kohlmann. Visualization of the abstract P-Machine. Master\u2019s Thesis (in German), University of Saarland, Saarbrucken (Germany), 1995."},{"key":"4_CR13","unstructured":"I. Lemke. Development and Implementation of a Visualization Toolkit for Applications in Compiler Construction. Master\u2019s Thesis (in German), University of Saarland, Saarbrucken (Germany), 1994."},{"key":"4_CR14","unstructured":"I. Lemke, G. Sander. Visualization of Compiler Graphs. User Documentation, 1994."},{"key":"4_CR15","series-title":"Technical Report","volume-title":"Visualization of Compiler Graphs","author":"Sander. G","year":"1995","unstructured":"G. Sander. Visualization of Compiler Graphs. Technical Report, University of Saarland, Saarbrucken (Germany), 1995."},{"key":"4_CR16","volume-title":"Visualization Techniques for Compiler Construction","author":"Sander. G","year":"1996","unstructured":"G. Sander. Visualization Techniques for Compiler Construction. Dissertation (in German), University of Saarland, Saarbrucken (Germany), 1996."},{"key":"4_CR17","unstructured":"B. Shneiderman. Designing the User Interface: Strategies for Effective Human-Computer Interaction. 3rd Edition, Addison-Wesley, 1997."},{"issue":"2","key":"4_CR18","first-page":"258","volume":"18","author":"J. T. Stasko","year":"1990","unstructured":"J. T. Stasko. A Framework and System for Algorithm Animation. Computer, 18(2), pp. 258\u2013264, 1990.","journal-title":"Computer"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"J. T. Stasko. The Path-Transition Paradigm: A Practical Methodology for Adding Animation to Program Interfaces. Journal of Visual Languages and Computing (1), pp. 213\u2013236, 1990.","DOI":"10.1016\/S1045-926X(05)80007-2"},{"key":"4_CR20","series-title":"Technical Report","volume-title":"Using Student-Built Algorithm Animations as Learning Aids","author":"J. T. Stasko","year":"1996","unstructured":"J. T. Stasko. Using Student-Built Algorithm Animations as Learning Aids. Technical Report GIT-GVU-96-19, Georgia Institute of Technology, Atlanta, 1996."},{"key":"4_CR21","volume-title":"Visualization of the abstract Machine MaMa","author":"Steiner. B","year":"1992","unstructured":"B. Steiner. Visualization of the abstract Machine MaMa. Master\u2019s Thesis (in German), University of Saarland, Saarbrucken (Germany), 1992."},{"key":"4_CR22","volume-title":"Visualization of the abstract Machine WiM","author":"Wirtz. S","year":"1995","unstructured":"S. Wirtz. Visualization of the abstract Machine WiM. Master\u2019s Thesis (in German), University of Saarland, Saarbrucken (Germany), 1995."},{"key":"4_CR23","unstructured":"R. Wilhelm, D. Maurer. Compiler Design: Theory, Construction, Generation. Addison-Wesley, 1995."}],"container-title":["Lecture Notes in Computer Science","Automata Implementation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45526-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:50:12Z","timestamp":1556725812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45526-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428121","9783540455264"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45526-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}