{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:48:55Z","timestamp":1742914135099,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319257433"},{"type":"electronic","value":"9783319257440"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25744-0_4","type":"book-chapter","created":{"date-parts":[[2015,11,29]],"date-time":"2015-11-29T07:46:38Z","timestamp":1448783198000},"page":"41-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Graph- and Cloud-Based Tools for Computer Science Education"],"prefix":"10.1007","author":[{"given":"Victor N.","family":"Kasyanov","sequence":"first","affiliation":[]},{"given":"Elena V.","family":"Kasyanova","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,25]]},"reference":[{"key":"4_CR1","volume-title":"Graph Drawing: Algorithms for the Visualization of Graphs","author":"G Battista Di","year":"1999","unstructured":"Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice Hall, New Jersey (1999)"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/2945.841119","volume":"6","author":"I Herman","year":"2000","unstructured":"Herman, I., Melan\u00e7on, G., Marshall, M.S.: Graph visualization and navigation in information visualization: a survey. IEEE Trans. Vis. Comput. Graph. 6, 24\u201343 (2000)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"4_CR3","volume-title":"Visualization of Graphs and Graph Models","author":"VN Kasyanov","year":"2010","unstructured":"Kasyanov, V.N., Kasyanova, E.V.: Visualization of Graphs and Graph Models. Siberian Scientific Publishing House, Novosibirsk (2010). (in Russian)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45875-1_1","volume-title":"Software Visualization","author":"A Kerren","year":"2002","unstructured":"Kerren, A., Stasko, J.T.: Algorithm animation. In: Diehl, S. (ed.) Software Visualization. LNCS, vol. 2269, pp. 1\u201315. Springer, Heidelberg (2002)"},{"issue":"8","key":"4_CR5","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von Neumann style? Commun. ACM 21(8), 613\u2013641 (1978)","journal-title":"Commun. ACM"},{"key":"4_CR6","volume-title":"Explanatory Dictionary of Graph Theory in Computer Science and Programming","author":"VN Evstigneev","year":"1999","unstructured":"Evstigneev, V.N., Kasyanov, V.N.: Explanatory Dictionary of Graph Theory in Computer Science and Programming. Nauka Publ., Novosibirsk (1999). (in Russian)"},{"key":"4_CR7","volume-title":"Dictionary of Graphs in Computer Science","author":"VN Evstigneev","year":"2009","unstructured":"Evstigneev, V.N., Kasyanov, V.N.: Dictionary of Graphs in Computer Science. Siberian Scientific Publishing House, Novosibirsk (2009)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Kasyanov, V.N.: Support tools for graphs in computer science, In: Proceedings of the 15th ACM SIGCSE Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2010), p.\u00a0315. ACM Press, New York (2010)","DOI":"10.1145\/1822090.1822192"},{"key":"4_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4122-2","volume-title":"Graph Theory for Programmers: Algorithms for Processing Trees","author":"VN Kasyanov","year":"2000","unstructured":"Kasyanov, V.N., Evstigneev, V.N.: Graph Theory for Programmers: Algorithms for Processing Trees. Kluwer Academic Publishers, Dordrecht\/Boston\/London (2000)"},{"key":"4_CR10","volume-title":"Graphs in Programming: Processing, Visualization and Application","author":"VN Kasyanov","year":"2003","unstructured":"Kasyanov, V.N., Evstigneev, V.N.: Graphs in Programming: Processing, Visualization and Application. BHV-Petersburg, St. Petersburg (2003). (In Russian)"},{"issue":"7","key":"4_CR11","first-page":"349","volume":"12","author":"VN Kasyanov","year":"2013","unstructured":"Kasyanov, V.N.: Methods and tools for structural information visualization. WSEAS Trans. Comput. 12(7), 349\u2013359 (2013)","journal-title":"WSEAS Trans. Comput."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-46648-7_8","volume-title":"Graph Drawing","author":"IA Lisitsyn","year":"1999","unstructured":"Lisitsyn, I.A., Kasyanov, V.N.: Higres - visualization system for clustered graphs and graph algorithms. In: Kratochv\u00edl, J. (ed.) GD 1999. LNCS, vol. 1731, pp. 82\u201389. Springer, Heidelberg (1999)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-44541-2_38","volume-title":"Graph Drawing","author":"U Brandes","year":"2001","unstructured":"Brandes, U., Marshall, M.S., North, S.C.: Graph data format workshop report. In: Marks, J. (ed.) GD 2000. LNCS, vol. 1984, pp. 407\u2013409. Springer, Heidelberg (2001)"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/17517575.2012.743188","volume":"7","author":"VN Kasyanov","year":"2013","unstructured":"Kasyanov, V.N., Kasyanova, E.V.: Information visualization based on graph models. Enterp. Inf. Syst. 7(2), 187\u2013197 (2013)","journal-title":"Enterp. Inf. Syst."},{"issue":"8","key":"4_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/135226.135231","volume":"34","author":"DC Cann","year":"1992","unstructured":"Cann, D.C.: Retire Fortran?: a debate rekindled. Commun. ACM 34(8), 81\u201389 (1992)","journal-title":"Commun. ACM"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45403-9_2","volume-title":"Compiler Optimizations for Scalable Parallel Systems","author":"J-L Gaudiot","year":"2001","unstructured":"Gaudiot, J.-L., DeBoni, T., Feo, J., et al.: The Sisal project: real world functional programming. In: Pande, S., Agrawal, D.P. (eds.) Compiler Optimizations for Scalable Parallel Systems. LNCS, vol. 1808. Springer, Heidelberg (2001)"},{"key":"4_CR17","unstructured":"McGraw, J., Skedzielewski, S., Allan, S., Grit, D., Oldehoeft, R., Glauert, J., Dobes, I., Hohensee, P.: SISAL-Streams and Iterations in a Single Assignment Language, Language Reference Manual: Version 1.2. Technical Report TR M-146, University of California, Lawrence Livermore Laboratory, March (1985)"},{"key":"4_CR18","unstructured":"Feo, J.T., Miller, P.J., Skedzielewski, S.K., Denton, S. M., Solomon, C. J.: SISAL 90. In: Proceedings of High Performance Functional Computing. pp. 35\u201347, Denver (1995)"},{"key":"4_CR19","unstructured":"Kasyanov, V.N., Stasenko, A.P.: Sisal 3.2 programming language. In: Kasyanov, V.N. (ed.) Tools and Techniques of Program Construction, pp. 56\u2013134, IIS, Novosibirsk (2007) (in Russian)"},{"issue":"2","key":"4_CR20","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1080\/17517575.2012.744854","volume":"7","author":"VN Kasyanov","year":"2013","unstructured":"Kasyanov, V.N.: Sisal 3.2: functional language for scientific parallel programming. Enterp. Inf. Syst. 7(2), 227\u2013236 (2013)","journal-title":"Enterp. Inf. Syst."},{"key":"4_CR21","unstructured":"Cann, D.C., Feo, J.T., B\u00f6hm, A.P.W., et al.: Sisal Reference Manual: Language Version 2.0. Technical report Lawrence Livermore National Laboratory, UCRL-MA-109098, Livermore, CA (1991)"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(91)90297-F","volume":"90","author":"VN Kasyanov","year":"1991","unstructured":"Kasyanov, V.N.: Transformational approach to program concretization. Theor. Comput. Sci. 90(1), 37\u201346 (1991)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Mobile, Secure, and Programmable Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25744-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T14:42:04Z","timestamp":1559313724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25744-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319257433","9783319257440"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25744-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}