| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7352262 (Why is no real title available?) | 2021-05-28 | Paper |
On the geometry and algebra of networks with state
Theoretical Computer Science | 2017-03-16 | Paper |
An algebra of automata that includes both classical and quantum entities
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Blocked-braid groups
Applied Categorical Structures | 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
Theory and Applications of Categories | 2013-09-04 | Paper |
Tangled circuits
Theory and Applications of Categories | 2013-09-04 | Paper |
| Hierarchical automata and P-systems | 2013-08-27 | Paper |
Comparing cospan-spans and tiles via a Hoare-style process calculus
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| Racks and blocked braids | 2013-07-20 | Paper |
The compositional construction of Markov processes. II
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
The compositional construction of Markov processes. II
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
The compositional construction of Markov processes
Applied Categorical Structures | 2011-03-30 | Paper |
| Bicategories of spans as cartesian bicategories | 2010-04-20 | Paper |
Bicategories of spans as cartesian bicategories
(available as arXiv preprint) | 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
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Calculating Colimits Compositionally
Concurrency, Graphs and Models | 2008-06-19 | Paper |
| Cartesian Bicategories II | 2008-05-16 | Paper |
Cartesian Bicategories II
(available as arXiv preprint) | 2008-05-16 | Paper |
| Cartesian Bicategories II | 2008-05-16 | Paper |
| Frobenius Objects in Cartesian Bicategories | 2008-03-31 | Paper |
Frobenius Objects in Cartesian Bicategories
(available as arXiv preprint) | 2008-03-31 | 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 |
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
(available as arXiv preprint) | 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 |
| scientific article; zbMATH DE number 2222245 (Why is no real title available?) | 2005-11-02 | Paper |
| scientific article; zbMATH DE number 2222245 (Why is no real title available?) | 2005-11-02 | Paper |
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
Computing left Kan extensions.
Journal of Symbolic Computation | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1522866 (Why is no real title available?) | 2003-01-08 | Paper |
The compact closed bicategory of left adjoints
Mathematical Proceedings of the Cambridge Philosophical Society | 2002-02-26 | Paper |
Minimal realization in bicategories of automata
Mathematical Structures in Computer Science | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1107620 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1107621 (Why is no real title available?) | 1998-04-20 | Paper |
Matrices, machines and behaviors
Applied Categorical Structures | 1997-04-09 | Paper |
A note on recursive functions
Mathematical Structures in Computer Science | 1996-06-16 | Paper |
The Todd-Coxeter procedure and left Kan extensions
Journal of Symbolic Computation | 1996-05-27 | Paper |
| scientific article; zbMATH DE number 784870 (Why is no real title available?) | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 742726 (Why is no real title available?) | 1995-04-09 | Paper |
An imperative language based on distributive categories II
RAIRO - Theoretical Informatics and Applications | 1995-02-08 | Paper |
| scientific article; zbMATH DE number 672109 (Why is no real title available?) | 1994-11-08 | Paper |
| scientific article; zbMATH DE number 672109 (Why is no real title available?) | 1994-11-08 | Paper |
Coinverters and categories of fractions for categories with structure
Applied Categorical Structures | 1994-08-18 | Paper |
An imperative language based on distributive categories
Mathematical Structures in Computer Science | 1994-02-16 | Paper |
| scientific article; zbMATH DE number 273029 (Why is no real title available?) | 1993-08-15 | Paper |
Introduction to extensive and distributive categories
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
Algebra objects and algebra families for finite limit theories
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
| Categories and Computer Science | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 19482 (Why is no real title available?) | 1992-06-26 | Paper |
The duality between flow charts and circuits
Bulletin of the Australian Mathematical Society | 1990-01-01 | Paper |
A note on context-free languages
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
Data types in distributive categories
Bulletin of the Australian Mathematical Society | 1989-01-01 | Paper |
The free category with products on a multigraph
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
The calculus of ends over a base topos
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
Cartesian bicategories. I
Journal of Pure and Applied Algebra | 1987-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 |
An axiomatics for bicategories of modules
Journal of Pure and Applied Algebra | 1987-01-01 | Paper |
On completeness of locally-internal categories
Journal of Pure and Applied Algebra | 1987-01-01 | Paper |
Variation through enrichment
Journal of Pure and Applied Algebra | 1983-01-01 | Paper |
Sheaves on sites as Cauchy-complete categories
Journal of Pure and Applied Algebra | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3785137 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779586 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3779586 (Why is no real title available?) | 1981-01-01 | Paper |
Yoneda structures on 2-categories
Journal of Algebra | 1978-01-01 | Paper |
The comprehensive factorization of a functor
Bulletin of the American Mathematical Society | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3335049 (Why is no real title available?) | 1969-01-01 | Paper |
Alternative derivation of some regular continued fractions
Journal of the Australian Mathematical Society | 1968-01-01 | Paper |
