12
Publications
527
Citations
12
H-Index
2005
Active since
Ulrike Prange is an author at Technische Universität Berlin specializing in engineering, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsFormal VerificationComputer EngineeringSoftware DesignComputer ScienceSystems EngineeringGraph TheoryAutomated ReasoningSoftware Engineering
Publications per year
2005–2010
12
12
Attributed graph transformation with node type inheritance
Juan de Lara, Roswitha Bardohl, Hartmut Ehrig et al. · Theoretical Computer Science · 2007 · 116 citations
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Hartmut Ehrig, Julia Padberg, Ulrike Prange et al. · 2006 · 59 citations
Rows per page
1–5 of 12