Ulrike Prange

33 papers A 1B 9Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
Consistent integration of models based on views of meta models.
Formal Aspects Comput.
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2010 J jnl
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System.
Int. J. Softw. Tools Technol. Transf.
Enrico Biermann, Claudia Ermel, Leen Lambers, Ulrike Prange, Olga Runge, Gabriele Taentzer
2010 J jnl
Reasoning with graph constraints.
Formal Aspects Comput.
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2009 J jnl
Cospan DPO Approach: An Alternative for DPO Graph Transformations.
Bull. EATCS
Hartmut Ehrig, Frank Hermann, Ulrike Prange
2009 A conf
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.
MoDELS
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrike Prange
2008 B conf
A Logic of Graph Constraints.
FASE
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
2008 B conf
Consistent Integration of Models Based on Views of Visual Languages.
FASE
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2008 J jnl
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories.
Appl. Categorical Struct.
Ulrike Prange, Hartmut Ehrig, Leen Lambers
2008 B conf
Embedding and Confluence of Graph Transformations with Negative Application Conditions.
ICGT
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2008 J jnl
Flattening of Generalized Algebraic High-Level Nets.
Bull. EATCS
Hartmut Ehrig, Ulrike Prange
2008 B conf
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.
ICGT
Hartmut Ehrig, Ulrike Prange
2008 J jnl
Negative Application Conditions for Reconfigurable Place/Transition Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
2008 — ed.
Proceedings of the Second Workshop on Applied and Computational Category Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007
ACCAT@ETAPS
Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
2008 — conf
Transformations in Reconfigurable Place/Transition Systems.
Concurrency, Graphs and Models
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg
2007 J jnl
Attributed graph transformation with node type inheritance.
Theor. Comput. Sci.
Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2007 — conf
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems.
CAI
Ulrike Prange, Hartmut Ehrig
2007 — conf
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
ICATPN
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
2007 J jnl
Model Transformations by Graph Transformation are Functors.
Bull. EATCS
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange
2007 J jnl
Model Transformations should be Functors.
Bull. EATCS
Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer
2007 — conf
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.
ACCAT@ETAPS
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas
2007 — conf
Preface.
ACCAT@ETAPS
Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange
2007 — conf
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories.
ACCAT@ETAPS
Ulrike Prange
2006 J jnl
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation.
Fundam. Informaticae
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel
2006 J jnl
Algebraic High-Level Nets as Weak Adhesive HLR Categories.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ulrike Prange
2006 B conf
Categorical Foundations of Distributed Graph Transformation.
ICGT
Hartmut Ehrig, Fernando Orejas, Ulrike Prange
2006 J jnl
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories.
Fundam. Informaticae
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2006 — book
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2006 B conf
Termination Analysis of Model Transformations by Petri Nets.
ICGT
Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
2006 — conf
Termination Criteria for DPO Transformations with Injective Matches.
GT-VC@CONCUR
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
2006 — conf
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations.
Essays Dedicated to Joseph A. Goguen
Hartmut Ehrig, Ulrike Prange
2005 B conf
Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.
VL/HCC
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
2004 B conf
Adhesive High-Level Replacement Categories and Systems.
ICGT
Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange
2004 B conf
Fundamental Theory for Typed Attributed Graph Transformation.
ICGT
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer