BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Hungary
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
H.Ehrig F.Orejas G.Täntzer C.Ermel L.Lambers J.Padberg F.Hermann K.Ehrig A.Habel A.Rein K.Hoffmann D.Varró S.Varró-Gyapay
Talks about:
transform (6) graph (6) model (4) base (3) analysi (2) system (2) condit (2) applic (2) tripl (2) negat (2)

Person: Ulrike Prange

DBLP DBLP: Prange:Ulrike

Contributed to:

MoDELS 20092009
FASE 20082008
GT-VMT 20082008
ICGT 20082008
ICGT 20062006
ICGT 20042004

Wrote 10 papers:

MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
FASE-2008-EhrigEEP #consistency #integration #modelling #visual notation
Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.
FASE-2008-OrejasEP #constraints #graph #logic
A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.
GT-VMT-2008-ReinPLHP #configuration management
Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICGT-2008-LambersEPO #confluence #graph transformation
Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
ICGT-2006-EhrigOP #category theory #distributed #graph transformation
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
ICGT-2004-EhrigHPP #category theory
Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
ICGT-2004-EhrigPT #graph transformation
Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.