2008 |
20 | EE | Ulrike Prange,
Hartmut Ehrig,
Kathrin Hoffmann,
Julia Padberg:
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models 2008: 96-113 |
19 | EE | Fernando Orejas,
Hartmut Ehrig,
Ulrike Prange:
A Logic of Graph Constraints.
FASE 2008: 179-198 |
18 | EE | Hartmut Ehrig,
Karsten Ehrig,
Claudia Ermel,
Ulrike Prange:
Consistent Integration of Models Based on Views of Visual Languages.
FASE 2008: 62-76 |
17 | EE | Leen Lambers,
Hartmut Ehrig,
Ulrike Prange,
Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT 2008: 162-177 |
16 | EE | Hartmut Ehrig,
Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
ICGT 2008: 178-193 |
15 | EE | 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 | EE | Alexander Rein,
Ulrike Prange,
Leen Lambers,
Kathrin Hoffmann,
Julia Padberg:
Negative Application Conditions for Reconfigurable Place/Transition Systems.
ECEASST 10: (2008) |
2007 |
13 | EE | Ulrike Prange,
Hartmut Ehrig:
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
CAI 2007: 122-146 |
12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Hartmut Ehrig,
Fernando Orejas,
Ulrike Prange:
Categorical Foundations of Distributed Graph Transformation.
ICGT 2006: 215-229 |
7 | EE | 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 | EE | Ulrike Prange:
Algebraic High-Level Nets as Weak Adhesive HLR Categories.
ECEASST 2: (2006) |
5 | EE | 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 | EE | 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 | EE | 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 | EE | Hartmut Ehrig,
Annegret Habel,
Julia Padberg,
Ulrike Prange:
Adhesive High-Level Replacement Categories and Systems.
ICGT 2004: 144-160 |
1 | EE | Hartmut Ehrig,
Ulrike Prange,
Gabriele Taentzer:
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT 2004: 161-177 |