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
https://portal.mardi4nfdi.de/entity/Q3396630	2009-09-19	Paper
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems	2009-03-11	Paper
Categorical Foundations of Distributed Graph Transformation	2008-11-27	Paper
Termination Analysis of Model Transformations by Petri Nets	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
https://portal.mardi4nfdi.de/entity/Q3416071	2007-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3416072	2007-01-19	Paper
Fundamentals of algebraic graph transformation	2006-05-31	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ulrike Prange