| Publication | Date of Publication | Type |
|---|
The more legs the merrier: a new composition for symmetric (multi-)lenses
(available as arXiv preprint) | 2022-01-10 | Paper |
| The more legs the merrier: a new composition for symmetric (multi-)lenses | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7377638 (Why is no real title available?) | 2021-08-03 | Paper |
Category theoretic models of data refinement
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
| Three approaches to partiality in the sketch data model | 2013-08-27 | Paper |
Sketch data models, relational schema and data specifications
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
On the specification of higher dimensional automata
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science | 2012-03-22 | Paper |
Foreword
Applied Categorical Structures | 2011-03-30 | Paper |
| Algebras and update strategies | 2010-09-22 | Paper |
Implementing a Categorical Information System
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Constant Complements, Reversibility and Universal View Updates
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Fibrations and universal view updatability
Theoretical Computer Science | 2007-12-18 | Paper |
Entity-relationship-attribute designs and sketches
Theory and Applications of Categories | 2002-02-07 | Paper |
Entity-relationship-attribute designs and sketches
Theory and Applications of Categories | 2002-02-07 | Paper |
| scientific article; zbMATH DE number 1693449 (Why is no real title available?) | 2002-01-22 | Paper |
Category-theoretic fibration as an abstraction mechanism in information systems
Acta Informatica | 2001-12-13 | Paper |
| scientific article; zbMATH DE number 1670627 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 426310 (Why is no real title available?) | 1994-03-13 | Paper |
Algebra objects and algebra families for finite limit theories
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 139985 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 139987 (Why is no real title available?) | 1993-03-28 | Paper |
The combinatorics of n-categorical pasting
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4081798 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4081798 (Why is no real title available?) | 1987-01-01 | Paper |
