Ulrike Prange

From MaRDI portal
Person:882447

Available identifiers

zbMath Open prange.ulrikeMaRDI QIDQ882447

List of research outcomes





PublicationDate of PublicationType
Termination criteria for DPO transformations with injective matches2013-12-20Paper
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions2013-12-06Paper
Towards algebraic high-level systems as weak adhesive HLR categories2013-12-06Paper
Reasoning with graph constraints2010-05-28Paper
Consistent integration of models based on views of meta models2010-05-28Paper
https://portal.mardi4nfdi.de/entity/Q33976322009-09-22Paper
https://portal.mardi4nfdi.de/entity/Q33966162009-09-19Paper
Flattening of generalized algebraic high-level nets.2009-09-19Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems2009-03-11Paper
Termination Analysis of Model Transformations by Petri Nets2008-11-27Paper
Categorical Foundations of Distributed Graph Transformation2008-11-27Paper
Embedding and Confluence of Graph Transformations with Negative Application Conditions2008-11-20Paper
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels2008-11-20Paper
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems2008-09-04Paper
Construction and properties of adhesive and weak adhesive high-level replacement categories2008-07-30Paper
Transformations in Reconfigurable Place/Transition Systems2008-06-19Paper
A Logic of Graph Constraints2008-05-02Paper
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations2007-09-07Paper
Graph Transformations2007-06-21Paper
Graph Transformations2007-06-21Paper
Attributed graph transformation with node type inheritance2007-05-23Paper
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories2007-01-19Paper
Adhesive high-level replacement systems: a new categorical framework for graph transformation2007-01-19Paper
Fundamentals of algebraic graph transformation2006-05-31Paper

Research outcomes over time

This page was built for person: Ulrike Prange