Ulrike Golas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories Mathematical Structures in Computer Science	2016-07-26	Paper
Finitary \(\mathcal{M}\)-adhesive categories Mathematical Structures in Computer Science	2016-07-26	Paper
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation Mathematical Structures in Computer Science	2016-07-26	Paper
Formal analysis of model transformations based on triple graph grammars Mathematical Structures in Computer Science	2016-07-26	Paper
Graph and model transformation. General framework and applications Monographs in Theoretical Computer Science. An EATCS Series	2016-02-09	Paper
Towards Local Confluence Analysis for Amalgamated Graph Transformation Graph Transformation	2015-09-22	Paper
Checking bisimilarity for attributed graph transformation Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	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 Lecture Notes in Computer Science	2012-10-02	Paper
Parallelism and concurrency of stochastic graph transformations Lecture Notes in Computer Science	2012-10-02	Paper
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence Fundamenta Informaticae	2012-07-11	Paper
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs Theoretical Computer Science	2012-05-14	Paper
How to delete categorically -- two pushout complement constructions Journal of Symbolic Computation	2011-03-14	Paper
Parallel independence of amalgamated graph transformations applied to model transformation Lecture Notes in Computer Science	2010-11-26	Paper
Formal analysis of functional behaviour for model transformations based on triple graph grammars Lecture Notes in Computer Science	2010-10-04	Paper
Local Confluence for Rules with Nested Application Conditions Lecture Notes in Computer Science	2010-10-04	Paper
Finitary \(\mathcal{M}\)-adhesive categories Lecture Notes in Computer Science	2010-10-04	Paper
Multi-amalgamation in adhesive categories Lecture Notes in Computer Science	2010-10-04	Paper

Research outcomes over time

This page was built for person: Ulrike Golas