Adhesive High-Level Replacement Categories and Systems. - Hartmut Ehrig; Annegret Habel; Julia Padberg; Ulrike Prange (ICGT, 2004)

Fundamental Theory for Typed Attributed Graph Transformation. - Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2004)

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation. - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (VL/HCC, 2005)

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations. - Hartmut Ehrig; Ulrike Prange (Essays Dedicated to Joseph A. Goguen, 2006)

Categorical Foundations of Distributed Graph Transformation. - Hartmut Ehrig; Fernando Orejas; Ulrike Prange (ICGT, 2006)

Termination Analysis of Model Transformations by Petri Nets. - Dániel Varró; Szilvia Varró-Gyapay; Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2006)

Algebraic High-Level Nets as Weak Adhesive HLR Categories. - Ulrike Prange (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Termination Criteria for DPO Transformations with Injective Matches. - Tihamer Levendovszky; Ulrike Prange; Hartmut Ehrig (GT-VC@CONCUR, 2006)

Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Fundam. Informaticae, 2006)

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. - Hartmut Ehrig; Julia Padberg; Ulrike Prange; Annegret Habel (Fundam. Informaticae, 2006)

Fundamentals of Algebraic Graph Transformation - Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Springer, 2006)

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. - Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg; Ulrike Prange; Claudia Ermel (ICATPN, 2007)

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. - Ulrike Prange; Hartmut Ehrig (CAI, 2007)

Model Transformations should be Functors. - Don S. Batory; Oscar Díaz 001; Hartmut Ehrig; Claudia Ermel; Ulrike Prange; Gabriele Taentzer (Bull. EATCS, 2007)

Model Transformations by Graph Transformation are Functors. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (Bull. EATCS, 2007)

Preface. - Hartmut Ehrig; Jochen Pfalzgraf; Ulrike Prange (ACCAT@ETAPS, 2007)

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ACCAT@ETAPS, 2007)

Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. - Ulrike Prange (ACCAT@ETAPS, 2007)

Attributed graph transformation with node type inheritance. - Juan de Lara; Roswitha Bardohl; Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer (Theor. Comput. Sci., 2007)

Transformations in Reconfigurable Place/Transition Systems. - Ulrike Prange; Hartmut Ehrig; Kathrin Hoffmann; Julia Padberg (Concurrency, Graphs and Models, 2008)

Consistent Integration of Models Based on Views of Visual Languages. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (FASE, 2008)

A Logic of Graph Constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (FASE, 2008)

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. - Hartmut Ehrig; Ulrike Prange (ICGT, 2008)

Embedding and Confluence of Graph Transformations with Negative Application Conditions. - Leen Lambers; Hartmut Ehrig; Ulrike Prange; Fernando Orejas (ICGT, 2008)

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. - Ulrike Prange; Hartmut Ehrig; Leen Lambers (Appl. Categorical Struct., 2008)

Flattening of Generalized Algebraic High-Level Nets. - Hartmut Ehrig; Ulrike Prange (Bull. EATCS, 2008)

Negative Application Conditions for Reconfigurable Place/Transition Systems. - Alexander Rein; Ulrike Prange; Leen Lambers; Kathrin Hoffmann; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. - Hartmut Ehrig; Claudia Ermel; Frank Hermann 001; Ulrike Prange (MoDELS, 2009)

Cospan DPO Approach: An Alternative for DPO Graph Transformations. - Hartmut Ehrig; Frank Hermann 001; Ulrike Prange (Bull. EATCS, 2009)

Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. - Enrico Biermann; Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Gabriele Taentzer (Graph Transformations and Model-Driven Engineering, 2010)

Local Confluence for Rules with Nested Application Conditions. - Hartmut Ehrig; Annegret Habel; Leen Lambers; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Multi-Amalgamation in Adhesive Categories. - Ulrike Golas; Hartmut Ehrig; Annegret Habel (ICGT, 2010)

Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. - Frank Hermann 001; Hartmut Ehrig; Fernando Orejas; Ulrike Golas (ICGT, 2010)

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (MDI@MoDELS, 2010)

Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. - Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (Bull. EATCS, 2010)

Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. - Ulrike Golas; Kathrin Hoffmann; Hartmut Ehrig; Alexander Rein; Julia Padberg (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Consistent integration of models based on views of meta models. - Hartmut Ehrig; Karsten Ehrig; Claudia Ermel; Ulrike Prange (Formal Aspects Comput., 2010)

Reasoning with graph constraints. - Fernando Orejas; Hartmut Ehrig; Ulrike Prange (Formal Aspects Comput., 2010)

Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. - Enrico Biermann; Claudia Ermel; Leen Lambers; Ulrike Prange; Olga Runge; Gabriele Taentzer (Int. J. Softw. Tools Technol. Transf., 2010)

Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. - Fadi Chabarek; Ulrike Golas (GI-Jahrestagung, 2011)

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. - Ulrike Golas; Enrico Biermann; Hartmut Ehrig; Claudia Ermel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. - Ulrike Golas; Hartmut Ehrig; Frank Hermann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

How to delete categorically - Two pushout complement constructions. - Benjamin Braatz; Ulrike Golas; Thomas Soboll (J. Symb. Comput., 2011)

Foreword. - Jochen Pfalzgraf; Hartmut Ehrig; Ulrike Golas; Thomas Soboll (J. Symb. Comput., 2011)

Analysis and correctness of algebraic graph and model transformations. - Ulrike Golas (2011)

A General Attribution Concept for Models in ℳ-Adhesive Transformation Systems. - Ulrike Golas (ICGT, 2012)

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Holger Giese (ICGT, 2012)

Parallelism and Concurrency of Stochastic Graph Transformations. - Reiko Heckel; Hartmut Ehrig; Ulrike Golas; Frank Hermann 001 (ICGT, 2012)

A Local-global Model for Multiagent Systems - Sheaves on the Category MAS. - Thomas Soboll; Ulrike Golas (ICAART (2), 2012)

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Fundam. Informaticae, 2012)

Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. - Ulrike Golas; Leen Lambers; Hartmut Ehrig; Fernando Orejas (Theor. Comput. Sci., 2012)

Checking Bisimilarity for Attributed Graph Transformation. - Fernando Orejas; Artur Boronat; Ulrike Golas; Nikos Mylonakis (FoSSaCS, 2013)

Formal analysis of model transformations based on triple graph grammars. - Frank Hermann 001; Hartmut Ehrig; Ulrike Golas; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. - Hartmut Ehrig; Ulrike Golas; Annegret Habel; Leen Lambers; Fernando Orejas (Math. Struct. Comput. Sci., 2014)

Finitary ℳ-adhesive categories. - Karsten Gabriel; Benjamin Braatz; Hartmut Ehrig; Ulrike Golas (Math. Struct. Comput. Sci., 2014)

Multi-amalgamation of rules with application conditions in ℳ-adhesive categories. - Ulrike Golas; Annegret Habel; Hartmut Ehrig (Math. Struct. Comput. Sci., 2014)

Towards Local Confluence Analysis for Amalgamated Graph Transformation. - Gabriele Taentzer; Ulrike Golas (ICGT, 2015)

Graph and Model Transformation - General Framework and Applications - Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann 001 (Springer, 2015)