Ulrike Prange

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

Coauthor Index

1	Roswitha Bardohl	[10]
2	Hartmut Ehrig	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20]
3	Karsten Ehrig	[3] [4] [10] [18]
4	Claudia Ermel	[12] [18]
5	Annegret Habel	[2] [5]
6	Kathrin Hoffmann	[12] [14] [20]
7	Leen Lambers	[14] [15] [17]
8	Juan de Lara (Juan de Lara Jaramillo)	[10]
9	Tihamer Levendovszky	[11]
10	Fernando Orejas	[8] [17] [19]
11	Julia Padberg	[2] [5] [12] [14] [20]
12	Alexander Rein	[14]
13	Gabriele Taentzer	[1] [3] [4] [7] [10]
14	Dániel Varró	[7]
15	Szilvia Varró-Gyapay (Szilvia Gyapay)	[7]