| Publication | Date of Publication | Type |
|---|
| A comonadic view of simulation and quantum resources | 2024-12-19 | Paper |
| Logical journeys: a scientific autobiography | 2024-10-01 | Paper |
| Comonadic semantics for hybrid logic | 2024-08-06 | Paper |
| Specification structures and propositions-as-types for concurrency | 2024-06-21 | Paper |
| Arboreal categories and equi-resource homomorphism preservation theorems | 2024-04-04 | Paper |
| State-independent all-versus-nothing arguments | 2023-11-18 | Paper |
| Arboreal Categories: An Axiomatic Theory of Resources | 2023-08-26 | Paper |
| Retracing some paths in process algebra | 2023-06-28 | Paper |
| A generalized Kahn Principle for abstract asynchronous networks | 2023-04-12 | Paper |
| Discrete density comonads and graph parameters | 2022-12-07 | Paper |
| Contextuality: At the Borders of Paradox | 2022-10-11 | Paper |
| Structure and Power: an Emerging Landscape | 2022-10-07 | Paper |
| Relating Structure and Power: Comonadic Semantics for Computational Resources | 2022-05-28 | Paper |
| Discrete density comonads and graph parameters | 2022-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015183 | 2021-12-06 | Paper |
| Relating structure and power: Comonadic semantics for computational resources | 2021-10-21 | Paper |
| Comonadic semantics for hybrid logic and bounded fragments | 2021-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997265 | 2021-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997264 | 2021-06-29 | Paper |
| Non-locality, contextuality and valuation algebras: a general theory of disagreement | 2021-06-15 | Paper |
| Dynamic game semantics | 2021-05-14 | Paper |
| The Cohomology of Non-Locality and Contextuality | 2021-04-27 | Paper |
| Logic and Geometry of Agents in Agent-Based Modeling | 2021-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144676 | 2021-01-19 | Paper |
| The sheaf-theoretic structure of non-locality and contextuality | 2020-11-19 | Paper |
| The logic of contextuality | 2020-11-05 | Paper |
| Relating Structure and Power: Extended Version | 2020-10-13 | Paper |
| Classical Logic, Classical Probability, and Quantum Mechanics | 2020-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111249 | 2020-05-26 | Paper |
| Arrow’s Theorem by Arrow Theory | 2020-02-03 | Paper |
| Whither semantics? | 2020-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967168 | 2019-07-03 | Paper |
| A complete characterization of all-versus-nothing arguments for stabilizer states | 2018-12-12 | Paper |
| Relating structure and power: comonadic semantics for computational resources (extended abstract) | 2018-10-23 | Paper |
| Relational databases and Bell's theorem | 2018-10-18 | Paper |
| Game semantics for dependent types | 2018-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637983 | 2018-05-03 | Paper |
| Contextuality, Cohomology and Paradox | 2017-08-31 | Paper |
| Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting | 2017-06-14 | Paper |
| Operational theories and Categorical quantum mechanics | 2016-12-20 | Paper |
| Possibilities determine the combinatorial structure of probability polytopes | 2016-11-01 | Paper |
| Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states | 2016-10-06 | Paper |
| Robin Milner's Work on Concurrency | 2016-07-08 | Paper |
| Game semantics for access control | 2016-05-10 | Paper |
| Games for Dependent Types | 2015-11-04 | Paper |
| What are the Fundamental Structures of Concurrency? | 2015-07-10 | Paper |
| Intensionality, Definability and Computation | 2015-05-11 | Paper |
| From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference | 2015-04-28 | Paper |
| Events in context | 2014-07-25 | Paper |
| An Operational Interpretation of Negative Probabilities and No-Signalling Models | 2014-06-02 | Paper |
| Semantic Unification | 2014-05-08 | Paper |
| Event domains, stable functions and proof-nets | 2013-12-06 | Paper |
| Big toy models. Representing physical systems as Chu spaces | 2013-11-25 | Paper |
| Categorical quantum mechanics | 2013-10-04 | Paper |
| Logic and categories as tools for building theories | 2013-10-04 | Paper |
| Physical traces: quantum vs. classical information processing | 2013-08-16 | Paper |
| Coalgebras, Chu spaces, and representations of physical systems | 2013-08-09 | Paper |
| Relational hidden variables and non-locality | 2013-06-13 | Paper |
| Heterotic Computing Examples with Optics, Bacteria, and Chemicals | 2012-11-08 | Paper |
| \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics | 2012-10-01 | Paper |
| From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference | 2012-09-20 | Paper |
| A Generalized Kahn Principle for Abstract Asynchronous Networks | 2011-12-02 | Paper |
| A Cook's Tour of the Finitary Non-Well-Founded Sets | 2011-06-21 | Paper |
| Introduction to Categories and Categorical Logic | 2011-05-31 | Paper |
| From CSP to Game Semantics | 2010-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3574464 | 2010-07-09 | Paper |
| No-Cloning In Categorical Quantum Mechanics | 2010-05-14 | Paper |
| From IF to BI. A tale of dependence and separation | 2009-08-11 | Paper |
| Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract) | 2009-03-05 | Paper |
| Petri Nets, Discrete Physics, and Distributed Quantum Computation | 2008-06-19 | Paper |
| Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics | 2008-03-20 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| A categorical quantum logic | 2006-08-28 | Paper |
| A structural approach to reversible computation | 2006-01-10 | Paper |
| Linear realizability and full completeness for typed lambda-calculi | 2005-06-23 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
| A game semantics for generic polymorphism | 2005-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823132 | 2004-10-26 | Paper |
| Sequentiality vs. concurrency in games and logic | 2004-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417848 | 2003-07-30 | Paper |
| Geometry of Interaction and linear combinatory algebras | 2003-03-13 | Paper |
| Full abstraction for PCF | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783324 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536349 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753670 | 2001-11-11 | Paper |
| Process realizability | 2001-10-21 | Paper |
| A fully abstract denotational semantics for the calculus of higher-order communicating systems | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263830 | 2001-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499139 | 2001-03-06 | Paper |
| Full abstraction for idealized Algol with passive expressions | 2000-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490717 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885871 | 2000-04-26 | Paper |
| Nuclear and trace ideals in tensored \(^*\)-categories | 2000-02-15 | Paper |
| A specification structure for deadlock-freedom of synchronous processes | 2000-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256645 | 1999-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225147 | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222822 | 1998-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218919 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364392 | 1997-11-17 | Paper |
| Proofs as processes | 1996-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870803 | 1996-07-01 | Paper |
| An internal language for autonomous categories | 1995-02-16 | Paper |
| Games and full completeness for multiplicative linear logic | 1994-08-15 | Paper |
| New foundations for the geometry of interaction | 1994-07-18 | Paper |
| Computational interpretations of linear logic | 1994-07-07 | Paper |
| Quantales, observational logic and process semantics | 1994-06-14 | Paper |
| Domain theory in logical form | 1992-06-25 | Paper |
| A domain equation for bisimulation | 1991-01-01 | Paper |
| Abstract Interpretation, Logical Relations, and Kan Extensions | 1990-01-01 | Paper |
| Mixed computation of Prolog programs | 1988-01-01 | Paper |
| Observation equivalence as a testing equivalence | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3729991 | 1986-01-01 | Paper |
| Strictness analysis for higher-order functions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3026333 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711740 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325069 | 1983-01-01 | Paper |
| Team Semantics and Independence Notions in Quantum Physics | N/A | Paper |
| Linear Arboreal Categories | N/A | Paper |
