 | 2009 |
| 21 |  | 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 |
| 20 |  | Ulrike Prange,
Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models 2008: 96-113 |
| 19 |  | Fernando Orejas,
Hartmut Ehrig,
Ulrike Prange:
A Logic of Graph Constraints.
FASE 2008: 179-198 |
| 18 |  | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages.
FASE 2008: 62-76 |
| 17 |  | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
| 16 |  | Hartmut Ehrig,
Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
ICGT 2008: 178-193 |
| 15 |  | 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) |
| 14 |  | Alexander Rein,
Ulrike Prange,
Leen Lambers,
Kathrin Hoffmann,
Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.
ECEASST 10: (2008) |
| 2007 |
| 13 |  | Ulrike Prange,
Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
CAI 2007: 122-146 |
| 12 |  | 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 |
| 11 |  | Tihamer Levendovszky,
Ulrike Prange,
Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches.
Electr. Notes Theor. Comput. Sci. 175(4): 87-100 (2007) |
| 10 |  | 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) |
| 2006 |
| 9 |  | 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 |
| 8 |  | Hartmut Ehrig,
Fernando Orejas,
Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation.
ICGT 2006: 215-229 |
| 7 |  | Dániel Varró,
Szilvia Varró-Gyapay,
Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Termination Analysis of Model Transformations by Petri Nets.
ICGT 2006: 260-274 |
| 6 |  | Ulrike Prange:
Algebraic High-Level Nets as Weak Adhesive HLR Categories.
ECEASST 2: (2006) |
| 5 |  | 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) |
| 4 |  | 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) |
| 2005 |
| 3 |  | 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 |
| 2 |  | Hartmut Ehrig,
Annegret Habel,
Julia Padberg,
Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems.
ICGT 2004: 144-160 |
| 1 |  | Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT 2004: 161-177 |