Ehrig, Michael; Stroppel, Catharina Nazarov-Wenzl algebras, coideal subalgebras and categorified skew Howe duality. (English) Zbl 1432.16022 Adv. Math. 331, 58-142 (2018). MSC: 16S50 17B10 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, Adv. Math. 331, 58--142 (2018; Zbl 1432.16022) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina On the category of finite-dimensional representations of \(\mathrm{OSp}(r\vert 2n)\). I. (English) Zbl 1425.17007 Krause, Henning (ed.) et al., Representation theory – Current trends and perspectives. In part based on talks given at the last joint meeting of the priority program in Bad Honnef, Germany, in March 2015. Zürich: European Mathematical Society (EMS). EMS Ser. Congr. Rep., 109-170 (2017). MSC: 17B10 17A70 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, in: Representation theory -- Current trends and perspectives. In part based on talks given at the last joint meeting of the priority program in Bad Honnef, Germany, in March 2015. Zürich: European Mathematical Society (EMS). 109--170 (2017; Zbl 1425.17007) Full Text: arXiv
Ehrig, Michael; Stroppel, Catharina; Tubbenhauer, Daniel The Blanchet-Khovanov algebras. (English) Zbl 1419.57024 Beliakova, Anna (ed.) et al., Categorification and higher representation theory. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 683, 183-226 (2017). MSC: 57M27 17B37 17B10 PDFBibTeX XMLCite \textit{M. Ehrig} et al., Contemp. Math. 683, 183--226 (2017; Zbl 1419.57024) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina Koszul gradings on Brauer algebras. (English) Zbl 1402.20008 Int. Math. Res. Not. 2016, No. 13, 3970-4011 (2016). MSC: 20C08 20G43 17B10 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, Int. Math. Res. Not. 2016, No. 13, 3970--4011 (2016; Zbl 1402.20008) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina 2-row Springer fibres and Khovanov diagram algebras for type D. (English) Zbl 1411.14053 Can. J. Math. 68, No. 6, 1285-1333 (2016). MSC: 14M15 05A10 17B10 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, Can. J. Math. 68, No. 6, 1285--1333 (2016; Zbl 1411.14053) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina Schur-Weyl duality for the Brauer algebra and the ortho-symplectic Lie superalgebra. (English) Zbl 1393.17017 Math. Z. 284, No. 1-2, 595-613 (2016). Reviewer: Angelo Bianchi (São José dos Campos) MSC: 17B10 17B20 17B45 17B60 16W22 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, Math. Z. 284, No. 1--2, 595--613 (2016; Zbl 1393.17017) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina Diagrammatic description for the categories of perverse sheaves on isotropic Grassmannians. (English) Zbl 1343.05162 Sel. Math., New Ser. 22, No. 3, 1455-1536 (2016). MSC: 05E10 14M15 17B10 17B45 55N91 20C08 PDFBibTeX XMLCite \textit{M. Ehrig} and \textit{C. Stroppel}, Sel. Math., New Ser. 22, No. 3, 1455--1536 (2016; Zbl 1343.05162) Full Text: DOI arXiv
Ehrig, Michael; Stroppel, Catharina; Tubbenhauer, Daniel Generic \(\mathfrak{gl}_2\)-foams, web and arc algebras. arXiv:1601.08010 Preprint, arXiv:1601.08010 [math.GT] (2016). BibTeX Cite \textit{M. Ehrig} et al., ``Generic $\mathfrak{gl}_2$-foams, web and arc algebras'', Preprint, arXiv:1601.08010 [math.GT] (2016) Full Text: arXiv OA License
Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Hermann, Frank Graph and model transformation. General framework and applications. (English) Zbl 1341.68002 Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-662-47979-7/hbk; 978-3-662-47980-3/ebook). xi, 472 p. (2015). Reviewer: Andreas Maletti (Stuttgart) MSC: 68-01 68-02 68Q42 05C90 18B20 68N30 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Graph and model transformation. General framework and applications. Berlin: Springer (2015; Zbl 1341.68002) Full Text: DOI
Bucchiarone, Antonio; Ehrig, Hartmut; Ermel, Claudia; Pelliccione, Patrizio; Runge, Olga Rule-based modeling and static analysis of self-adaptive systems by graph transformation. (English) Zbl 1398.68092 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer (ISBN 978-3-319-15544-9/pbk). Lecture Notes in Computer Science 8950, 582-601 (2015). MSC: 68N30 68Q42 68T05 PDFBibTeX XMLCite \textit{A. Bucchiarone} et al., Lect. Notes Comput. Sci. 8950, 582--601 (2015; Zbl 1398.68092) Full Text: DOI
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions. (English) Zbl 1342.68179 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240409, 47 p. (2014). MSC: 68Q42 18B20 68Q85 PDFBibTeX XMLCite \textit{F. Hermann} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240409, 47 p. (2014; Zbl 1342.68179) Full Text: DOI
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike; Orejas, Fernando Formal analysis of model transformations based on triple graph grammars. (English) Zbl 1342.68180 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240408, 57 p. (2014). MSC: 68Q42 68P15 68Q60 PDFBibTeX XMLCite \textit{F. Hermann} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240408, 57 p. (2014; Zbl 1342.68180) Full Text: DOI
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando \(\mathcal{M}\)-adhesive transformation systems with nested application conditions. I: Parallelism, concurrency and amalgamation. (English) Zbl 1342.68176 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240406, 48 p. (2014). MSC: 68Q42 18B20 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240406, 48 p. (2014; Zbl 1342.68176) Full Text: DOI
Golas, Ulrike; Habel, Annegret; Ehrig, Hartmut Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories. (English) Zbl 1342.68178 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240405, 68 p. (2014). MSC: 68Q42 18B20 68Q85 PDFBibTeX XMLCite \textit{U. Golas} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240405, 68 p. (2014; Zbl 1342.68178) Full Text: DOI
Gabriel, Karsten; Braatz, Benjamin; Ehrig, Hartmut; Golas, Ulrike Finitary \(\mathcal{M}\)-adhesive categories. (English) Zbl 1342.68177 Math. Struct. Comput. Sci. 24, No. 4, Article ID e240403, 40 p. (2014). MSC: 68Q42 18A32 18A35 18B20 PDFBibTeX XMLCite \textit{K. Gabriel} et al., Math. Struct. Comput. Sci. 24, No. 4, Article ID e240403, 40 p. (2014; Zbl 1342.68177) Full Text: DOI
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga Confluence in data reduction: bridging graph transformation and kernelization. (English) Zbl 1311.68184 Computability 2, No. 1, 31-49 (2013). MSC: 68W01 68Q17 68Q25 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Computability 2, No. 1, 31--49 (2013; Zbl 1311.68184) Full Text: DOI
Ehrig, Michael; Stroppel, Catharina Diagrams for perverse sheaves on isotropic Grassmannians and the supergroup SOSP(m|2n). arXiv:1306.4043 Preprint, arXiv:1306.4043 [math.RT] (2013). MSC: 05E10 14M15 17B10 17B45 55N91 20C08 BibTeX Cite \textit{M. Ehrig} and \textit{C. Stroppel}, ``Diagrams for perverse sheaves on isotropic Grassmannians and the supergroup SOSP(m|2n)'', Preprint, arXiv:1306.4043 [math.RT] (2013) Full Text: arXiv OA License
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Giese, Holger Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. (English) Zbl 1367.68134 Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 141-155 (2012). MSC: 68Q42 PDFBibTeX XMLCite \textit{U. Golas} et al., Lect. Notes Comput. Sci. 7562, 141--155 (2012; Zbl 1367.68134) Full Text: DOI
Heckel, Reiko; Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank Parallelism and concurrency of stochastic graph transformations. (English) Zbl 1367.68137 Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 96-110 (2012). MSC: 68Q42 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. Heckel} et al., Lect. Notes Comput. Sci. 7562, 96--110 (2012; Zbl 1367.68137) Full Text: DOI
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Kreowski, Hans-Jörg (ed.); Rozenberg, Grzegorz (ed.) Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. (English) Zbl 1246.68030 Lecture Notes in Computer Science 7562. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). xi, 427 p. (2012). MSC: 68-06 68Q42 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24--29, 2012. Proceedings. Berlin: Springer (2012; Zbl 1246.68030) Full Text: DOI
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga Confluence in data reduction: bridging graph transformation and kernelization. (English) Zbl 1357.68286 Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 193-202 (2012). MSC: 68W01 68Q17 68Q25 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 7318, 193--202 (2012; Zbl 1357.68286) Full Text: DOI
Ehrig, Hartmut; Golas, Ulrike; Habel, Annegret; Lambers, Leen; Orejas, Fernando \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. (English) Zbl 1242.68128 Fundam. Inform. 118, No. 1-2, 35-63 (2012). MSC: 68Q42 68R10 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundam. Inform. 118, No. 1--2, 35--63 (2012; Zbl 1242.68128) Full Text: DOI
Gabriel, Karsten; Ehrig, Hartmut Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes. (English) Zbl 1238.68098 Theor. Comput. Sci. 429, 87-97 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Gabriel} and \textit{H. Ehrig}, Theor. Comput. Sci. 429, 87--97 (2012; Zbl 1238.68098) Full Text: DOI
Golas, Ulrike; Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs. (English) Zbl 1284.68324 Theor. Comput. Sci. 424, 46-68 (2012). MSC: 68Q42 18B99 68Q65 68R10 PDFBibTeX XMLCite \textit{U. Golas} et al., Theor. Comput. Sci. 424, 46--68 (2012; Zbl 1284.68324) Full Text: DOI
Pfalzgraf, Jochen (ed.); Ehrig, Hartmut (ed.); Soboll, Thomas (ed.) Special issue: Applied and computational category theory. Selected papers based on the presentations at the 3rd ACCAT workshop at ETAPS, Budapest, Hungary, March 29 – April 6, 2008, and 4th ACCAT workshop at ETAPS, York, England, March 22 – 29, 2009. (English) Zbl 1213.68056 J. Symb. Comput. 46, No. 3, 219-337 (2011). MSC: 68-06 18-06 00B25 PDFBibTeX XML
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank Categorical frameworks for graph transformation and HLR systems based on the DPO approach. (English) Zbl 1257.68092 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 111-121 (2010). MSC: 68Q42 68R10 68Q85 18B99 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 111--121 (2010; Zbl 1257.68092)
Biermann, Enrico; Ehrig, Hartmut; Ermel, Claudia; Golas, Ulrike; Taentzer, Gabriele Parallel independence of amalgamated graph transformations applied to model transformation. (English) Zbl 1309.68106 Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 121-140 (2010). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{E. Biermann} et al., Lect. Notes Comput. Sci. 5765, 121--140 (2010; Zbl 1309.68106) Full Text: DOI
Golas, Ulrike; Ehrig, Hartmut; Habel, Annegret Multi-amalgamation in adhesive categories. (English) Zbl 1306.68071 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 346-361 (2010). MSC: 68Q42 18A30 18A35 PDFBibTeX XMLCite \textit{U. Golas} et al., Lect. Notes Comput. Sci. 6372, 346--361 (2010; Zbl 1306.68071) Full Text: DOI
Ehrig, Hartmut; Habel, Annegret; Lambers, Leen; Orejas, Fernando; Golas, Ulrike Local confluence for rules with nested application conditions. (English) Zbl 1306.68068 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 330-345 (2010). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 6372, 330--345 (2010; Zbl 1306.68068) Full Text: DOI Link
Braatz, Benjamin; Ehrig, Hartmut; Gabriel, Karsten; Golas, Ulrike Finitary \(\mathcal{M}\)-adhesive categories. (English) Zbl 1306.68121 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 234-249 (2010). MSC: 68Q85 18A30 18A32 18A35 68Q42 PDFBibTeX XMLCite \textit{B. Braatz} et al., Lect. Notes Comput. Sci. 6372, 234--249 (2010; Zbl 1306.68121) Full Text: DOI
Hermann, Frank; Ehrig, Hartmut; Orejas, Fernando; Golas, Ulrike Formal analysis of functional behaviour for model transformations based on triple graph grammars. (English) Zbl 1306.68074 Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 155-170 (2010). MSC: 68Q42 68P15 PDFBibTeX XMLCite \textit{F. Hermann} et al., Lect. Notes Comput. Sci. 6372, 155--170 (2010; Zbl 1306.68074) Full Text: DOI Link
Ehrig, Hartmut (ed.); Rensink, Arend (ed.); Rozenberg, Grzegorz (ed.); Schürr, Andy (ed.) Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. (English) Zbl 1196.68007 Lecture Notes in Computer Science 6372. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). xii, 419 p. (2010). MSC: 68-06 68Q42 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 -- October 2, 2010. Proceedings. Berlin: Springer (2010; Zbl 1196.68007) Full Text: DOI
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia; Prange, Ulrike Consistent integration of models based on views of meta models. (English) Zbl 1209.68081 Formal Asp. Comput. 22, No. 3-4, 327-344 (2010). MSC: 68N15 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Formal Asp. Comput. 22, No. 3--4, 327--344 (2010; Zbl 1209.68081) Full Text: DOI HAL
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike Reasoning with graph constraints. (English) Zbl 1209.68381 Formal Asp. Comput. 22, No. 3-4, 385-422 (2010). MSC: 68R10 PDFBibTeX XMLCite \textit{F. Orejas} et al., Formal Asp. Comput. 22, No. 3--4, 385--422 (2010; Zbl 1209.68381) Full Text: DOI HAL
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. II: Instantiation to Petri nets and CSP. (English) Zbl 1205.68123 Fundam. Inform. 99, No. 1, 94-124 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 94--124 (2010; Zbl 1205.68123) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. I: The general framework. (English) Zbl 1196.68052 Fundam. Inform. 99, No. 1, 63-93 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 63--93 (2010; Zbl 1196.68052) Full Text: DOI
Orejas, Fernando; Guerra, Esther; de Lara, Juan; Ehrig, Hartmut Correctness, completeness and termination of pattern-based model-to-model transformation. (English) Zbl 1239.68026 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 383-397 (2009). MSC: 68N30 68R10 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 5728, 383--397 (2009; Zbl 1239.68026) Full Text: DOI Link
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)
Ermel, Claudia; Ehrig, Hartmut Behavior-preserving simulation-to-animation model and rule transformations. (English) Zbl 1283.68183 König, Barbara (ed.) et al., Proceedings of the 3rd workshop on graph transformation for concurrency and verification (GT-VC 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 213, No. 1, 55-74 (2008). MSC: 68Q42 05C62 PDFBibTeX XMLCite \textit{C. Ermel} and \textit{H. Ehrig}, Electron. Notes Theor. Comput. Sci. 213, No. 1, 55--74 (2008; Zbl 1283.68183) Full Text: DOI
Hermann, Frank; Ehrig, Hartmut; Taentzer, Gabriele A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. (English) Zbl 1283.68206 Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 261-269 (2008). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{F. Hermann} et al., Electron. Notes Theor. Comput. Sci. 211, 261--269 (2008; Zbl 1283.68206) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Orejas Fernando Efficient conflict detection in graph transformation systems by essential critical pairs. (English) Zbl 1283.68185 Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 17-26 (2008). MSC: 68Q42 05C62 PDFBibTeX XMLCite \textit{L. Lambers} et al., Electron. Notes Theor. Comput. Sci. 211, 17--26 (2008; Zbl 1283.68185) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. (English) Zbl 1277.68194 Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 43-66 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Lambers} et al., Electron. Notes Theor. Comput. Sci. 203, No. 6, 43--66 (2008; Zbl 1277.68194) Full Text: DOI
Ehrig, Hartmut (ed.); Pfalzgraf, Jochen (ed.); Prange, Ulrike (ed.) Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. (English) Zbl 1276.68014 Electronic Notes in Theoretical Computer Science 203, No. 6. Amsterdam: Elsevier. 88 p., electronic only (2008). MSC: 68-06 18B20 68Q65 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier (2008; Zbl 1276.68014) Full Text: Link
Hermann, Frank; Ehrig, Hartmut Process definition using subobject transformation systems. (English) Zbl 1169.68507 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 95, 153-163 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Hermann} and \textit{H. Ehrig}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 95, 153--163 (2008; Zbl 1169.68507)
Ehrig, Hartmut; Prange, Ulrike Flattening of generalized algebraic high-level nets. (English) Zbl 1169.68540 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 94, 151-160 (2008). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{U. Prange}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 94, 151--160 (2008; Zbl 1169.68540)
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1161.68034 Log. Methods Comput. Sci. 4, No. 4, Paper 3, 41 p. (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 4, No. 4, Paper 3, 41 p. (2008; Zbl 1161.68034) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara Open Petri nets: Non-deterministic processes and compositionality. (English) Zbl 1175.68269 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 257-273 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5214, 257--273 (2008; Zbl 1175.68269) Full Text: DOI
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo Behavior preservation in model refactoring using DPO transformations with borrowed contexts. (English) Zbl 1175.68231 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 242-256 (2008). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{G. Rangel} et al., Lect. Notes Comput. Sci. 5214, 242--256 (2008; Zbl 1175.68231) Full Text: DOI
Ehrig, Hartmut; Ermel, Claudia Semantical correctness and completeness of model transformations using graph and rule transformation. (English) Zbl 1175.68221 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 194-210 (2008). MSC: 68Q42 68N30 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{C. Ermel}, Lect. Notes Comput. Sci. 5214, 194--210 (2008; Zbl 1175.68221) Full Text: DOI Link
Ehrig, Hartmut; Prange, Ulrike Formal analysis of model transformations based on triple graph rules with kernels. (English) Zbl 1175.68222 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 178-193 (2008). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{U. Prange}, Lect. Notes Comput. Sci. 5214, 178--193 (2008; Zbl 1175.68222) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Prange, Ulrike; Orejas, Fernando Embedding and confluence of graph transformations with negative application conditions. (English) Zbl 1175.68227 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 162-177 (2008). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Lambers} et al., Lect. Notes Comput. Sci. 5214, 162--177 (2008; Zbl 1175.68227) Full Text: DOI
Ehrig, Hartmut (ed.); Heckel, Reiko (ed.); Rozenberg, Grzegorz (ed.); Taentzer, Gabriele (ed.) Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. (English) Zbl 1148.68002 Lecture Notes in Computer Science 5214. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). xiii, 523 p. (2008). MSC: 68-06 68N30 68Q42 68R10 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings. Berlin: Springer (2008; Zbl 1148.68002) Full Text: DOI
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen Construction and properties of adhesive and weak adhesive high-level replacement categories. (English) Zbl 1143.18005 Appl. Categ. Struct. 16, No. 3, 365-388 (2008). MSC: 18B20 68Q42 18A05 18A30 18A32 18C10 18D99 PDFBibTeX XMLCite \textit{U. Prange} et al., Appl. Categ. Struct. 16, No. 3, 365--388 (2008; Zbl 1143.18005) Full Text: DOI
Prange, Ulrike; Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia Transformations in reconfigurable place/transition systems. (English) Zbl 1144.68043 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 96-113 (2008). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{U. Prange} et al., Lect. Notes Comput. Sci. 5065, 96--113 (2008; Zbl 1144.68043) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Prange, Ulrike A logic of graph constraints. (English) Zbl 1171.68516 Fiadeiro, José Luiz (ed.) et al., Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78742-6/pbk). Lecture Notes in Computer Science 4961, 179-198 (2008). MSC: 68Q42 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 4961, 179--198 (2008; Zbl 1171.68516) Full Text: DOI
Rangel, Guilherme; König, Barbara; Ehrig, Hartmut Deriving bisimulation congruences in the presence of negative application conditions. (English) Zbl 1139.68043 Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 413-427 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Rangel} et al., Lect. Notes Comput. Sci. 4962, 413--427 (2008; Zbl 1139.68043) Full Text: DOI
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
Batory, Don; Diaz, Oscar; Ehrig, Hartmut; Ermel, Claudia; Prange, Ulrike; Taentzer, Gabriele Model transformations should be functors. (English) Zbl 1169.68500 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 92, 75-81 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Batory} et al., Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 92, 75--81 (2007; Zbl 1169.68500)
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Prange, Ulrike; Ermel, Claudia Independence of net transformations and token firing in reconfigurable place/transition systems. (English) Zbl 1226.68052 Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 104-123 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 4546, 104--123 (2007; Zbl 1226.68052) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1214.68243 Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 126-142 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4624, 126--142 (2007; Zbl 1214.68243) Full Text: DOI arXiv
Prange, Ulrike; Ehrig, Hartmut From algebraic graph transformation to adhesive HLR categories and systems. (English) Zbl 1149.68043 Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Second international conference, CAI 2007, Thessaloniki, Greece, May 21–25, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-75413-8/pbk). Lecture Notes in Computer Science 4728, 122-146 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{U. Prange} and \textit{H. Ehrig}, Lect. Notes Comput. Sci. 4728, 122--146 (2007; Zbl 1149.68043) 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
Baldan, Paolo; Ehrig, Hartmut; König, Barbara Composition and decomposition of DPO transformations with borrowed context. (English) Zbl 1156.68417 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, 153-167 (2006). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 4178, 153--167 (2006; Zbl 1156.68417) Full Text: DOI
Ehrig, Karsten; Heckel, Reiko; Lajios, Georgios Molecular analysis of metabolic pathway with graph transformation. (English) Zbl 1156.92316 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, 107-121 (2006). MSC: 92C40 92C37 68R10 05C65 68Q42 PDFBibTeX XMLCite \textit{K. Ehrig} et al., Lect. Notes Comput. Sci. 4178, 107--121 (2006; Zbl 1156.92316) Full Text: DOI
Lambers, Leen; Ehrig, Hartmut; Orejas, Fernando Conflict detection for graph transformation with negative application conditions. (English) Zbl 1156.68431 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, 61-76 (2006). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{L. Lambers} et al., Lect. Notes Comput. Sci. 4178, 61--76 (2006; Zbl 1156.68431) Full Text: DOI
Corradini, Andrea (ed.); Ehrig, Hartmut (ed.); Montanari, Ugo (ed.); Ribeiro, Leila (ed.); Rozenberg, Grzegorz (ed.) Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. (English) Zbl 1147.68003 Lecture Notes in Computer Science 4178. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). xii, 473 p. (2006). MSC: 68-06 68N30 68Q42 68R10 00B25 PDFBibTeX XMLCite \textit{A. Corradini} (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings. Berlin: Springer (2006; Zbl 1147.68003) Full Text: DOI
Ehrig, Hartmut; Prange, Ulrike Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. (English) Zbl 1133.68055 Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 235-251 (2006). MSC: 68Q85 18A35 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{U. Prange}, Lect. Notes Comput. Sci. 4060, 235--251 (2006; Zbl 1133.68055) Full Text: DOI
Ehrig, Hartmut; König, Barbara Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. (English) Zbl 1107.68055 Math. Struct. Comput. Sci. 16, No. 6, 1133-1163 (2006). MSC: 68Q85 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{B. König}, Math. Struct. Comput. Sci. 16, No. 6, 1133--1163 (2006; Zbl 1107.68055) Full Text: DOI
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz Theory of constraints and application conditions: from graphs to high-level structures. (English) Zbl 1106.68054 Fundam. Inform. 74, No. 1, 135-166 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Fundam. Inform. 74, No. 1, 135--166 (2006; Zbl 1106.68054)
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)
Padberg, Julia; Ehrig, Hartmut Petri net modules in the transformation-based component framework. (English) Zbl 1088.68129 J. Log. Algebr. Program. 67, No. 1-2, 198-225 (2006). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Padberg} and \textit{H. Ehrig}, J. Log. Algebr. Program. 67, No. 1--2, 198--225 (2006; Zbl 1088.68129) Full Text: DOI
Ehrig, H. (ed.); Padberg, J. (ed.); Rozenberg, G. (ed.) Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. (English) Zbl 1271.68033 Electronic Notes in Theoretical Computer Science 127, No. 2. Amsterdam: Elsevier. 120 p., electronic only (2005). MSC: 68-06 68Q42 68Q85 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 -- October 2, 2004. Amsterdam: Elsevier (2005; Zbl 1271.68033) Full Text: Link
Ehrig, Hartmut Behaviour and instantiation of high-level Petri net processes. (English) Zbl 1096.68105 Fundam. Inform. 65, No. 3, 211-247 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig}, Fundam. Inform. 65, No. 3, 211--247 (2005; Zbl 1096.68105)
Hoffmann, Kathrin; Ehrig, Hartmut; Mossakowski, Till High-level nets with nets and rules as tokens. (English) Zbl 1128.68063 Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005). MSC: 68Q85 68Q42 68Q65 PDFBibTeX XMLCite \textit{K. Hoffmann} et al., Lect. Notes Comput. Sci. 3536, 268--288 (2005; Zbl 1128.68063) Full Text: DOI
Ehrig, Hartmut; Ehrig, Karsten; de Lara, Juan; Taentzer, Gabriele; Varró, Dániel; Varró-Gyapay, Szilvia Termination criteria for model transformation. (English) Zbl 1119.68344 Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 49-63 (2005). MSC: 68N30 68Q42 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 3442, 49--63 (2005; Zbl 1119.68344) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko Compositional semantics for open Petri nets based on deterministic processes. (English) Zbl 1089.68068 Math. Struct. Comput. Sci. 15, No. 1, 1-35 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} et al., Math. Struct. Comput. Sci. 15, No. 1, 1--35 (2005; Zbl 1089.68068) Full Text: DOI
De Lara, J.; Ermel, C.; Taentzer, G.; Ehrig, K. Parallel graph transformation for model simulation applied to timed transition Petri nets. (English) Zbl 1271.68118 Heckel, Reiko (ed.), Proceedings of the workshop on graph transformation and visual modelling techniques (GT-VMT 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 109, 17-29 (2004). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{J. De Lara} et al., Electron. Notes Theor. Comput. Sci. 109, 17--29 (2004; Zbl 1271.68118) Full Text: Link
Ehrig, Hartmut Attributed graphs and typing: relationship between different representations. (English) Zbl 1169.68558 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 175-190 (2004). MSC: 68R10 03D05 PDFBibTeX XMLCite \textit{H. Ehrig}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 82, 175--190 (2004; Zbl 1169.68558)
Bardohl, Roswitha; Ehrig, Hartmut; de Lara, Juan; Taentzer, Gabriele Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. (English) Zbl 1129.68420 Wermelinger, Michel (ed.) et al., Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21305-8/pbk). Lecture Notes in Computer Science 2984, 214-228 (2004). MSC: 68N99 68Q42 PDFBibTeX XMLCite \textit{R. Bardohl} et al., Lect. Notes Comput. Sci. 2984, 214--228 (2004; Zbl 1129.68420) Full Text: DOI
Ehrig, Hartmut; König, Barbara Deriving bisimulation congruences in the DPO approach to graph rewriting. (English) Zbl 1126.68446 Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 151-166 (2004). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{B. König}, Lect. Notes Comput. Sci. 2987, 151--166 (2004; Zbl 1126.68446) Full Text: DOI
Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz Constraints and application conditions: From graphs to high-level structures. (English) Zbl 1116.68479 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, 287-303 (2004). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 3256, 287--303 (2004; Zbl 1116.68479) Full Text: DOI
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
Ehrig, Hartmut; Padberg, Julia Graph grammars and Petri net transformations. (English) Zbl 1088.68079 Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 496-536 (2004). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{J. Padberg}, Lect. Notes Comput. Sci. 3098, 496--536 (2004; Zbl 1088.68079) Full Text: DOI
Ehrig, Hartmut On the relevance of high-level net processes. (English) Zbl 1063.68608 Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 89-93 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig}, in: Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific. 89--93 (2004; Zbl 1063.68608)
Ehrig, Hartmut Bigraphs meet double pushouts. (English) Zbl 1063.68072 Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 27-40 (2004). MSC: 68Q65 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig}, in: Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific. 27--40 (2004; Zbl 1063.68072)
Ehrig, Hartmut; Schröter, Gunnar The role of mathematics and formal specification techniques in software system development. (English) Zbl 1063.68604 Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 5-14 (2004). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{G. Schröter}, in: Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific. 5--14 (2004; Zbl 1063.68604)
Ehrig, Hartmut (ed.); Engels, Gregor (ed.); Parisi-Presicce, Francesco (ed.); Rozenberg, Grzegorz (ed.) Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. (English) Zbl 1056.68008 Lecture Notes in Computer Science 3256. Berlin: Springer (ISBN 3-540-23207-9/pbk). xii, 451 p. (2004). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings. Berlin: Springer (2004; Zbl 1056.68008) Full Text: DOI
Ermel, Claudia; Bardohl, Roswitha; Ehrig, Hartmut Generation of animation views for Petri nets in GenGED. (English) Zbl 1283.68241 Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 83-108 (2003). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{C. Ermel} et al., Lect. Notes Comput. Sci. 2472, 83--108 (2003; Zbl 1283.68241) Full Text: DOI
Braatz, B.; Ehrig, H.; Urbášek, M. Petri net transformations in the Petri Net Baukasten. (English) Zbl 1283.68234 Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 37-65 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{B. Braatz} et al., Lect. Notes Comput. Sci. 2472, 37--65 (2003; Zbl 1283.68234) Full Text: DOI
Weber, H.; Ehrig, H.; Reisig, W.; Borusan, A.; Lembke, S.; Dehnert, J.; Weber, M.; Martens, A.; Padberg, J.; Ermel, C.; Qemali, A. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. (English) Zbl 1283.68257 Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 1-21 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Weber} et al., Lect. Notes Comput. Sci. 2472, 1--21 (2003; Zbl 1283.68257) Full Text: DOI
Ehrig, Hartmut (ed.); Reisig, Wolfgang (ed.); Rozenberg, Grzegorz (ed.); Weber, Herbert (ed.) Petri net technology for communication-based systems. Advances in Petri nets. (English) Zbl 1028.00015 Lecture Notes in Computer Science. 2472. Berlin: Springer. viii, 455 p. (2003). MSC: 00B15 68-06 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (2003; Zbl 1028.00015) Full Text: DOI Link
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, F. Basic results for two types of high-level replacement systems. (English) Zbl 1263.68073 Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 127-138 (2002). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Electron. Notes Theor. Comput. Sci. 51, 127--138 (2002; Zbl 1263.68073) Full Text: DOI
Ehrig, Hartmut Bigraphs meet double pushouts. (English) Zbl 1169.68450 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 72-85 (2002). MSC: 68Q42 18A10 68Q99 PDFBibTeX XMLCite \textit{H. Ehrig}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 78, 72--85 (2002; Zbl 1169.68450)
Ehrig, Hartmut; Orejas, Fernando; Braatz, Benjamin; Klein, Markus; Piirainen, Martti A generic component framework for system modeling. (English) Zbl 1059.68543 Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 33-48 (2002). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 2306, 33--48 (2002; Zbl 1059.68543) Full Text: Link
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko High-level net processes. (English) Zbl 1060.68078 Brauer, Wilfried (ed.) et al., Formal and natural computing. Essays dedicated to Grzegorz Rozenberg. Berlin: Springer (ISBN 3-540-43190-X). Lect. Notes Comput. Sci. 2300, 191-219 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 2300, 191--219 (2002; Zbl 1060.68078) Full Text: Link