| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5021220 | 2022-01-12 | Paper |
| Logical rules as fractions and logics as sketches | 2020-09-10 | Paper |
| Algebraic graph rewriting with controlled embedding | 2019-11-22 | Paper |
| The PBPO graph transformation approach | 2019-03-27 | Paper |
| On the essence of parallel independence for the double-pushout and sesqui-pushout approaches | 2018-04-04 | Paper |
| Death of Marc Rybowicz, aged 52 | 2017-06-21 | Paper |
| Parallelism in AGREE Transformations | 2016-09-05 | Paper |
| Relative Hilbert-Post Completeness for Exceptions | 2016-05-25 | Paper |
| AGREE – Algebraic Graph Rewriting with Controlled Embedding | 2015-09-22 | Paper |
| Modeling Pointer Redirection as Cyclic Term-graph Rewriting | 2013-12-20 | Paper |
| Deduction as reduction, from a categorical point of view | 2013-11-19 | Paper |
| Scalability using effects | 2013-07-01 | Paper |
| Graph Transformation with Focus on Incident Edges | 2012-10-02 | Paper |
| A duality between exceptions and states | 2012-09-06 | Paper |
| A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW | 2012-08-30 | Paper |
| Adjunctions for exceptions | 2012-07-05 | Paper |
| Decorated proofs for computational effects: Exceptions | 2012-03-13 | Paper |
| A duality between exceptions and states | 2011-12-11 | Paper |
| Decorated proofs for computational effects: States | 2011-12-11 | Paper |
| Cartesian effect categories are Freyd-categories | 2011-03-14 | Paper |
| Deduction as Reduction | 2010-11-05 | Paper |
| Diagrammatic logic applied to a parameterisation process | 2010-08-26 | Paper |
| A Heterogeneous Pushout Approach to Term-Graph Transformation | 2009-06-30 | Paper |
| Adjunction for Garbage Collection with Application to Graph Rewriting | 2008-01-02 | Paper |
| Diagrammatic specifications | 2004-09-06 | Paper |
| Sketches and computations over fields. | 2003-05-27 | Paper |
| Dynamic evaluation and real closure. | 2003-05-27 | Paper |
| Dynamic evaluation and algebraic closure in Axiom | 1996-11-25 | Paper |
| Algebraic numbers: An example of dynamic evaluation | 1995-06-08 | Paper |
| Sketches and computation – I: basic definitions and static evaluation | 1994-08-14 | Paper |
| Sketches and computation – II: dynamic evaluation and applications | 1994-08-14 | Paper |
| Sketches and parametrization | 1994-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026754 | 1993-02-21 | Paper |
| Absolute Factorization of Polynomials: A Geometric Approach | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470107 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476962 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786545 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732535 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737555 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3346430 | 1984-01-01 | Paper |
| Sur la structure galoisienne du groupe des unites d'un corps abelien réel de type (p,p) | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682651 | 1980-01-01 | Paper |
