{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:05Z","timestamp":1762459025531,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642341755"},{"type":"electronic","value":"9783642341762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34176-2_16","type":"book-chapter","created":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T05:56:59Z","timestamp":1349071019000},"page":"182-197","source":"Crossref","is-referenced-by-count":8,"title":["Contextual Hyperedge Replacement"],"prefix":"10.1007","author":[{"given":"Frank","family":"Drewes","sequence":"first","affiliation":[]},{"given":"Berthold","family":"Hoffmann","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Minas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bakewell, A., Plump, D., Runciman, C.: Specifying pointer structures by graph reduction. Mathematical Structures in Computer Science (2011) (accepted for publication)"},{"issue":"34-36","key":"16_CR2","doi-asserted-by":"publisher","first-page":"3090","DOI":"10.1016\/j.tcs.2010.04.038","volume":"411","author":"F. Drewes","year":"2010","unstructured":"Drewes, F., Hoffmann, B., Janssens, D., Minas, M.: Adaptive star grammars and their languages. Theoretical Computer Science\u00a0411(34-36), 3090\u20133109 (2010)","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-89020-1_15","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"F. Drewes","year":"2008","unstructured":"Drewes, F., Hoffmann, B., Janssens, D., Minas, M., Van Eetvelde, N.: Shaped Generic Graph Transformation. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 201\u2013216. Springer, Heidelberg (2008)"},{"issue":"1","key":"16_CR4","first-page":"117","volume":"12","author":"F. Drewes","year":"2003","unstructured":"Drewes, F., Hoffmann, B., Minas, M.: Context-exploiting shapes for diagram transformation. Machine Graphics and Vision\u00a012(1), 117\u2013132 (2003)","journal-title":"Machine Graphics and Vision"},{"key":"16_CR5","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer (2006)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Engelfriet, J.: Context-Free Graph Grammars. In: Handbook of Formal Languages. Beyond Words, ch.\u00a03, pp. 125\u2013213. Springer (1999)","DOI":"10.1007\/978-3-642-59126-6_3"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A. Habel","year":"1992","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. LNCS, vol.\u00a0643. Springer, Heidelberg (1992)"},{"key":"16_CR8","unstructured":"Habel, A., Radke, H.: Expressiveness of graph conditions with variables. In: Ermel, C., Ehrig, H., Orejas, F., Taentzer, G. (eds.) International Colloquium on Graph and Model Transformation 2010. ECEASST, vol.\u00a030 (2010)"},{"issue":"5","key":"16_CR9","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. Communication of the ACM\u00a031(5), 514\u2013530 (1988)","journal-title":"Communication of the ACM"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Hoffmann, B.: Shapely hierarchical graph transformation. In: Proc. of the IEEE Symposia. on Human-Centric Computing Languages and Environments, pp. 30\u201337. IEEE Computer Press (2001)","DOI":"10.1109\/HCC.2001.995230"},{"key":"16_CR11","unstructured":"Hoffmann, B., Minas, M.: Defining models \u2013 Meta models versus graph grammars. In: K\u00fcster, J.M., Tuosto, E. (eds.) Graph Transformation and Visual Modeling Techniques 2010. ECEASST, vol.\u00a029 (2010)"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0167-6423(02)00037-0","volume":"44","author":"M. Minas","year":"2002","unstructured":"Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming\u00a044(2), 157\u2013180 (2002)","journal-title":"Science of Computer Programming"},{"key":"16_CR13","unstructured":"Plump, D.: Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In: Sleep, M.R., Plasmeijer, M.J., van Eekelen, M.C. (eds.) Term Graph Rewriting, Theory and Practice, pp. 201\u2013213. Wiley & Sons (1993)"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems\u00a020(1), 1\u201350 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The Progres Approach: Language and Environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rosenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation. Applications, Languages, and Tools, vol.\u00a02, ch. 13, pp. 487\u2013550. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"11","DOI":"10.21099\/tkbjm\/1496158502","volume":"2","author":"T. Uesu","year":"1978","unstructured":"Uesu, T.: A system of graph grammars which generates all recursively enumerable sets of labelled graphs. Tsukuba Journal of Mathematics\u00a02, 11\u201326 (1978)","journal-title":"Tsukuba Journal of Mathematics"}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34176-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T20:51:14Z","timestamp":1744231874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34176-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642341755","9783642341762"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34176-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}