Ulrike Golas

Available identifiers

zbMath Open golas.ulrikeMaRDI QIDQ418012

List of research outcomes

Publication	Date of Publication	Type
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories	2016-07-26	Paper
Finitary \(\mathcal{M}\)-adhesive categories	2016-07-26	Paper
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation	2016-07-26	Paper
Formal analysis of model transformations based on triple graph grammars	2016-07-26	Paper
Graph and model transformation. General framework and applications	2016-02-09	Paper
Towards Local Confluence Analysis for Amalgamated Graph Transformation	2015-09-22	Paper
Checking bisimilarity for attributed graph transformation	2013-03-18	Paper
Categorical frameworks for graph transformation and HLR systems based on the DPO approach	2013-01-28	Paper
A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems	2012-10-02	Paper
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements	2012-10-02	Paper
Parallelism and concurrency of stochastic graph transformations	2012-10-02	Paper
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence	2012-07-11	Paper
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs	2012-05-14	Paper
How to delete categorically -- two pushout complement constructions	2011-03-14	Paper
Parallel independence of amalgamated graph transformations applied to model transformation	2010-11-26	Paper
Formal analysis of functional behaviour for model transformations based on triple graph grammars	2010-10-04	Paper
Local Confluence for Rules with Nested Application Conditions	2010-10-04	Paper
Finitary \(\mathcal{M}\)-adhesive categories	2010-10-04	Paper
Multi-amalgamation in adhesive categories	2010-10-04	Paper

Research outcomes over time

This page was built for person: Ulrike Golas