| Publication | Date of Publication | Type |
|---|
| The Ackermann award 2024 | 2026-06-09 | Paper |
| Optimal spectral-norm approximate minimization of weighted finite automata | 2026-05-12 | Paper |
| Propositional logics for the Lawvere quantale | 2026-04-02 | Paper |
| A behavioural pseudometric for continuous-time Markov processes | 2025-12-04 | Paper |
Private information via the Unruh effect
Journal of High Energy Physics | 2025-04-29 | Paper |
Optimal approximate minimization of one-letter weighted finite automata
Mathematical Structures in Computer Science | 2025-02-07 | Paper |
Sum and tensor of quantitative effects
Logical Methods in Computer Science | 2024-11-12 | Paper |
| Minimisation in logical form | 2024-10-01 | Paper |
| Structure in machine learning | 2024-10-01 | Paper |
Behavioural equivalences for continuous-time Markov processes
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
A categorical characterization of relative entropy on standard Borel spaces
Logical Methods in Computer Science | 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
Lecture Notes in Computer Science | 2023-04-28 | Paper |
A category-theoretic semantics for unbounded indeterminacy
Lecture Notes in Computer Science | 2023-04-12 | Paper |
Bisimulation for Feller-Dynkin processes
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2022-04-25 | Paper |
Bisimulation metrics and norms for real-weighted automata
Information and Computation | 2022-01-06 | Paper |
| Quantum alternation: prospects and problems | 2021-12-06 | Paper |
Quantum alternation: prospects and problems
(available as arXiv preprint) | 2021-12-06 | Paper |
Weighted automata are compact and actively learnable
Information Processing Letters | 2021-06-16 | Paper |
| Fond (and frank) memories of Frank | 2021-05-20 | Paper |
Quantitative Equational Reasoning
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
An algebraic theory of Markov processes
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| scientific article; zbMATH DE number 7297850 (Why is no real title available?) | 2021-01-19 | Paper |
scientific article; zbMATH DE number 7297850 (Why is no real title available?)
(available as arXiv preprint) | 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 |
| scientific article; zbMATH DE number 7204557 (Why is no real title available?) | 2020-05-27 | Paper |
Singular value automata and approximate minimization
Mathematical Structures in Computer Science | 2020-05-04 | Paper |
Bicategories of Markov Processes
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Expressiveness of probabilistic modal logics: a gradual approach
Information and Computation | 2019-05-29 | Paper |
Free complete Wasserstein algebras
(available as arXiv preprint) | 2018-09-26 | Paper |
A Canonical Form for Weighted Automata and Applications to Approximate Minimization
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Quantitative Algebraic Reasoning
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Stone duality for Markov processes
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Duality in logic and computation (invited paper)
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
The expressive power of indeterminate primitives in asynchronous computation
Lecture Notes in Computer Science | 2017-01-19 | Paper |
| A metrized duality theorem for Markov processes | 2016-05-13 | Paper |
Epistemic strategies and games on concurrent processes
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
An exact expression for photon polarization in Kerr geometry
Advances in Theoretical and Mathematical Physics | 2015-01-14 | Paper |
An exact expression for photon polarization in Kerr geometry
Advances in Theoretical and Mathematical Physics | 2015-01-14 | Paper |
Approximating Markov processes by averaging
Journal of the ACM | 2014-09-12 | Paper |
Causality in physics and computation
Theoretical Computer Science | 2014-07-25 | Paper |
Game semantics for quantum stores
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A Technique for Verifying Measurements
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
A logical basis for quantum evolution and entanglement
Lecture Notes in Computer Science | 2014-05-08 | Paper |
Probabilistic bisimulation
Advanced Topics in Bisimulation and Coinduction | 2014-04-25 | Paper |
Algebra-coalgebra duality in Brzozowski's minimization algorithm
ACM Transactions on Computational Logic | 2014-04-16 | Paper |
Fair reactive programming
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Distributed measurement-based quantum computation
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Conformal field theory as a nuclear functor
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Strong completeness for Markovian logics
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
Quantum field theory for legspinners
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
The duality of state and observation in probabilistic transition systems
Logic, Language, and Computation | 2013-04-12 | Paper |
Quantum communication in Rindler spacetime
Communications in Mathematical Physics | 2012-12-21 | Paper |
| Spacetime geometry from causal structure and a measurement | 2012-10-01 | Paper |
Taking it to the limit: approximate reasoning for Markov processes
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Spatial and epistemic modalities in constraint-based process calculi
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Minimization via duality
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Deep inference and probabilistic coherence spaces
Applied Categorical Structures | 2012-09-20 | Paper |
Combining Epistemic Logic and Hennessy-Milner Logic
Logic and Program Semantics | 2012-07-16 | Paper |
Dexter Kozen’s Influence on the Theory of Labelled Markov Processes
Logic and Program Semantics | 2012-07-16 | Paper |
Approximating labelled Markov processes again!
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Bisimulation metrics for continuous Markov decision processes
SIAM Journal on Computing | 2012-03-15 | Paper |
Quantum information channels in curved spacetime
Models of Computation in Context | 2011-09-09 | Paper |
Dagger categories and formal distributions
New Structures for Physics | 2011-05-31 | Paper |
A categorical presentation of quantum computation with anyons
New Structures for Physics | 2011-05-31 | Paper |
Domain theory and general relativity
New Structures for Physics | 2011-05-31 | Paper |
Proof nets as formal Feynman diagrams
New Structures for Physics | 2011-05-31 | Paper |
The search for structure in quantum computation
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Learning in a changing world, an algebraic modal logical approach
Algebraic Methodology and Software Technology | 2011-01-21 | Paper |
| Extended measurement calculus | 2010-05-14 | Paper |
Conditional expectation and the approximation of labelled Markov processes.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Weak bisimulation is sound and complete for pCTL\(^*\)
Information and Computation | 2010-02-26 | Paper |
Approximating Markov Processes by Averaging
Automata, Languages and Programming | 2009-07-14 | Paper |
| Labelled Markov processes. | 2009-04-06 | Paper |
Anonymity Protocols as Noisy Channels
Trustworthy Global Computing | 2009-03-05 | Paper |
Epistemic Strategies and Games on Concurrent Processes
Lecture Notes in Computer Science | 2009-02-03 | Paper |
The measurement calculus
Journal of the ACM | 2008-12-21 | Paper |
The measurement calculus
Journal of the ACM | 2008-12-21 | Paper |
The computational power of the W and GHZ states
(available as arXiv preprint) | 2008-09-03 | Paper |
Domain Theory and the Causal Structure of Space-Time
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Anonymity protocols as noisy channels
Information and Computation | 2008-04-16 | Paper |
A domain of spacetime intervals in general relativity
Communications in Mathematical Physics | 2007-11-01 | Paper |
A domain of spacetime intervals in general relativity
Communications in Mathematical Physics | 2007-11-01 | Paper |
Approximate reasoning for real-time probabilistic processes
Logical Methods in Computer Science | 2007-10-11 | Paper |
The One Way to Quantum Computation
Automata, Languages and Programming | 2007-09-11 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Bisimulation for labelled Markov processes
Information and Computation | 2006-10-10 | Paper |
Quantum weakest preconditions
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Bisimulation and cocongruence for probabilistic systems
Information and Computation | 2006-06-30 | Paper |
| scientific article; zbMATH DE number 2155193 (Why is no real title available?) | 2005-04-11 | Paper |
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
Metrics for labelled Markov processes
Theoretical Computer Science | 2004-08-10 | Paper |
Discrete quantum causal dynamics
International Journal of Theoretical Physics | 2004-02-03 | Paper |
| scientific article; zbMATH DE number 2012393 (Why is no real title available?) | 2003-12-15 | Paper |
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
The Journal of Logic and Algebraic Programming | 2003-08-13 | Paper |
Approximating labelled Markov processes
Information and Computation | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1927573 (Why is no real title available?) | 2003-06-12 | Paper |
On the expressive power of first-order boolean functions in PCF
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1860677 (Why is no real title available?) | 2001-01-01 | Paper |
Measure and probability for concurrency theorists
Theoretical Computer Science | 2000-12-12 | Paper |
Generating irregular partitionable data structures
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1305006 (Why is no real title available?) | 2000-07-19 | Paper |
Nuclear and trace ideals in tensored \(^*\)-categories
Journal of Pure and Applied Algebra | 2000-02-15 | Paper |
| scientific article; zbMATH DE number 1361128 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1324650 (Why is no real title available?) | 1999-08-17 | Paper |
| scientific article; zbMATH DE number 794260 (Why is no real title available?) | 1995-09-10 | Paper |
Nonexpressibility of fairness and signaling
Journal of Computer and System Sciences | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 177823 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177813 (Why is no real title available?) | 1993-05-18 | Paper |
The expressive power of indeterminate dataflow primitives
Information and Computation | 1993-01-17 | Paper |
Concurrent common knowledge: Defining agreement for asynchronous systems
Distributed Computing | 1993-01-16 | Paper |
The expressive power of delay operators in SCCS
Acta Informatica | 1991-01-01 | Paper |
The expressive power of delay operators in SCCS
Acta Informatica | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4180815 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4060692 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4092750 (Why is no real title available?) | 1988-01-01 | Paper |
Type theory and concurrency
International Journal of Parallel Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3901998 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3901997 (Why is no real title available?) | 1985-01-01 | Paper |
Positive and negative frequency decompositions in curved spacetime
Journal of Mathematical Physics | 1979-01-01 | Paper |
Behavioural pseudometrics for continuous-time diffusions
(available as arXiv preprint) | N/A | Paper |
