| Publication | Date of Publication | Type |
|---|
| Sum and tensor of quantitative effects | 2024-11-12 | Paper |
| Recursion does not always help | 2024-09-06 | Paper |
| Tensor of quantitative equational theories | 2023-12-08 | Paper |
| Smart Choices and the Selection Monad | 2023-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5874204 | 2023-02-07 | Paper |
| A semantics for type checking | 2022-08-16 | Paper |
| Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies | 2022-05-03 | Paper |
| A complete equational axiomatisation of partial differentiation | 2022-04-29 | Paper |
| Chromar, a rule-based language of parameterised objects | 2022-04-25 | Paper |
| Quantitative Equational Reasoning | 2021-02-16 | Paper |
| An Algebraic Theory of Markov Processes | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144649 | 2021-01-19 | Paper |
| Reverse derivative categories | 2019-10-15 | Paper |
| Chromar, a language of parameterised agents | 2019-06-18 | Paper |
| Bistructures, bidomains and linear logic | 2019-04-29 | Paper |
| A calculus of chemical systems | 2018-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683857 | 2018-09-26 | Paper |
| Quantitative Algebraic Reasoning | 2018-04-23 | Paper |
| Dijkstra monads for free | 2017-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980964 | 2017-05-08 | Paper |
| Scaling network verification using symmetry and surgery | 2016-10-24 | Paper |
| Dependent Types and Fibred Computational Effects | 2016-06-10 | Paper |
| Layout randomization and nondeterminism | 2016-04-12 | Paper |
| Foundations of Differential Dataflow | 2015-10-01 | Paper |
| Algebraic foundations for effect-dependent optimisations | 2015-09-11 | Paper |
| A model of cooperative threads | 2015-07-03 | Paper |
| On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs | 2015-06-26 | Paper |
| Approximating Markov Processes by Averaging | 2014-09-12 | Paper |
| Cartesian closed categories of separable Scott domains | 2014-07-25 | Paper |
| Layout Randomization and Nondeterminism | 2014-06-02 | Paper |
| Tensors of Comodels and Models for Operational Semantics | 2014-05-13 | Paper |
| Handling Algebraic Effects | 2014-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851544 | 2013-10-10 | Paper |
| Retracted: Semantic domains for combining probability and non-determinism | 2013-09-30 | Paper |
| Semantic domains for combining probability and non-determinism | 2013-09-30 | Paper |
| The Compiler Forest | 2013-08-05 | Paper |
| Partial Recursive Functions and Finality | 2013-05-28 | Paper |
| Multi-level modelling via stochastic multi-level multiset rewriting | 2013-04-29 | Paper |
| Bialgebraic Semantics and Recursion | 2013-04-26 | Paper |
| Semantics for Algebraic Operations | 2013-04-26 | Paper |
| Approximating Labelled Markov Processes Again! | 2012-06-01 | Paper |
| A Model of Cooperative Threads | 2010-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3059185 | 2010-12-08 | Paper |
| Robin Milner: 13 January 1934-20 March 2010 | 2010-11-22 | Paper |
| On CSP and the Algebraic Theory of Effects | 2010-10-26 | Paper |
| Configuration structures, event structures and Petri nets | 2009-09-29 | Paper |
| Approximating Markov Processes by Averaging | 2009-07-14 | Paper |
| Predicate transformers for extended probability and non-determinism | 2009-06-30 | Paper |
| On the completeness of order-theoretic models of the \(\lambda \)-calculus | 2009-06-08 | Paper |
| Handlers of Algebraic Effects | 2009-03-31 | Paper |
| Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories | 2008-03-25 | Paper |
| Some Varieties of Equational Logic | 2007-09-07 | Paper |
| Combining algebraic effects with continuations | 2007-05-11 | Paper |
| Algebra and Coalgebra in Computer Science | 2006-10-20 | Paper |
| Combining effects: sum and tensor | 2006-08-16 | Paper |
| A domain-theoretic Banach–Alaoglu theorem | 2006-08-10 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| The origins of structural operational semantics | 2004-09-08 | Paper |
| A structural approach to operational semantics | 2004-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738236 | 2004-08-11 | Paper |
| Algebraic operations and generic effects | 2003-06-09 | Paper |
| Three inadequate models | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771052 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754136 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511324 | 2000-10-30 | Paper |
| Full abstraction, totality and PCF | 1999-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218924 | 1999-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362914 | 1998-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353631 | 1997-09-10 | Paper |
| On a question of H. Friedman | 1996-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847018 | 1996-06-25 | Paper |
| Concrete domains | 1995-03-20 | Paper |
| A semantics for static type inference | 1995-01-08 | Paper |
| Set-theoretical and other elementary models of the \(\lambda\)-calculus | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281485 | 1994-06-02 | Paper |
| A logical view of composition | 1994-01-13 | Paper |
| On functors expressible in the polymorphic typed lambda calculus | 1993-08-30 | Paper |
| A framework for defining logics | 1993-05-16 | Paper |
| FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204052 | 1989-01-01 | Paper |
| On Proving Limiting Completeness | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3794154 | 1987-01-01 | Paper |
| Countable nondeterminism and random assignment | 1986-01-01 | Paper |
| An ideal model for recursive polymorphic types | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657409 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4743724 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680283 | 1982-01-01 | Paper |
| The Category-Theoretic Solution of Recursive Domain Equations | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4749207 | 1982-01-01 | Paper |
| Petri nets, event structures and domains. I | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917476 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920613 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3938462 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851636 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907039 | 1979-01-01 | Paper |
| \(\mathbb{T}^\omega\) as a universal domain | 1978-01-01 | Paper |
| LCF considered as a programming language | 1978-01-01 | Paper |
| A Powerdomain Construction | 1976-01-01 | Paper |
| Call-by-name, call-by-value and the \(\lambda\)-calculus | 1975-01-01 | Paper |
| The λ-calculus is ω-incomplete | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5678447 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677085 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5624681 | 1969-01-01 | Paper |
