| Publication | Date of Publication | Type |
|---|
| Testing randomness by Matching Pennies | 2024-11-26 | Paper |
| Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers | 2024-10-01 | Paper |
| From Gödel's incompleteness theorem to the completeness of bot beliefs (extended abstract) | 2024-02-28 | Paper |
| Catales: From topologies without points to categories without objects | 2023-11-17 | Paper |
| Programs as Diagrams | 2023-11-05 | Paper |
| Convenient category of processes and simulations I: Modulo strong bisimilarity | 2022-12-16 | Paper |
| Probabilistic annotations for protocol models. Dedicated to Joshua Guttman | 2022-07-13 | Paper |
| Lambek pregroups are Frobenius spiders in preorders | 2022-07-01 | Paper |
| Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell | 2022-04-20 | Paper |
| (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras | 2021-12-08 | Paper |
| Logic of fusion | 2021-07-08 | Paper |
| Sound up-to techniques and Complete abstract domains | 2021-01-20 | Paper |
| Quotients in monadic programming: Projective algebras are equivalent to coalgebras | 2021-01-19 | Paper |
| Logic of fusion | 2020-07-30 | Paper |
| Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers | 2020-07-20 | Paper |
| Refinement for signal flow graphs | 2020-05-27 | Paper |
| Nucleus I: Adjunction spectra in recommender systems and descent | 2020-04-15 | Paper |
| Privacy protocols | 2020-03-03 | Paper |
| Causality and deceit: Do androids watch action movies? | 2019-10-10 | Paper |
| Logics for actor networks: a two-stage constrained-hybridisation approach | 2019-06-20 | Paper |
| Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) | 2018-10-23 | Paper |
| Logics for actor networks: a case study in constrained hybridization | 2018-04-12 | Paper |
| Functorial Semantics for Relational Theories | 2017-11-23 | Paper |
| Universal probability-free prediction | 2017-11-16 | Paper |
| Smooth coalgebra: testing vector analysis | 2017-09-27 | Paper |
| Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra | 2017-07-11 | Paper |
| Monoidal computer III: A coalgebraic view of computability and complexity | 2017-04-17 | Paper |
| Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories | 2016-10-07 | Paper |
| Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol | 2016-07-08 | Paper |
| Secure protocol composition | 2016-05-03 | Paper |
| Chasing Diagrams in Cryptography | 2014-05-08 | Paper |
| Monoidal computer II: Normal complexity by string diagrams | 2014-02-23 | Paper |
| Labelled Markov processes as generalised stochastic relations | 2013-12-06 | Paper |
| Monoidal computer. I: Basic computability by string diagrams | 2013-12-03 | Paper |
| A new description of orthogonal bases | 2013-06-11 | Paper |
| Bicompletions of Distance Matrices | 2013-05-28 | Paper |
| Geometry of abstraction in quantum computation | 2012-10-01 | Paper |
| Tracing the Man in the Middle in Monoidal Categories | 2012-09-20 | Paper |
| Quantitative Concept Analysis | 2012-09-10 | Paper |
| A Semantical Approach to Equilibria and Rationality | 2012-06-01 | Paper |
| Guarded Transitions in Evolving Specifications | 2011-05-06 | Paper |
| Formal Derivation of Concurrent Garbage Collectors | 2010-07-26 | Paper |
| Classical and quantum structuralism | 2010-05-14 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Testing Semantics: Connecting Processes and Process Logics | 2009-04-28 | Paper |
| Quantum and Classical Structures in Nondeterminstic Computation | 2009-03-26 | Paper |
| Evolving Specification Engineering | 2009-01-27 | Paper |
| Network as a Computer: Ranking Paths to Find Flows | 2008-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5448360 | 2008-03-20 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769437 | 2002-02-05 | Paper |
| On coalgebra of real numbers | 1999-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222953 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493877 | 1999-01-01 | Paper |
| Categorical logic of names and abstraction in action calculi | 1998-03-04 | Paper |
| Chu. I: Cofree equivalences, dualities and *-autonomous categories | 1998-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877444 | 1996-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870809 | 1996-05-07 | Paper |
| On completeness and cocompleteness in and around small categories | 1996-01-17 | Paper |
| A categorical setting for the 4-colour theorem | 1995-12-03 | Paper |
| Maps. I: Relative to a factorisation system | 1995-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282578 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3137163 | 1993-11-04 | Paper |
| On the structure of paradoxes | 1993-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978985 | 1992-06-26 | Paper |
