| Publication | Date of Publication | Type |
|---|
| The mays and musts of concurrent strategies | 2024-10-01 | Paper |
| Compositional checking of satisfaction | 2024-04-29 | Paper |
| Causal Unfoldings and Disjunctive Causes | 2023-08-26 | Paper |
| A presheaf semantics of value-passing processes | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875349 | 2023-02-03 | Paper |
| Stable bistructure models of PCF (preliminary draft) | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079725 | 2022-05-28 | Paper |
| Continuous probability distributions in concurrent games | 2022-05-03 | Paper |
| The concurrent game semantics of probabilistic PCF | 2021-01-20 | Paper |
| Distributed Strategies Made Easy | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111212 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111308 | 2020-05-26 | Paper |
| Concurrent quantum strategies | 2019-10-17 | Paper |
| Bistructures, bidomains and linear logic | 2019-04-29 | Paper |
| Thin games with symmetry and concurrent Hyland-Ong games | 2019-03-18 | Paper |
| Non-angelic concurrent game semantics | 2018-07-17 | Paper |
| Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures | 2018-07-16 | Paper |
| Symmetry in concurrent games | 2018-04-23 | Paper |
| The Parallel Intensionally Fully Abstract Games Model of PCF | 2018-04-23 | Paper |
| Games and strategies as event structures | 2017-10-12 | Paper |
| The winning ways of concurrent games | 2017-05-16 | Paper |
| Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models | 2017-01-26 | Paper |
| Strategies as concurrent processes | 2016-05-13 | Paper |
| On concurrent games with payoff | 2016-04-12 | Paper |
| Distributed probabilistic and quantum strategies | 2016-04-12 | Paper |
| On probabilistic distributed strategies | 2016-02-25 | Paper |
| On the determinacy of concurrent games on event structures with infinite winning sets | 2014-06-10 | Paper |
| Probabilistic and quantum event structures | 2014-06-02 | Paper |
| Containment in Rule-Based Models | 2014-03-21 | Paper |
| Event structure spans for nondeterministic dataflow | 2013-12-13 | Paper |
| Event structures with symmetry | 2013-12-06 | Paper |
| Borel determinacy of concurrent games | 2013-08-12 | Paper |
| Imperfect information in logic and concurrent games | 2013-05-28 | Paper |
| Constraining rule-based dynamics with types | 2013-04-29 | Paper |
| Deterministic concurrent strategies | 2013-03-22 | Paper |
| Strategies as profunctors | 2013-03-18 | Paper |
| The unfolding of general Petri nets | 2012-10-19 | Paper |
| Winning, losing and drawing in concurrent games with perfect or imperfect information | 2012-07-16 | Paper |
| Bicategories of concurrent games (invited paper) | 2012-06-22 | Paper |
| Full abstraction for HOPLA. | 2010-03-30 | Paper |
| Prime algebraicity | 2009-09-29 | Paper |
| Symmetry in Petri nets | 2009-07-27 | Paper |
| Symmetry and Concurrency | 2009-03-10 | Paper |
| Independence and concurrent separation logic | 2008-08-07 | Paper |
| Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra | 2008-06-19 | Paper |
| The cartesian closed bicategory of generalised species of structures | 2008-03-13 | Paper |
| Probabilistic event structures and domains | 2006-09-13 | Paper |
| Distributing probability over non-determinism | 2006-05-22 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Profunctors, open maps and bisimulation | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673430 | 2005-04-29 | Paper |
| A relational model of non-deterministic dataflow | 2005-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650579 | 2005-02-18 | Paper |
| Domain theory for concurrency | 2004-08-04 | Paper |
| Presheaf models for CCS-like languages | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415247 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484503 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790657 | 2003-02-04 | Paper |
| Synchronization trees | 2002-05-13 | Paper |
| A representation result for free cocompletions | 2001-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251929 | 2000-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251927 | 2000-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936144 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270080 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250359 | 1999-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225153 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222928 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362910 | 1998-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362963 | 1997-11-13 | Paper |
| Completeness results for linear logic on Petri nets | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353632 | 1997-09-10 | Paper |
| Petri nets and bisimulation | 1997-02-28 | Paper |
| Models for concurrency: Towards a classification | 1997-02-27 | Paper |
| Bisimulation from open maps | 1997-02-03 | Paper |
| CCS with priority choice | 1995-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3141916 | 1993-11-01 | Paper |
| Compositional checking of satisfaction | 1993-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027625 | 1993-02-21 | Paper |
| A note on model checking the modal \(\nu\)-calculus | 1992-06-25 | Paper |
| Using information systems to solve recursive domain equations | 1991-01-01 | Paper |
| A compositional proof system on a category of labelled transition systems | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733435 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3033311 | 1989-01-01 | Paper |
| Domain theoretic models of polymorphism | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787462 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030239 | 1987-01-01 | Paper |
| Petri nets, algebras, morphisms, and compositionality | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783224 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786423 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776603 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725761 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751021 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3723678 | 1986-01-01 | Paper |
| On powerdomains and modality | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3683531 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3683529 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711741 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326830 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184417 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3313252 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707426 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667958 | 1982-01-01 | Paper |
| Petri nets, event structures and domains. I | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851636 | 1979-01-01 | Paper |
