| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4990312 | 2021-05-28 | Paper |
| On the geometry and algebra of networks with state | 2017-03-16 | Paper |
| An algebra of automata that includes both classical and quantum entities | 2016-10-07 | Paper |
| Blocked-braid groups | 2015-02-05 | Paper |
| Timing in the cospan-span model | 2013-09-11 | Paper |
| Compositional minimization in Span(Graph): some examples | 2013-09-11 | Paper |
| Tangled circuits | 2013-09-04 | Paper |
| Hierarchical automata and P-systems | 2013-08-27 | Paper |
| Comparing cospan-spans and tiles via a Hoare-style process calculus | 2013-07-24 | Paper |
| Racks and blocked braids | 2013-07-20 | Paper |
| The compositional construction of Markov processes II | 2011-06-10 | Paper |
| The compositional construction of Markov processes | 2011-03-30 | Paper |
| Bicategories of spans as cartesian bicategories | 2010-04-20 | Paper |
| Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems | 2009-09-23 | Paper |
| The parallel composition of processes | 2009-04-25 | Paper |
| A process algebra for the Span(Graph) model of concurrency | 2009-04-25 | Paper |
| Calculating Colimits Compositionally | 2008-06-19 | Paper |
| Cartesian Bicategories II | 2008-05-16 | Paper |
| Frobenius Objects in Cartesian Bicategories | 2008-03-31 | Paper |
| A universal property of the monoidal 2-category of cospans of finite linear orders and surjections | 2008-03-31 | Paper |
| On partita doppia | 2008-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701017 | 2005-11-02 | Paper |
| Minimisation and minimal realisation in Span(Graph) | 2005-02-28 | Paper |
| Computing left Kan extensions. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511151 | 2003-01-08 | Paper |
| The compact closed bicategory of left adjoints | 2002-02-26 | Paper |
| Minimal realization in bicategories of automata | 1999-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373555 | 1998-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373556 | 1998-04-20 | Paper |
| Matrices, machines and behaviors | 1997-04-09 | Paper |
| A note on recursive functions | 1996-06-16 | Paper |
| The Todd-Coxeter procedure and left Kan extensions | 1996-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4843624 | 1995-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327836 | 1995-04-09 | Paper |
| An imperative language based on distributive categories II | 1995-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311230 | 1994-11-08 | Paper |
| Coinverters and categories of fractions for categories with structure | 1994-08-18 | Paper |
| An imperative language based on distributive categories | 1994-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5288969 | 1993-08-15 | Paper |
| Introduction to extensive and distributive categories | 1993-05-16 | Paper |
| Algebra objects and algebra families for finite limit theories | 1993-05-16 | Paper |
| Categories and Computer Science | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978969 | 1992-06-26 | Paper |
| The duality between flow charts and circuits | 1990-01-01 | Paper |
| A note on context-free languages | 1989-01-01 | Paper |
| Data types in distributive categories | 1989-01-01 | Paper |
| The free category with products on a multigraph | 1989-01-01 | Paper |
| The calculus of ends over a base topos | 1989-01-01 | Paper |
| Cartesian bicategories. I | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3810814 | 1987-01-01 | Paper |
| An axiomatics for bicategories of modules | 1987-01-01 | Paper |
| On completeness of locally-internal categories | 1987-01-01 | Paper |
| Variation through enrichment | 1983-01-01 | Paper |
| Sheaves on sites as Cauchy-complete categories | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3963202 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958648 | 1981-01-01 | Paper |
| Yoneda structures on 2-categories | 1978-01-01 | Paper |
| The comprehensive factorization of a functor | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612493 | 1969-01-01 | Paper |
| Alternative derivation of some regular continued fractions | 1968-01-01 | Paper |
