| Publication | Date of Publication | Type |
|---|
| Urns & Tubes | 2023-01-12 | Paper |
| Stick breaking, in coalgebra and probability | 2022-12-07 | Paper |
| On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa | 2022-08-16 | Paper |
| Mongruences and cofree coalgebras | 2022-08-16 | Paper |
| Causal inference via string diagram surgery | 2022-05-17 | Paper |
| Learning along a channel: the expectation part of expectation-maximisation | 2022-04-29 | Paper |
| Neural nets via forward state transformation and backward loss transformation | 2022-04-29 | Paper |
| A note on distances between probabilistic and quantum distributions | 2022-04-25 | Paper |
| Ghost signals: verifying termination of busy waiting | 2022-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385638 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015193 | 2021-12-06 | Paper |
| Towards a Categorical Account of Conditional Probability | 2021-12-06 | Paper |
| Steps and traces | 2021-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155676 | 2021-10-08 | Paper |
| Learning to coordinate | 2021-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986190 | 2021-04-27 | Paper |
| De Finetti's construction as a categorical limit | 2021-02-22 | Paper |
| The Logical Essentials of Bayesian Reasoning | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111235 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5109515 | 2020-05-12 | Paper |
| Causal inference by string diagram surgery | 2020-01-28 | Paper |
| Disintegration and Bayesian inversion via string diagrams | 2019-11-15 | Paper |
| The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule | 2019-09-13 | Paper |
| Deadlock-free monitors | 2019-09-13 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580221 | 2018-08-13 | Paper |
| A Type Theory for Probabilistic and Bayesian Reasoning | 2018-08-13 | Paper |
| Healthiness from Duality | 2018-04-23 | Paper |
| Effectuses from monads | 2018-04-23 | Paper |
| A predicate/state transformer semantics for Bayesian learning | 2018-04-23 | Paper |
| Quantum effect logic in cognition | 2018-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4602280 | 2018-01-09 | Paper |
| From probability monads to commutative effectuses | 2017-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5369495 | 2017-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367056 | 2017-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5275347 | 2017-07-11 | Paper |
| Measurable Spaces and Their Effect Logic | 2017-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5270088 | 2017-06-22 | Paper |
| Relating Operator Spaces via Adjunctions | 2016-12-20 | Paper |
| An effect-theoretic account of Lebesgue integration | 2016-12-16 | Paper |
| Introduction to Coalgebra | 2016-10-26 | Paper |
| Quantum Logic in Dagger Kernel Categories | 2016-10-07 | Paper |
| The expectation monad in quantum foundations | 2016-10-06 | Paper |
| Sound Modular Verification of C Code Executing in an Unverified Context | 2016-09-29 | Paper |
| Security monitor inlining and certification for multithreaded Java | 2016-07-27 | Paper |
| Affine Monads and Side-Effect-Freeness | 2016-07-15 | Paper |
| Coalgebraic Representation Theory of Fractals | 2016-07-08 | Paper |
| The Fall of a Tiny Star | 2016-05-02 | Paper |
| Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs | 2016-04-26 | Paper |
| On block structures in quantum computation | 2016-04-12 | Paper |
| First Steps Towards Cumulative Inductive Types in CIC | 2016-02-25 | Paper |
| Dijkstra and Hoare monads in monadic computation | 2015-11-10 | Paper |
| Featherweight VeriFast | 2015-10-29 | Paper |
| New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic | 2015-10-29 | Paper |
| States of Convex Sets | 2015-10-01 | Paper |
| Dijkstra Monads in Monadic Computation | 2015-09-11 | Paper |
| From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality | 2015-08-25 | Paper |
| Trace semantics via determinization | 2015-04-28 | Paper |
| Automata Learning: A Categorical Perspective | 2014-06-02 | Paper |
| Scalars, Monads, and Categories | 2014-05-19 | Paper |
| Initial Algebras of Terms with Binding and Algebraic Structure | 2014-05-08 | Paper |
| An introduction to (co)algebra and (co)induction | 2014-04-24 | Paper |
| Expressive modular fine-grained concurrency specification | 2014-04-10 | Paper |
| Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems | 2014-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863893 | 2013-12-04 | Paper |
| Dagger categories of tame relations | 2013-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851324 | 2013-10-10 | Paper |
| Bases as Coalgebras | 2013-09-26 | Paper |
| From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847812 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847813 | 2013-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843725 | 2013-08-23 | Paper |
| Factorization systems and fibrations | 2013-08-16 | Paper |
| Comprehension for Coalgebras | 2013-08-15 | Paper |
| Involutive categories and monoids, with a GNS-correspondence | 2013-01-07 | Paper |
| Coreflections in algebraic quantum logic | 2013-01-07 | Paper |
| From Coalgebraic to Monoidal Traces | 2012-10-02 | Paper |
| Trace Semantics via Determinization | 2012-09-20 | Paper |
| Fibrational Induction Meets Effects | 2012-06-22 | Paper |
| Coalgebraic Components in a Many-Sorted Microcosm | 2012-06-01 | Paper |
| Traces, Executions and Schedulers, Coalgebraically | 2012-06-01 | Paper |
| Bases as Coalgebras | 2011-09-02 | Paper |
| Logical Formalisation and Analysis of the Mifare Classic Card in PVS | 2011-08-17 | Paper |
| Probabilities, distribution monads, and convex categories | 2011-07-07 | Paper |
| Traces for coalgebraic components | 2011-06-10 | Paper |
| Coalgebraic Walks, in Quantum and Turing Computation | 2011-05-19 | Paper |
| Exemplaric Expressivity of Modal Logics | 2010-11-11 | Paper |
| Convexity, Duality and Effects | 2010-10-27 | Paper |
| Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories | 2010-07-27 | Paper |
| Quantum logic in dagger kernel categories | 2010-07-02 | Paper |
| Automatic verification of Java programs with dynamic frames | 2010-05-28 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Categorical semantics for arrows | 2009-10-28 | Paper |
| A Machine Checked Soundness Proof for an Intermediate Verification Language | 2009-02-03 | Paper |
| The Microcosm Principle and Concurrency in Coalgebra | 2008-04-11 | Paper |
| Generic Trace Semantics via Coinduction | 2008-04-01 | Paper |
| Categorical Views on Computations on Trees (Extended Abstract) | 2007-11-28 | Paper |
| A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages | 2007-09-07 | Paper |
| Code-carrying theories | 2007-08-23 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Distributive laws for the coinductive solution of recursive equations | 2006-06-30 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Formal methods for smart cards: an experience report | 2005-05-12 | Paper |
| Simulations in coalgebra | 2005-01-11 | Paper |
| Weakest pre-condition reasoning for Java programs with JML annotations | 2004-10-14 | Paper |
| Source code verification of a secure payment applet | 2004-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738115 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474856 | 2004-07-21 | Paper |
| The temporal logic of coalgebras via Galois algebras | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790646 | 2003-02-04 | Paper |
| Coalgebras and monads in the semantics of Java | 2003-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771757 | 2002-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769594 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767171 | 2002-01-28 | Paper |
| A case study in class library verification: Java's vector class | 2002-01-23 | Paper |
| Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study | 2002-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764132 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763679 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754051 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709810 | 2001-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722012 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499308 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501149 | 2000-09-03 | Paper |
| Object-oriented hybrid systems of coalgebras plus monoid actions | 2000-08-21 | Paper |
| Structural induction and coinduction in a fibrational setting | 2000-07-31 | Paper |
| Coalgebraic theories of sequences in PVS | 1999-12-01 | Paper |
| Categorical logic and type theory | 1999-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222959 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222762 | 1998-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355684 | 1997-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362971 | 1997-11-13 | Paper |
| Duality beyond sober spaces: Topological spaces and observation frames | 1997-02-27 | Paper |
| On cubism | 1996-12-16 | Paper |
| Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi | 1996-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4853312 | 1996-02-13 | Paper |
| Semantics of weakening and contraction | 1994-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281474 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282579 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281475 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138540 | 1993-11-11 | Paper |
| Comprehension categories and the semantics of type dependency | 1993-05-16 | Paper |
| Semantics of the second order lambda calculus | 1992-09-26 | Paper |
| Filter models with polymorphic types | 1992-06-28 | Paper |
| The inconsistency of higher order extensions of Martin-Löf's type theory | 1989-01-01 | Paper |
