{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:25Z","timestamp":1775054065283,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433231","type":"print"},{"value":"9783540458753","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45875-1_2","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:29Z","timestamp":1184602649000},"page":"16-30","source":"Crossref","is-referenced-by-count":14,"title":["Specifying Algorithm Visualizations: Interesting Events or State Mapping?"],"prefix":"10.1007","author":[{"given":"Camil","family":"Demetrescu","sequence":"first","affiliation":[]},{"given":"Irene","family":"Finocchi","sequence":"additional","affiliation":[]},{"given":"John T.","family":"Stasko","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"2_CR1","unstructured":"R.K. Ahuja, T.L. Magnanti, and J.B. Orlin. Network Flows: Theory, Algorithms and Applications. Prentice Hall, Englewood Cliffs, NJ, 1993."},{"issue":"1","key":"2_CR2","first-page":"5","volume":"4","author":"J. Bentley","year":"1991","unstructured":"J. Bentley and B. Kernighan. A System for Algorithm Animation: Tutorial and User Manual. Computing Systems, 4(1):5\u201330, 1991.","journal-title":"Computing Systems"},{"key":"2_CR3","volume-title":"Algorithm Animation","author":"M.H. Brown","year":"1988","unstructured":"M.H. Brown. Algorithm Animation. MIT Press, Cambridge, MA, 1988."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"M.H. Brown. Perspectives on Algorithm Animation. In Proceedings of the ACM SIGCHI\u201988 Conference on Human Factors in Computing Systems, pages 33\u201338, 1988.","DOI":"10.1145\/57167.57172"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M.H. Brown. Zeus: a System for Algorithm Animation and Multi-View Editing. In Proceedings of the 7-th IEEE Workshop on Visual Languages, pages 4\u20139, 1991.","DOI":"10.1109\/WVL.1991.238857"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M.H. Brown and M. Najork. Collaborative Active Textbooks: a Web-Based Algorithm Animation System for an Electronic Classroom. In Proceedings of the 12th IEEE International Symposium on Visual Languages (VL\u201996), pages 266\u2013275, 1996.","DOI":"10.1109\/VL.1996.545297"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"P. Carlson, M. Burnett, and J. Cadiz. Integration of Algorithm Animation into a Visual Programming Language. In Proc. Int. Workshop on Advanced Visual Interfaces, 1996.","DOI":"10.1145\/948449.948479"},{"key":"2_CR8","unstructured":"G. Cattaneo, U. Ferraro, G.F. Italiano, and V. Scarano. Cooperative Algorithm and Data Types Animation over the Net. In Proc. XV IFIP World Computer Congress, Invited Lecture, pages 63\u201380, 1998. To appear in Journal of Visual Languages and Computing. System home page: \n                    http:\/\/isis.dia.unisa.it\/catai\/\n                    \n                  ."},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/jvlc.1999.0143","volume":"11","author":"P. Crescenzi","year":"2000","unstructured":"P. Crescenzi, C. Demetrescu, I. Finocchi, and R. Petreschi. Reversible Execution and Visualization of Programs with LEONARDO. Journal of Visual Languages and Computing, 11(2):125\u2013150, 2000. Leonardo is available at the URL: \n                    http:\/\/www.dis.uniroma1.it\/~demetres\/Leonardo\/\n                    \n                  .","journal-title":"Journal of Visual Languages and Computing"},{"key":"2_CR10","series-title":"Lect Notes Comput Sci","first-page":"147","volume-title":"Visualizing Algorithms over the Web with the Publication-driven Approach","author":"C. Demetrescu","year":"2000","unstructured":"C. Demetrescu, I. Finocchi, and G. Liotta. Visualizing Algorithms over the Web with the Publication-driven Approach. In Proc. of the 4-th Workshop on Algorithm Engineering (WAE\u201900), LNCS 1982, pages 147\u2013158, 2000."},{"key":"2_CR11","unstructured":"K. Mehlhorn and S. Naher. LEDA: A Platform of Combinatorial and Geometric Computing. Cambrige University Press, ISBN 0-521-56329-1, 1999."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S1045-926X(05)80036-9","volume":"1","author":"B.A. Myers","year":"1990","unstructured":"B.A. Myers. Taxonomies of Visual Programming and Program Visualization. Journal of Visual Languages and Computing, 1:97\u2013123, 1990.","journal-title":"Journal of Visual Languages and Computing"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1006\/jvlc.1993.1015","volume":"4","author":"B.A. Price","year":"1993","unstructured":"B.A. Price, R.M. Baecker, and I.S. Small. A Principled Taxonomy of Software Visualization. Journal of Visual Languages and Computing, 4(3):211\u2013266, 1993.","journal-title":"Journal of Visual Languages and Computing"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/2.42012","volume":"22","author":"G.C. Roman","year":"1989","unstructured":"G.C. Roman and K.C. Cox. A Declarative Approach to Visualizing Concurrent Computations. Computer, 22:25\u201336, 1989.","journal-title":"Computer"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/2.247643","volume":"26","author":"G.C. Roman","year":"1993","unstructured":"G.C. Roman and K.C. Cox. A Taxonomy of Program Visualization Systems. Computer, 26:11\u201324, 1993.","journal-title":"Computer"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/1045-926X(92)90014-D","volume":"3","author":"G.C. Roman","year":"1992","unstructured":"G.C. Roman, K.C. Cox, C.D. Wilcox, and J.Y Plun. PAVANE: a System for Declarative Visualization of Concurrent Computations. Journal of Visual Languages and Computing, 3:161\u2013193, 1992.","journal-title":"Journal of Visual Languages and Computing"},{"key":"2_CR17","unstructured":"A. Schliep and W. Hochst\u00e4ttler. Developing Gato and CATBox with Python: Teaching Graph Algorithms through Visualization and Experimentation. In Proceedings of Multimedia Tools for Communicating Mathematics (MTCM\u201900), 2000."},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/2.58216","volume":"23","author":"J.T. Stasko","year":"1990","unstructured":"J.T. Stasko. TANGO: A Framework and System for Algorithm Animation. Computer, 23:27\u201339, 1990.","journal-title":"Computer"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/130956.130959","volume":"23","author":"J.T. Stasko","year":"1992","unstructured":"J.T. Stasko. Animating Algorithms with X-TANGO. SIGACT News, 23(2):67\u201371, 1992.","journal-title":"SIGACT News"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1006\/jpdc.1993.1062","volume":"18","author":"J.T. Stasko","year":"1993","unstructured":"J.T. Stasko. A Methodology for Building Application-Specific Visualizations of Parallel Programs. Journal of Parallel and Distributed Computing, 18:258\u2013264, 1993.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"2_CR21","volume-title":"Software Visualization: Programming as a Multimedia Experience","author":"J.T. Stasko","year":"1997","unstructured":"J.T. Stasko, J. Domingue, M.H. Brown, and B.A. Price. Software Visualization: Programming as a Multimedia Experience. MIT Press, Cambridge, MA, 1997."}],"container-title":["Lecture Notes in Computer Science","Software Visualization"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45875-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T11:53:10Z","timestamp":1548330790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45875-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433231","9783540458753"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45875-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}