Ulrike Golas

Available identifiers

zbMath Open golas.ulrikeMaRDI QIDQ418012

List of research outcomes

Publication	Date of Publication	Type
Finitary -adhesive categories	2016-07-26	Paper
Multi-amalgamation of rules with application conditions in -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
Parallelism and Concurrency of Stochastic Graph Transformations	2012-10-02	Paper
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars	2012-10-02	Paper
A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems	2012-10-02	Paper
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: 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
Finitary $\mathcal{M}$ -Adhesive Categories	2010-10-04	Paper
Local Confluence for Rules with Nested Application Conditions	2010-10-04	Paper
Multi-Amalgamation in Adhesive Categories	2010-10-04	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 Golas