Ulrike Prange

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent integration of models based on views of meta models. Formal Aspects Comput. 22 (3-4) (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. Int. J. Softw. Tools Technol. Transf. 12 (3-4) (2010)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
Reasoning with graph constraints. Formal Aspects Comput. 22 (3-4) (2010)
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)
Hartmut Ehrig, Frank Hermann, Ulrike Prange
Cospan DPO Approach: An Alternative for DPO Graph Transformations. Bull. EATCS 98 (2009)
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
Negative Application Conditions for Reconfigurable Place/Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Consistent Integration of Models Based on Views of Visual Languages. FASE (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Embedding and Confluence of Graph Transformations with Negative Application Conditions. ICGT (2008)
Ulrike Prange
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
A Logic of Graph Constraints. FASE (2008)
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
Transformations in Reconfigurable Place/Transition Systems. Concurrency, Graphs and Models (2008)
Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
Preface. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Hartmut Ehrig, Ulrike Prange
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. ICGT (2008)
Hartmut Ehrig, Ulrike Prange
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94 (2008)
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. Electron. Notes Theor. Comput. Sci. 203 (6) (2008)
Ulrike Prange, Hartmut Ehrig, Leen Lambers
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Appl. Categorical Struct. 16 (3) (2008)
Ulrike Prange, Hartmut Ehrig
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems. CAI (2007)
Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
Model Transformations should be Functors. Bull. EATCS 92 (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) (2007)
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
Model Transformations by Graph Transformation are Functors. Bull. EATCS 93 (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)
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
Termination Criteria for DPO Transformations with Injective Matches. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories. Fundam. Informaticae 74 (1) (2006)
Hartmut Ehrig, Fernando Orejas, Ulrike Prange
Categorical Foundations of Distributed Graph Transformation. ICGT (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)
Ulrike Prange
Algebraic High-Level Nets as Weak Adhesive HLR Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Termination Analysis of Model Transformations by Petri Nets. ICGT (2006)
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation. Fundam. Informaticae 74 (1) (2006)
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)
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
Adhesive High-Level Replacement Categories and Systems. ICGT (2004)
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Fundamental Theory for Typed Attributed Graph Transformation. ICGT (2004)