Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike Cospan DPO approach: an alternative for DPO graph transformations. (English) Zbl 1191.68361 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 139-149 (2009). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 98, 139--149 (2009; Zbl 1191.68361)
Levendovszky, Tihamér; Prange, Ulrike; Ehrig, Hartmut Termination criteria for DPO transformations with injective matches. (English) Zbl 1278.68123 Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 87-100 (2007). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{T. Levendovszky} et al., Electron. Notes Theor. Comput. Sci. 175, No. 4, 87--100 (2007; Zbl 1278.68123) Full Text: DOI
de Lara, Juan; Bardohl, Roswitha; Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele Attributed graph transformation with node type inheritance. (English) Zbl 1116.68042 Theor. Comput. Sci. 376, No. 3, 139-163 (2007). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{J. de Lara} et al., Theor. Comput. Sci. 376, No. 3, 139--163 (2007; Zbl 1116.68042) Full Text: DOI
Varró, Dániel; Varró-Gyapay, Szilvia; Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele Termination analysis of model transformations by Petri nets. (English) Zbl 1156.68501 Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 260-274 (2006). MSC: 68Q85 68N30 68Q42 PDFBibTeX XMLCite \textit{D. Varró} et al., Lect. Notes Comput. Sci. 4178, 260--274 (2006; Zbl 1156.68501) Full Text: DOI
Ehrig, Hartmut; Orejas, Fernando; Prange, Ulrike Categorical foundations of distributed graph transformation. (English) Zbl 1157.68039 Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 215-229 (2006). MSC: 68Q42 18A10 18A30 18E15 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 4178, 215--229 (2006; Zbl 1157.68039) Full Text: DOI
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. (English) Zbl 1106.68055 Fundam. Inform. 74, No. 1, 31-61 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundam. Inform. 74, No. 1, 31--61 (2006; Zbl 1106.68055)
Ehrig, Hartmut; Padberg, Julia; Prange, Ulrike; Habel, Annegret Adhesive high-level replacement systems: a new categorical framework for graph transformation. (English) Zbl 1106.68056 Fundam. Inform. 74, No. 1, 1-29 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundam. Inform. 74, No. 1, 1--29 (2006; Zbl 1106.68056)
Ehrig, Hartmut; Ehrig, Karsten; Prange, Ulrike; Taentzer, Gabriele Fundamentals of algebraic graph transformation. (English) Zbl 1095.68047 Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-31187-4/hbk). xiv, 388 p. (2006). Reviewer: Charles J. Colbourn (Tempe) MSC: 68Q42 68Q25 05C90 68N30 18B20 68R10 68-01 68-02 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundamentals of algebraic graph transformation. Berlin: Springer (2006; Zbl 1095.68047)
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele Fundamental theory for typed attributed graph transformation. (English) Zbl 1116.68481 Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 161-177 (2004). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 3256, 161--177 (2004; Zbl 1116.68481) Full Text: DOI
Ehrig, Hartmut; Habel, Annegret; Padberg, Julia; Prange, Ulrike Adhesive high-level replacement categories and systems. (English) Zbl 1116.68480 Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 144-160 (2004). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 3256, 144--160 (2004; Zbl 1116.68480) Full Text: DOI