Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ulrike Golas
Ulrike Prange
2010 – today
- 2013
[c24]Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis: Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128- 2012
- [j25]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)
- [j24]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)
- [c23]Reiko Heckel, Hartmut Ehrig, Ulrike Golas, Frank Hermann: Parallelism and Concurrency of Stochastic Graph Transformations. ICGT 2012: 96-110
- [c22]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
- [c21]Ulrike Golas: A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems. ICGT 2012: 187-202
- [c20]Thomas Soboll, Ulrike Golas: A Local-global Model for Multiagent Systems - Sheaves on the Category MAS. ICAART (2) 2012: 331-334
- [e1]Ulrike Golas, Thomas Soboll (Eds.): Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory. EPTCS 93, 2012
- 2011
- [b1]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
- [j23]Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel: A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. ECEASST 39 (2011)
- [j22]Ulrike Golas, Hartmut Ehrig, Frank Hermann: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. ECEASST 39 (2011)
- [j21]Jochen Pfalzgraf, Hartmut Ehrig, Ulrike Golas, Thomas Soboll: Foreword. J. Symb. Comput. 46(3): 219-221 (2011)
- [j20]Benjamin Braatz, Ulrike Golas, Thomas Soboll: How to delete categorically - Two pushout complement constructions. J. Symb. Comput. 46(3): 246-271 (2011)
- 2010
- [j19]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)
- [j18]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)
- [j17]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)
- [j16]Fernando Orejas, Hartmut Ehrig, Ulrike Prange: Reasoning with graph constraints. Formal Asp. Comput. 22(3-4): 385-422 (2010)
- [j15]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)
- [c19]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
- [c18]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
- [c17]Benjamin Braatz, Hartmut Ehrig, Karsten Gabriel, Ulrike Golas: Finitary M\mathcal{M}-Adhesive Categories. ICGT 2010: 234-249
- [c16]Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas: Local Confluence for Rules with Nested Application Conditions. ICGT 2010: 330-345
- [c15]Ulrike Golas, Hartmut Ehrig, Annegret Habel: Multi-Amalgamation in Adhesive Categories. ICGT 2010: 346-361
2000 – 2009
- 2009
- [j14]Hartmut Ehrig, Frank Hermann, Ulrike Prange: Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bulletin of the EATCS 98: 139-149 (2009)
- [c14]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
- 2008
- [j13]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)
- [j12]Hartmut Ehrig, Ulrike Prange: Flattening of Generalized Algebraic High-Level Nets. Bulletin of the EATCS 94: 151-160 (2008)
- [j11]Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems. ECEASST 10 (2008)
- [j10]Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange: Preface. Electr. Notes Theor. Comput. Sci. 203(6): 1 (2008)
- [j9]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)
- [j8]Ulrike Prange: Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. Electr. Notes Theor. Comput. Sci. 203(6): 67-88 (2008)
- [c13]Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg: Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models 2008: 96-113
- [c12]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Consistent Integration of Models Based on Views of Visual Languages. FASE 2008: 62-76
- [c11]
- [c10]Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas: Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT 2008: 162-177
- [c9]Hartmut Ehrig, Ulrike Prange: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT 2008: 178-193
- 2007
- [j7]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)
- [j6]Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange: Model Transformations by Graph Transformation are Functors. Bulletin of the EATCS 93: 134-142 (2007)
- [j5]Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig: Termination Criteria for DPO Transformations with Injective Matches. Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007)
- [j4]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)
- [c8]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
- [c7]Ulrike Prange, Hartmut Ehrig: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI 2007: 122-146
- 2006
- [j3]
- [j2]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)
- [j1]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)
- [c6]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
- [c5]Hartmut Ehrig, Fernando Orejas, Ulrike Prange: Categorical Foundations of Distributed Graph Transformation. ICGT 2006: 215-229
- [c4]Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Termination Analysis of Model Transformations by Petri Nets. ICGT 2006: 260-274
- 2005
- [c3]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
- 2004
- [c2]Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange: Adhesive High-Level Replacement Categories and Systems. ICGT 2004: 144-160
- [c1]Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer: Fundamental Theory for Typed Attributed Graph Transformation. ICGT 2004: 161-177
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team