| Publication | Date of Publication | Type |
|---|
| Structural operational semantics for heterogeneously typed coalgebras | 2024-11-26 | Paper |
Indexed and fibered structures for partial and total correctness assertions
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
Multilevel typed graph transformations
Graph Transformation | 2022-09-01 | Paper |
| scientific article; zbMATH DE number 7523923 (Why is no real title available?) | 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
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | 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 |
A formalisation of deep metamodelling
Formal Aspects of Computing | 2016-08-05 | 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 |
A diagrammatic logic for object-oriented visual modeling
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
A formal approach to the specification and transformation of constraints in MDE
The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
A formalisation of the copy-modify-merge approach to version control in MDE
The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Fibred and Indexed Categories for Abstract Model Theory
Logic Journal of the IGPL | 2008-01-18 | Paper |
A (Co)Algebraic Analysis of Synchronization in CSP
Recent Trends in Algebraic Development Techniques | 2007-09-10 | Paper |
| scientific article; zbMATH DE number 5148416 (Why is no real title available?) | 2007-05-02 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
CSP, partial automata, and coalgebras.
Theoretical Computer Science | 2002-07-15 | Paper |
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
Applied Categorical Structures | 2001-04-16 | Paper |
| scientific article; zbMATH DE number 1497870 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1418809 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1361480 (Why is no real title available?) | 2000-02-01 | Paper |
| scientific article; zbMATH DE number 1314225 (Why is no real title available?) | 1999-07-12 | Paper |
Categorical concepts for parameterized partial specifications
Mathematical Structures in Computer Science | 1999-03-30 | Paper |
| scientific article; zbMATH DE number 1303734 (Why is no real title available?) | 1999-01-01 | Paper |
| scientific article; zbMATH DE number 1189285 (Why is no real title available?) | 1998-10-26 | Paper |
Applications of category theory to the area of algebraic specification in computer science
Applied Categorical Structures | 1998-07-16 | Paper |
| scientific article; zbMATH DE number 1086717 (Why is no real title available?) | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 1004364 (Why is no real title available?) | 1997-07-20 | Paper |
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics
Mathematical Structures in Computer Science | 1997-02-17 | Paper |
| scientific article; zbMATH DE number 4195157 (Why is no real title available?) | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4164191 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3938585 (Why is no real title available?) | 1985-01-01 | Paper |
