| Publication | Date of Publication | Type |
|---|
| A graphical language for quantum protocols based on the category of cobordisms | 2024-11-21 | Paper |
| Chromatic numbers for facet colouring of some generalised associahedra | 2024-09-26 | Paper |
| A diagrammatic presentation of the category 3Cob | 2024-06-25 | Paper |
| Chromatic numbers for facet colouring of some generalized associahedra | 2023-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6173572 | 2023-07-21 | Paper |
| From Heegaard diagrams to surgery | 2023-05-30 | Paper |
| A diagrammatic presentation of the category 3Cob | 2023-02-13 | Paper |
| A diagrammatic calculus for categorical quantum protocols | 2022-06-07 | Paper |
| A calculus for S^3-diagrams of manifolds with boundary | 2021-11-22 | Paper |
| Coherence for closed categories with biproducts | 2020-09-24 | Paper |
| Proofs and surfaces | 2020-08-27 | Paper |
| A faithful 2-dimensional TQFT | 2020-01-14 | Paper |
| A simple permutoassociahedron | 2019-10-17 | Paper |
| The \(n\)-fold reduced bar construction | 2018-10-12 | Paper |
| Spheres as Frobenius objects | 2018-08-07 | Paper |
| A note on semisymmetry | 2018-03-29 | Paper |
| Segal’s multisimplicial spaces | 2017-07-19 | Paper |
| REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS | 2017-05-31 | Paper |
| A Planarity Criterion for Graphs | 2015-11-18 | Paper |
| Monoids, Segal's condition and bisimplicial spaces | 2015-05-19 | Paper |
| Graphs for Juncture | 2015-05-05 | Paper |
| Weak Cat-Operads | 2015-04-22 | Paper |
| Symmetric self-adjunctions and matrices | 2014-08-20 | Paper |
| Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions | 2014-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411254 | 2014-04-23 | Paper |
| On stretching the interval simplex-permutohedron | 2014-03-25 | Paper |
| Graphs of plural cuts | 2013-12-04 | Paper |
| Ordinals in Frobenius monads | 2013-06-24 | Paper |
| Coherence of proof-net categories | 2013-06-10 | Paper |
| The Typed Böhm Theorem | 2013-04-19 | Paper |
| Syntax for split preorders | 2013-03-15 | Paper |
| Shuffles and concatenations in the construction of graphs | 2012-11-22 | Paper |
| Intermutation | 2012-05-23 | Paper |
| Isomorphic formulae in classical propositional logic | 2012-02-29 | Paper |
| Hypergraph polytopes | 2011-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007258 | 2011-06-21 | Paper |
| Coherence for modalities | 2011-04-29 | Paper |
| Bicartesian Coherence Revisited | 2011-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3069372 | 2011-01-25 | Paper |
| Coherence for monoidal endofunctors | 2010-08-26 | Paper |
| Coherence for monoidal monads and comonads | 2010-08-26 | Paper |
| Coherence in linear predicate logic | 2009-04-09 | Paper |
| Equality of proofs for linear equality | 2008-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3510438 | 2008-07-02 | Paper |
| Medial commutativity | 2007-05-23 | Paper |
| A NEW PROOF OF THE FAITHFULNESS OF BRAUER'S REPRESENTATION OF TEMPERLEY–LIEB ALGEBRAS | 2007-02-07 | Paper |
| Coherence for star-autonomous categories | 2006-08-16 | Paper |
| Associativity as commutativity | 2006-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3376920 | 2006-03-27 | Paper |
| Coherence and Confluence | 2005-06-15 | Paper |
| Generality of proofs and its Brauerian representation | 2005-02-09 | Paper |
| The geometry of self-adjunction | 2005-01-03 | Paper |
| A Brauerian representation of split preorders | 2004-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436028 | 2003-11-23 | Paper |
| Self-adjunctions and matrices. | 2003-09-15 | Paper |
| G-dinaturality. | 2003-08-13 | Paper |
| Bicartesian coherence | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153288 | 2002-11-05 | Paper |
| Kauffman Monoids | 2002-07-30 | Paper |
| Coherence in substructural categories | 2002-07-08 | Paper |
| The maximality of the typed lambda calculus and of cartesian closed categories | 2001-07-08 | Paper |
| The maximality of Cartesian categories | 2001-03-28 | Paper |
| On permuting cut with contraction | 2000-07-24 | Paper |
| Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | 2000-01-09 | Paper |
| Isomorphic objects in symmetric monoidal closed categories | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688811 | 1997-03-16 | Paper |
| Coherence for logicians | N/A | Paper |
