| Publication | Date of Publication | Type |
|---|
| Behavioural equivalences for continuous-time Markov processes | 2024-03-05 | Paper |
| A categorical characterization of relative entropy on standard Borel spaces | 2024-01-16 | Paper |
| Tensor of quantitative equational theories | 2023-12-08 | Paper |
| A mechanically assisted constructive proof in category theory | 2023-04-28 | Paper |
| Holomorphic models of exponential types in linear logic | 2023-04-28 | Paper |
| A category-theoretic semantics for unbounded indeterminacy | 2023-04-12 | Paper |
| Bisimulation for Feller-Dynkin processes | 2022-04-29 | Paper |
| Towards a classification of behavioural equivalences in continuous-time Markov processes | 2022-04-29 | Paper |
| A categorical characterization of relative entropy on standard Borel spaces | 2022-04-25 | Paper |
| Bisimulation metrics and norms for real-weighted automata | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015185 | 2021-12-06 | Paper |
| Weighted automata are compact and actively learnable | 2021-06-16 | Paper |
| Fond (and frank) memories of Frank | 2021-05-20 | 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 |
| A Study of Policy Gradient on a Class of Exactly Solvable Models | 2020-11-03 | Paper |
| Bisimulation Metrics for Weighted Automata | 2020-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111437 | 2020-05-27 | Paper |
| Singular value automata and approximate minimization | 2020-05-04 | Paper |
| Bicategories of Markov Processes | 2020-02-24 | Paper |
| Expressiveness of probabilistic modal logics: a gradual approach | 2019-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4683857 | 2018-09-26 | Paper |
| A Canonical Form for Weighted Automata and Applications to Approximate Minimization | 2018-04-23 | Paper |
| Quantitative Algebraic Reasoning | 2018-04-23 | Paper |
| Duality in Logic and Computation | 2017-07-03 | Paper |
| Stone Duality for Markov Processes | 2017-07-03 | Paper |
| The expressive power of indeterminate primitives in asynchronous computation | 2017-01-19 | Paper |
| A metrized duality theorem for Markov processes | 2016-05-13 | Paper |
| Epistemic Strategies and Games on Concurrent Processes | 2015-09-17 | Paper |
| An exact expression for photon polarization in Kerr geometry | 2015-01-14 | Paper |
| Approximating Markov Processes by Averaging | 2014-09-12 | Paper |
| Causality in physics and computation | 2014-07-25 | Paper |
| Game Semantics for Quantum Stores | 2014-05-13 | Paper |
| A Technique for Verifying Measurements | 2014-05-13 | Paper |
| A Logical Basis for Quantum Evolution and Entanglement | 2014-05-08 | Paper |
| Probabilistic bisimulation | 2014-04-25 | Paper |
| Algebra-coalgebra duality in brzozowski's minimization algorithm | 2014-04-16 | Paper |
| Fair reactive programming | 2014-04-10 | Paper |
| Conformal Field Theory as a Nuclear Functor | 2013-12-06 | Paper |
| Distributed Measurement-based Quantum Computation | 2013-12-06 | Paper |
| Strong Completeness for Markovian Logics | 2013-09-20 | Paper |
| Quantum Field Theory for Legspinners | 2013-05-28 | Paper |
| The Duality of State and Observation in Probabilistic Transition Systems | 2013-04-12 | Paper |
| Quantum communication in Rindler spacetime | 2012-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2918879 | 2012-10-01 | Paper |
| Taking It to the Limit: Approximate Reasoning for Markov Processes | 2012-09-25 | Paper |
| Spatial and Epistemic Modalities in Constraint-Based Process Calculi | 2012-09-25 | Paper |
| Minimization via Duality | 2012-09-21 | Paper |
| Deep inference and probabilistic coherence spaces | 2012-09-20 | Paper |
| Combining Epistemic Logic and Hennessy-Milner Logic | 2012-07-16 | Paper |
| Dexter Kozen’s Influence on the Theory of Labelled Markov Processes | 2012-07-16 | Paper |
| Approximating Labelled Markov Processes Again! | 2012-06-01 | Paper |
| Bisimulation Metrics for Continuous Markov Decision Processes | 2012-03-15 | Paper |
| Quantum Information Channels in Curved Spacetime | 2011-09-09 | Paper |
| Dagger Categories and Formal Distributions | 2011-05-31 | Paper |
| Proof Nets as Formal Feynman Diagrams | 2011-05-31 | Paper |
| Domain Theory and General Relativity | 2011-05-31 | Paper |
| A Categorical Presentation of Quantum Computation with Anyons | 2011-05-31 | Paper |
| The Search for Structure in Quantum Computation | 2011-05-19 | Paper |
| Learning in a Changing World, an Algebraic Modal Logical Approach | 2011-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3560842 | 2010-05-14 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Weak bisimulation is sound and complete for pCTL\(^*\) | 2010-02-26 | Paper |
| Approximating Markov Processes by Averaging | 2009-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3619416 | 2009-04-06 | Paper |
| Anonymity Protocols as Noisy Channels | 2009-03-05 | Paper |
| Epistemic Strategies and Games on Concurrent Processes | 2009-02-03 | Paper |
| The measurement calculus | 2008-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3522570 | 2008-09-03 | Paper |
| Domain Theory and the Causal Structure of Space-Time | 2008-06-19 | Paper |
| Anonymity protocols as noisy channels | 2008-04-16 | Paper |
| A domain of spacetime intervals in general relativity | 2007-11-01 | Paper |
| Approximate reasoning for real-time probabilistic processes | 2007-10-11 | Paper |
| The One Way to Quantum Computation | 2007-09-11 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Bisimulation for labelled Markov processes | 2006-10-10 | Paper |
| Quantum weakest preconditions | 2006-08-28 | Paper |
| Bisimulation and cocongruence for probabilistic systems | 2006-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665740 | 2005-04-11 | Paper |
| A relational model of non-deterministic dataflow | 2005-02-28 | Paper |
| Metrics for labelled Markov processes | 2004-08-10 | Paper |
| Discrete quantum causal dynamics | 2004-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437811 | 2003-12-15 | Paper |
| Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. | 2003-08-13 | Paper |
| Approximating labelled Markov processes | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484498 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790405 | 2001-01-01 | Paper |
| Measure and probability for concurrency theorists | 2000-12-12 | Paper |
| Generating irregular partitionable data structures | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251929 | 2000-07-19 | Paper |
| Nuclear and trace ideals in tensored \(^*\)-categories | 2000-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270063 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255548 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847021 | 1995-09-10 | Paper |
| Nonexpressibility of fairness and signaling | 1993-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038691 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038701 | 1993-05-18 | Paper |
| The expressive power of indeterminate dataflow primitives | 1993-01-17 | Paper |
| Concurrent common knowledge: Defining agreement for asynchronous systems | 1993-01-16 | Paper |
| The expressive power of delay operators in SCCS | 1991-01-01 | Paper |
| The expressive power of delay operators in SCCS | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204053 | 1989-01-01 | Paper |
| Type theory and concurrency | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795195 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3819986 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680240 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680241 | 1985-01-01 | Paper |
| Positive and negative frequency decompositions in curved spacetime | 1979-01-01 | Paper |
