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 -adhesive categories	2016-07-26	Paper
Finitary -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
https://portal.mardi4nfdi.de/entity/Q4904140	2013-01-28	Paper
A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems	2012-10-02	Paper
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars	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