| Publication | Date of Publication | Type |
|---|
| Axioms for the category of Hilbert spaces and linear contractions | 2024-04-06 | Paper |
| Ordered locales | 2024-03-20 | Paper |
| Categories of sets with infinite addition | 2023-08-29 | Paper |
| Duoidally enriched Freyd categories | 2023-08-17 | Paper |
| Sheaf representation of monoidal categories | 2023-03-02 | Paper |
| Universal Properties of Partial Quantum Maps | 2022-06-09 | Paper |
| The CBH characterisation theorem beyond algebraic quantum theory | 2022-06-08 | Paper |
| Reversible effects as inverse arrows | 2022-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020637 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384950 | 2021-12-17 | Paper |
| Space in Monoidal Categories | 2021-12-17 | Paper |
| Axiomatizing complete positivity | 2021-12-06 | Paper |
| Categories of relations as models of quantum theory | 2021-12-06 | Paper |
| Axioms for the category of Hilbert spaces | 2021-09-15 | Paper |
| Completely positive projections and biproducts | 2021-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997302 | 2021-06-29 | Paper |
| Categories of Quantum and Classical Channels (extended abstract) | 2021-06-23 | Paper |
| Tensor-restriction categories | 2021-06-21 | Paper |
| No-go theorems for functorial localic spectra of noncommutative rings | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986178 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986185 | 2021-04-27 | Paper |
| Topos quantum theory with short posets | 2021-04-16 | Paper |
| Bennett and Stinespring, Together at Last | 2021-02-17 | Paper |
| A Convenient Category for Higher-Order Probability Theory | 2021-01-19 | Paper |
| Tensor topology | 2020-05-04 | Paper |
| Monoidal characterisation of groupoids and connectors | 2020-04-06 | Paper |
| Boolean subalgebras of orthoalgebras | 2019-12-13 | Paper |
| Domains of commutative C*-subalgebras | 2019-11-15 | Paper |
| Categories for Quantum Theory | 2019-07-17 | Paper |
| Limits in dagger categories | 2019-06-17 | Paper |
| Compact inverse categories | 2019-06-10 | Paper |
| Ontological models for quantum theory as functors | 2019-05-22 | Paper |
| Can a quantum state over time resemble a quantum state at a single time? | 2018-11-29 | Paper |
| Frobenius structures over Hilbert \(C^*\)-modules | 2018-08-24 | Paper |
| Domains of Commutative C*-Subalgebras | 2018-04-23 | Paper |
| Semantics for probabilistic programming | 2018-04-23 | Paper |
| The category of matroids | 2018-04-13 | Paper |
| Discretization of $C^*$-algebras | 2017-08-17 | Paper |
| Categories of quantum and classical channels | 2017-03-08 | Paper |
| Monads on dagger categories | 2017-01-06 | Paper |
| Operational theories and Categorical quantum mechanics | 2016-12-20 | Paper |
| Reversible monadic computing | 2016-12-16 | Paper |
| Quantum Logic in Dagger Kernel Categories | 2016-10-07 | Paper |
| Pictures of complete positivity in arbitrary dimension | 2016-10-06 | Paper |
| The many classical faces of quantum structures | 2014-12-05 | Paper |
| On discretization of C*-algebras | 2014-12-04 | Paper |
| Active lattices determine \(\mathrm{AW}^\ast\)-algebras | 2014-08-29 | Paper |
| Extending obstructions to noncommutative functorial spectra | 2014-08-25 | Paper |
| Characterizations of categories of commutative \(C^*\)-subalgebras | 2014-08-15 | Paper |
| Piecewise Boolean Algebras and Their Domains | 2014-07-01 | Paper |
| Semimodule Enrichment | 2014-05-13 | Paper |
| Matrix multiplication is determined by orthogonality and trace | 2014-02-19 | Paper |
| Bohrification of operator algebras and quantum logic | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851324 | 2013-10-10 | Paper |
| Compositional Quantum Logic | 2013-05-28 | Paper |
| On the Functor ℓ2 | 2013-05-28 | Paper |
| Diagonalizing matrices over \(AW^\ast\)-algebras | 2013-04-30 | Paper |
| Relative Frobenius algebras are groupoids | 2013-04-17 | Paper |
| Erratum to: Noncommutativity as a colimit | 2013-02-01 | Paper |
| Complementarity in categorical quantum mechanics | 2013-01-07 | Paper |
| Noncommutativity as a colimit | 2012-12-21 | Paper |
| H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics | 2012-10-01 | Paper |
| Coalgebraic Components in a Many-Sorted Microcosm | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3100022 | 2011-11-22 | Paper |
| THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH | 2011-06-29 | Paper |
| Quantum logic in dagger kernel categories | 2010-07-02 | Paper |
| A topos for algebraic quantum theory | 2010-01-11 | Paper |
| An embedding theorem for Hilbert categories | 2009-11-21 | Paper |
| Categorical semantics for arrows | 2009-10-28 | Paper |
| Intuitionistic quantum logic of an \(n\)-level system | 2009-10-21 | Paper |
| Compactly accessible categories and quantum key distribution | 2009-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3535984 | 2008-11-17 | Paper |
| Quantifiers for quantum logic | 2008-11-10 | Paper |
