Ulrike Prange

Available identifiers

zbMath Open prange.ulrikeMaRDI QIDQ882447

List of research outcomes

Publication	Date of Publication	Type
Termination criteria for DPO transformations with injective matches	2013-12-20	Paper
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions	2013-12-06	Paper
Towards algebraic high-level systems as weak adhesive HLR categories	2013-12-06	Paper
Reasoning with graph constraints	2010-05-28	Paper
Consistent integration of models based on views of meta models	2010-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q3397632	2009-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q3396616	2009-09-19	Paper
Flattening of generalized algebraic high-level nets.	2009-09-19	Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems	2009-03-11	Paper
Termination Analysis of Model Transformations by Petri Nets	2008-11-27	Paper
Categorical Foundations of Distributed Graph Transformation	2008-11-27	Paper
Embedding and Confluence of Graph Transformations with Negative Application Conditions	2008-11-20	Paper
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels	2008-11-20	Paper
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems	2008-09-04	Paper
Construction and properties of adhesive and weak adhesive high-level replacement categories	2008-07-30	Paper
Transformations in Reconfigurable Place/Transition Systems	2008-06-19	Paper
A Logic of Graph Constraints	2008-05-02	Paper
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations	2007-09-07	Paper
Graph Transformations	2007-06-21	Paper
Graph Transformations	2007-06-21	Paper
Attributed graph transformation with node type inheritance	2007-05-23	Paper
Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories	2007-01-19	Paper
Adhesive high-level replacement systems: a new categorical framework for graph transformation	2007-01-19	Paper
Fundamentals of algebraic graph transformation	2006-05-31	Paper

Research outcomes over time

This page was built for person: Ulrike Prange