| Publication | Date of Publication | Type |
|---|
| Categorical semantics for time travel | 2024-12-19 | Paper |
| Quantum natural language processing on near-term quantum computers | 2024-11-28 | Paper |
| And-gates in ZX-calculus: spider nest identities and QBC-completeness | 2024-11-28 | Paper |
| From quantum foundations via natural language meaning to a theory of everything | 2024-09-06 | Paper |
| Light-Matter Interaction in the ZXW Calculus | 2024-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6193833 | 2024-02-13 | Paper |
| QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer | 2023-08-28 | Paper |
| Obstructions to Compositionality | 2023-07-26 | Paper |
| Basic ZX-calculus for students and professionals | 2023-03-06 | Paper |
| Distilling Text into Circuits | 2023-01-25 | Paper |
| Categorical Quantum Mechanics I: Causal Quantum Processes | 2022-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869710 | 2022-09-28 | Paper |
| DisCoPy: Monoidal Categories in Python | 2022-01-10 | Paper |
| Symmetric Monoidal Structure with Local Character is a Property | 2021-12-20 | Paper |
| Uniqueness of Composition in Quantum Theory and Linguistics | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384928 | 2021-12-17 | Paper |
| Double Dilation $\neq$ Double Mixing (extended abstract) | 2021-12-17 | Paper |
| The Mathematics of Text Structure | 2021-12-08 | Paper |
| Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} | 2021-12-01 | Paper |
| Compositionality as we see it, everywhere around us | 2021-10-11 | Paper |
| Terminality implies non-signalling | 2021-06-29 | Paper |
| Categories of Quantum and Classical Channels (extended abstract) | 2021-06-23 | Paper |
| Grammar Equations | 2021-06-14 | Paper |
| Trichromatic Open Digraphs for Understanding Qubits | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986178 | 2021-04-27 | Paper |
| Interacting quantum observables: categorical algebra and diagrammatics | 2020-11-24 | Paper |
| Generalized relations in linguistics \& cognition | 2018-12-04 | Paper |
| ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits | 2018-10-17 | Paper |
| Terminality implies no-signalling\dots and much more than that | 2018-09-05 | Paper |
| ZX-Rules for 2-qubit Clifford+T Quantum Circuits | 2018-04-15 | Paper |
| A diagrammatic derivation of the Hermitian adjoint | 2018-03-27 | Paper |
| Generalized relations in linguistics and cognition | 2017-12-20 | Paper |
| The time-reverse of any causal theory is eternal noise | 2017-11-15 | Paper |
| Open System Categorical Quantum Semantics in Natural Language Processing | 2017-07-11 | Paper |
| Strong Complementarity and Non-locality in Categorical Quantum Mechanics | 2017-05-16 | Paper |
| Double Dilation $\neq$ Double Mixing | 2017-04-07 | Paper |
| Picturing Quantum Processes | 2017-03-27 | Paper |
| Categories of quantum and classical channels | 2017-03-08 | Paper |
| Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras | 2016-12-20 | Paper |
| The logic of quantum mechanics - Take II | 2016-12-20 | Paper |
| Categorical quantum mechanics. II: Classical-quantum interaction | 2016-11-09 | Paper |
| Toy quantum categories (extended abstract) | 2016-10-07 | Paper |
| Phase groups and the origin of non-locality for qubits | 2016-10-07 | Paper |
| Graphical calculus for quantum key distribution (extended abstract) | 2016-10-07 | Paper |
| Pictures of complete positivity in arbitrary dimension | 2016-10-06 | Paper |
| A mathematical theory of resources | 2016-10-06 | Paper |
| Compositional Distributional Cognition | 2016-08-12 | Paper |
| Entropic geometry from logic | 2016-05-03 | Paper |
| Distributional Sentence Entailment Using Density Matrices | 2016-04-01 | Paper |
| A Compositional Explanation of the ‘Pet Fish’ Phenomenon | 2016-03-10 | Paper |
| Graded Entailment for Compositional Distributional Semantics | 2016-01-19 | Paper |
| Tutorial: Graphical Calculus for Quantum Circuits | 2015-11-30 | Paper |
| The Logic of Entanglement | 2014-06-02 | Paper |
| An alternative Gospel of structure: order, composition, processes | 2014-05-19 | Paper |
| Bases in Diagrammatic Quantum Protocols | 2014-05-13 | Paper |
| POVMs and Naimark's theorem without sums | 2014-01-17 | Paper |
| Axiomatic description of mixed states from Selinger's CPM-construction | 2014-01-17 | Paper |
| Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus | 2013-12-19 | Paper |
| De-linearizing linearity: projective quantum axiomatics from strong compact closure | 2013-12-06 | Paper |
| Picturing classical and quantum Bayesian inference | 2013-11-25 | Paper |
| Strongly compact closed semantics | 2013-10-08 | Paper |
| Categorical quantum mechanics | 2013-10-04 | Paper |
| Algebra and sequent calculus for epistemic actions | 2013-09-25 | Paper |
| Physical traces: quantum vs. classical information processing | 2013-08-16 | Paper |
| Causal categories: relativistically interacting processes | 2013-07-05 | Paper |
| A new description of orthogonal bases | 2013-06-11 | Paper |
| Compositional quantum logic | 2013-05-28 | Paper |
| Environment and classical channels in categorical quantum mechanics | 2013-01-07 | Paper |
| Spekken's toy theory as a category of processes | 2012-10-01 | Paper |
| A universe of processes and some of its guises | 2011-11-22 | Paper |
| Categories for the Practising Physicist | 2011-05-31 | Paper |
| The Compositional Structure of Multipartite Quantum Entanglement | 2010-09-07 | Paper |
| Environment and classical channels in categorical quantum mechanics | 2010-09-03 | Paper |
| Classical and quantum structuralism | 2010-05-14 | Paper |
| Quantum Picturalism | 2009-08-13 | Paper |
| Introducing categories to the practicing physicist | 2008-09-29 | Paper |
| Interacting Quantum Observables | 2008-08-19 | Paper |
| Toy quantum categories | 2008-08-07 | Paper |
| Quantum measurements without sums | 2008-03-20 | Paper |
| Epistemic Actions as Resources | 2007-12-12 | Paper |
| Kindergarten quantum mechanics -- lecture notes | 2007-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711870 | 2005-12-08 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
| The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes | 2005-03-15 | Paper |
| Disjunctive quantum logic in dynamic perspective | 2002-08-21 | Paper |
| The creation-discovery-view: Towards a possible explanation of quantum reality | 2002-07-22 | Paper |
| Quantum logic in intuitionistic perspective | 2002-07-08 | Paper |
| Structural characterization of compoundness | 2002-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508557 | 2001-06-04 | Paper |
| State transitions as morphisms for complete lattices | 2001-02-25 | Paper |
| A logical description for perfect measurements | 2001-02-25 | Paper |
| On a duality of quantales emerging from an operational resolution | 2000-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508550 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239959 | 1999-10-14 | Paper |
| A representation of projection lattices and their states in Euclidean space | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244860 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244855 | 1999-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244851 | 1999-05-31 | Paper |
| Hidden measurements, automorphisms, and decompositions in context-dependent components | 1998-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371945 | 1998-09-30 | Paper |
| Superposition states through correlations of the second kind | 1997-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3124387 | 1997-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3124388 | 1997-07-08 | Paper |
| Hidden measurement model for pure and mixed states of quantum physics in Euclidean space | 1996-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864831 | 1996-07-17 | Paper |
| Quantaloids Describing Causation and Propagation of Physical Properties | N/A | Paper |
| Quantum information-flow, concretely, and axiomatically | N/A | Paper |
| Forcing Discretization and Determination in Quantum History Theories | N/A | Paper |
| Constructor Theory as Process Theory | N/A | Paper |
