| Publication | Date of Publication | Type |
|---|
| High-level methods for homotopy construction in associative \(n\)-categories | 2024-12-19 | Paper |
| Traced monoidal categories as algebraic structures in Prof | 2024-12-17 | Paper |
| Zigzag normalisation for associative \(n\)-categories | 2024-12-06 | Paper |
| A type theory for strictly unital \(\infty \)-categories | 2024-12-06 | Paper |
| From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics | 2024-08-12 | Paper |
| Computads for weak \(\omega \)-categories as an inductive type | 2024-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6153328 | 2024-02-13 | Paper |
| On Structures in Arrow Categories | 2023-09-27 | Paper |
| Posetal Diagrams for Logically-Structured Semistrict Higher Categories | 2023-05-19 | Paper |
| From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics | 2023-02-14 | Paper |
| Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory | 2023-02-10 | Paper |
| Zigzag normalisation for associative $n$-categories | 2022-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028464 | 2022-02-09 | Paper |
| Traced Monoidal Categories as Algebraic Structures in Prof | 2021-12-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385640 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384951 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014791 | 2021-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014808 | 2021-12-08 | Paper |
| Shaded tangles for the design and verification of quantum circuits | 2021-10-29 | Paper |
| A Type Theory for Strictly Associative Infinity Categories | 2021-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997302 | 2021-06-29 | Paper |
| Abstract structure of unitary oracles for quantum algorithms | 2021-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997303 | 2021-06-29 | Paper |
| Data structures for quasistrict higher categories | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227516 | 2019-08-06 | Paper |
| Categories for Quantum Theory | 2019-07-17 | Paper |
| Biunitary constructions in quantum information | 2019-06-19 | Paper |
| A classical groupoid model for quantum networks | 2019-05-17 | Paper |
| High-level methods for homotopy construction in associative $n$-categories | 2019-02-11 | Paper |
| A Classical Groupoid Model for Quantum Networks | 2018-08-13 | Paper |
| A 2-Categorical Approach to Composing Quantum Structures. | 2018-08-13 | Paper |
| Globular: an online proof assistant for higher-dimensional rewriting | 2018-01-23 | Paper |
| The categorified Heisenberg algebra. I: A combinatorial representation. | 2017-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369499 | 2017-10-17 | Paper |
| Topological Structure of Quantum Algorithms | 2017-07-03 | Paper |
| Higher Semantics of Quantum Protocols | 2017-05-16 | Paper |
| Categorical formulation of finite-dimensional \(C^*\)-algebras | 2016-10-07 | Paper |
| Categorical properties of the complex numbers | 2016-10-07 | Paper |
| Bicategorical semantics for nondeterministic computation | 2016-04-12 | Paper |
| Modular categories as representations of the 3-dimensional bordism 2-category | 2015-09-22 | Paper |
| Wormholes and entanglement | 2014-12-16 | Paper |
| Extended 3-dimensional bordism as the theory of modular objects | 2014-11-04 | Paper |
| Completeness of \(\dagger\)-categories and the complex numbers | 2013-09-24 | Paper |
| A new description of orthogonal bases | 2013-06-11 | Paper |
| Higher Quantum Theory | 2012-07-19 | Paper |
| Categorical formulation of finite-dimensional quantum algebras | 2011-06-17 | Paper |
| A categorical framework for the quantum harmonic oscillator | 2009-03-24 | Paper |
| Traced monoidal categories as algebraic structures in $\mathbf{Prof}$ | N/A | Paper |
| Computads for weak $\omega$-categories as an inductive type | N/A | Paper |
| A layout algorithm for higher-dimensional string diagrams | N/A | Paper |
| The theory and applications of anticolimits | N/A | Paper |
| homotopy.io: a proof assistant for finitely-presented globular $n$-categories | N/A | Paper |
