{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:58:19Z","timestamp":1725559099470},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540260325"},{"type":"electronic","value":"9783540321118"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11428831_127","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T04:14:05Z","timestamp":1279080845000},"page":"1019-1026","source":"Crossref","is-referenced-by-count":0,"title":["A Visual Interactive Framework for Formal Derivation"],"prefix":"10.1007","author":[{"given":"Paul","family":"Agron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leo","family":"Bachmair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Nielsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"127_CR1","volume-title":"Graph Drawing","author":"G. Battista Di","year":"1998","unstructured":"Di Battista, G., Eades, P., Tamassia, R., Tollis, I.: Graph Drawing. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"127_CR2","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-63938-1_68","volume-title":"Proceedings of the 5th International Symposium on Graph Drawing","author":"D.P. Dobkin","year":"1997","unstructured":"Dobkin, D.P., Gansner, E.R., Koutsofios, E., North, S.C.: Implementing a general-purpose edge router. In: Proceedings of the 5th International Symposium on Graph Drawing, pp. 262\u2013271. Springer, Heidelberg (1997)"},{"key":"127_CR3","unstructured":"Finocchi, I.: Hierarchical Decompositions for Visualizing Large Graphs. PhD thesis, Universita degli Studi di Roma \u201cLa Sapienza\u201d (2002)"},{"key":"127_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"127_CR5","first-page":"364","volume-title":"Proceedings of the 6th International Symposium on Graph Drawing","author":"E.R. Gansner","year":"1998","unstructured":"Gansner, E.R., North, S.C.: Improved force-directed layouts. In: Proceedings of the 6th International Symposium on Graph Drawing, pp. 364\u2013373. Springer, Heidelberg (1998)"},{"issue":"1","key":"127_CR6","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 Transactions on Visualization and Computer Graphics\u00a06(1), 24\u201343 (2000)","journal-title":"IEEE Transactions on Visualization and Computer Graphics"},{"issue":"4","key":"127_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00133570","volume":"1","author":"M. Kass","year":"1987","unstructured":"Kass, M., Witkin, A., Terzopoulos, D.: Snakes: Active contour models. International Journal of Computer Vision\u00a01(4), 321\u2013331 (1987)","journal-title":"International Journal of Computer Vision"},{"key":"127_CR8","volume-title":"Deduction Systems","author":"R. Socher-Ambrosius","year":"1996","unstructured":"Socher-Ambrosius, R., Johann, P.: Deduction Systems. Springer, Heidelberg (1996)"},{"issue":"3","key":"127_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1109\/83.661186","volume":"7","author":"C. Xu","year":"1998","unstructured":"Xu, C., Prince, J.: Snakes, shapes, and gradient vector flow. IEEE Trans. Image Processing\u00a07(3), 359\u2013369 (1998)","journal-title":"IEEE Trans. Image Processing"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11428831_127","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T18:16:29Z","timestamp":1548440189000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11428831_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540260325","9783540321118"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11428831_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}