| Publication | Date of Publication | Type |
|---|
| Indexed and fibered structures for partial and total correctness assertions | 2023-04-19 | Paper |
| Multilevel Typed Graph Transformations | 2022-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5074682 | 2022-05-09 | Paper |
| Indexed and fibred structures for Hoare logic | 2021-01-19 | Paper |
| Multilevel coupled model transformations for precise and reusable definition of model behaviour | 2019-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580212 | 2018-08-13 | Paper |
| Van Kampen Colimits and Path Uniqueness | 2018-05-30 | Paper |
| Graph operations and free graph algebras | 2018-04-04 | Paper |
| A formalisation of deep metamodelling | 2016-08-05 | Paper |
| Fibred amalgamation, descent data, and Van Kampen squares in topoi | 2015-06-19 | Paper |
| Van Kampen Squares for Graph Transformation | 2014-09-26 | Paper |
| A Diagrammatic Logic for Object-Oriented Visual Modeling | 2013-12-06 | Paper |
| A formal approach to the specification and transformation of constraints in MDE | 2012-08-14 | Paper |
| A formalisation of the copy-modify-merge approach to version control in MDE | 2010-10-22 | Paper |
| Fibred and Indexed Categories for Abstract Model Theory | 2008-01-18 | Paper |
| A (Co)Algebraic Analysis of Synchronization in CSP | 2007-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3434500 | 2007-05-02 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| CSP, partial automata, and coalgebras. | 2002-07-15 | Paper |
| Double-pullback transitions and coalgebraic loose semantics for graph transformation systems | 2001-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499301 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942091 | 2000-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699298 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256311 | 1999-07-12 | Paper |
| Categorical concepts for parameterized partial specifications | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250370 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3839059 | 1998-10-26 | Paper |
| Applications of category theory to the area of algebraic specification in computer science | 1998-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362966 | 1998-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3129296 | 1997-07-20 | Paper |
| Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics | 1997-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212269 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3491013 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709913 | 1985-01-01 | Paper |
