| Publication | Date of Publication | Type |
|---|
| The more legs the merrier: A new composition for symmetric (multi-)lenses | 2022-01-10 | Paper |
| Tangled Circuits | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843913 | 2013-08-27 | Paper |
| Sketch Data Models, Relational Schema and Data Specifications | 2013-07-24 | Paper |
| Completely and totally distributive categories. I. | 2012-10-16 | Paper |
| Lenses, fibrations and universal translations | 2012-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4929408 | 2010-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614502 | 2009-03-09 | Paper |
| Implementing a Categorical Information System | 2009-01-27 | Paper |
| Constant Complements, Reversibility and Universal View Updates | 2009-01-27 | Paper |
| Calculating Colimits Compositionally | 2008-06-19 | Paper |
| Fibrations and universal view updatability | 2007-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701017 | 2005-11-02 | Paper |
| Minimisation and minimal realisation in Span(Graph) | 2005-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156503 | 2005-01-10 | Paper |
| A database of categories. | 2004-03-14 | Paper |
| Boundedness and complete distributivity | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807625 | 2003-05-20 | Paper |
| Distributive laws and factorization | 2002-12-02 | Paper |
| A basic distributive law | 2002-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2768442 | 2002-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2768445 | 2002-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764001 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4323101 | 1999-09-15 | Paper |
| Minimal realization in bicategories of automata | 1999-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4888793 | 1997-01-26 | Paper |
| An Adjoint Characterization of the Category of Sets | 1994-11-16 | Paper |
| Constructive complete distributivity. IV | 1994-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3137165 | 1993-11-01 | Paper |
| Constructive Complete Distributivity III | 1993-02-16 | Paper |
| Lax monads. Indexed monoidal monads | 1992-06-27 | Paper |
| Constructive complete distributivity II | 1992-06-26 | Paper |
| Pullback preserving functors | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978743 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3211510 | 1990-01-01 | Paper |
| Idempotents in bicategories | 1989-01-01 | Paper |
| Proarrows and cofibrations | 1988-01-01 | Paper |
| Cofibrations. II: Left exact right actions and compositions of gamuts | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028349 | 1986-01-01 | Paper |
| Cofibrations in the bicategory of topoi | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3223017 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671346 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743315 | 1982-01-01 | Paper |
| On defining objects by recursion in a topos | 1981-01-01 | Paper |
| On endomorphisms of internal presheaf topoi | 1981-01-01 | Paper |
| On algebras defined by operations and equations in a topos | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869511 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193637 | 1978-01-01 | Paper |
| Image theorems for simple matrix languages andn-parallel languages | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4105805 | 1975-01-01 | Paper |
| A characterization theorem for n-parallel right linear languages | 1973-01-01 | Paper |
