Ulrike Golas

Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128

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

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

Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann: Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110

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

Ulrike Golas: A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems. ICGT 2012: 187-202

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

Ulrike Golas, Thomas Soboll (Eds.): Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory. EPTCS 93, 2012

Ulrike Golas: Analysis and correctness of algebraic graph and model transformations. Berlin Institute of Technology 2011, isbn 978-3-8348-1493-7, pp. 1-226

Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ECEASST 39 (2011)

Ulrike Golas, Hartmut Ehrig, Frank Hermann: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011)

Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll: Foreword. J. Symb. Comput. 46(3): 219-221 (2011)

Benjamin Braatz, Ulrike Golas, Thomas Soboll: How to delete categorically - Two pushout complement constructions. J. Symb. Comput. 46(3): 246-271 (2011)

Hartmut Ehrig, Ulrike Golas, Frank Hermann: Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. Bulletin of the EATCS 102: 111-121 (2010)

Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg: Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks. ECEASST 40 (2010)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent integration of models based on views of meta models. Formal Asp. Comput. 22(3-4): 327-344 (2010)

Fernando Orejas, Hartmut Ehrig, Ulrike Prange: Reasoning with graph constraints. Formal Asp. Comput. 22(3-4): 385-422 (2010)

Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer: Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. STTT 12(3-4): 245-261 (2010)

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

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulrike Golas: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. ICGT 2010: 155-170

Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas: Finitary M\mathcal{M}-Adhesive Categories. ICGT 2010: 234-249

Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345

Ulrike Golas, Hartmut Ehrig, Annegret Habel: Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361

Hartmut Ehrig, Frank Hermann, Ulrike Prange: Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bulletin of the EATCS 98: 139-149 (2009)

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

Ulrike Prange, Hartmut Ehrig, Leen Lambers: Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Applied Categorical Structures 16(3): 365-388 (2008)

Hartmut Ehrig, Ulrike Prange: Flattening of Generalized Algebraic High-Level Nets. Bulletin of the EATCS 94: 151-160 (2008)

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10 (2008)

Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange: Preface. Electr. Notes Theor. Comput. Sci. 203(6): 1 (2008)

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electr. Notes Theor. Comput. Sci. 203(6): 43-66 (2008)

Ulrike Prange: Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. Electr. Notes Theor. Comput. Sci. 203(6): 67-88 (2008)

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76

Fernando Orejas, Hartmut Ehrig, Ulrike Prange: A Logic of Graph Constraints. FASE 2008: 179-198

Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177

Hartmut Ehrig, Ulrike Prange: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193

Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer: Model Transformations should be Functors. Bulletin of the EATCS 92: 75-81 (2007)

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)

Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007)

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

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

Ulrike Prange, Hartmut Ehrig: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146

Ulrike Prange: Algebraic High-Level Nets as Weak Adhesive HLR Categories. ECEASST 2 (2006)

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

Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Inform. 74(1): 31-61 (2006)

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

Hartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229

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

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

Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160

Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177