| Publication | Date of Publication | Type |
|---|
| Bialgebraic representation of coordination frameworks | 2025-10-29 | Paper |
| Structural operational semantics for heterogeneously typed coalgebras | 2024-11-26 | Paper |
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Formalization and analysis of BPMN using graph transformation systems | 2024-01-12 | Paper |
Towards multiple model synchronization with comprehensive systems
Fundamental Approaches to Software Engineering | 2022-10-13 | Paper |
Single pushout rewriting in comprehensive systems
Graph Transformation | 2022-09-01 | Paper |
Comprehensive systems: a formal foundation for multi-model consistency management
Formal Aspects of Computing | 2022-01-11 | Paper |
Single pushout rewriting in comprehensive systems of graph-like structures
Theoretical Computer Science | 2021-08-27 | Paper |
Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Formal Aspects of Computing | 2020-07-27 | Paper |
Multiple model synchronization with multiary delta lenses with amendment and K-Putput
Formal Aspects of Computing | 2019-11-18 | Paper |
| Multiple model synchronization with multiary delta lenses | 2019-09-16 | Paper |
| Being Van Kampen in presheaf topoi is a uniqueness property | 2018-08-13 | Paper |
Van Kampen Colimits and Path Uniqueness
(available as arXiv preprint) | 2018-05-30 | Paper |
| Graph operations and free graph algebras | 2018-04-04 | Paper |
Fibred amalgamation, descent data, and Van Kampen squares in topoi
Applied Categorical Structures | 2015-06-19 | Paper |
Van Kampen squares for graph transformation
Graph Transformation | 2014-09-26 | Paper |
Algebraic Graph Transformations with Inheritance
Lecture Notes in Computer Science | 2014-07-08 | Paper |
Composition of Model Transformations: A Categorical Framework
Lecture Notes in Computer Science | 2012-11-06 | Paper |
Model transformation and induced instance migration: a universal framework
Formal Methods, Foundations and Applications | 2011-11-11 | Paper |
A categorical framework for the transformation of object-oriented systems: models and data
Journal of Symbolic Computation | 2011-03-14 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 950133 (Why is no real title available?) | 1996-12-12 | Paper |
| scientific article; zbMATH DE number 948791 (Why is no real title available?) | 1996-11-24 | Paper |
| scientific article; zbMATH DE number 679958 (Why is no real title available?) | 1994-10-30 | Paper |
| scientific article; zbMATH DE number 50962 (Why is no real title available?) | 1992-09-18 | Paper |
