| Publication | Date of Publication | Type |
|---|
| Continuous \(R\)-valuations | 2026-04-02 | Paper |
| A probabilistic and non-deterministic call-by-push-value language | 2024-12-19 | Paper |
A cone-theoretic barycenter existence theorem
Logical Methods in Computer Science | 2024-11-12 | Paper |
A few Projective classes of (non-Hausdorff) topological spaces
Topology and its Applications | 2024-09-27 | Paper |
| Fooling the Parallel or Tester with Probability 8/27 | 2024-03-14 | Paper |
Statures and sobrification ranks of Noetherian spaces
(available as arXiv preprint) | 2024-02-06 | Paper |
| Statures and sobrification ranks of Noetherian spaces | 2024-02-06 | Paper |
A few characterizations of topological spaces with no infinite discrete subspace
Topology and its Applications | 2024-01-22 | Paper |
Infinitary Noetherian constructions II. Transfinite words and the regular subword topology
Colloquium Mathematicum | 2023-11-09 | Paper |
| A Radon-Nikod\'ym Theorem for Valuations | 2023-07-04 | Paper |
| scientific article; zbMATH DE number 7696898 (Why is no real title available?) | 2023-06-16 | Paper |
scientific article; zbMATH DE number 7696898 (Why is no real title available?)
(available as arXiv preprint) | 2023-06-16 | Paper |
Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks
Topology and its Applications | 2023-04-27 | Paper |
| Continuous R-valuations | 2022-11-22 | Paper |
Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions
Topology and its Applications | 2022-10-21 | Paper |
| A cone-theoretic barycenter existence theorem | 2022-09-28 | Paper |
| Probabilistic powerdomains and quasi-continuous domains | 2022-08-05 | Paper |
Probabilistic powerdomains and quasi-continuous domains
(available as arXiv preprint) | 2022-08-05 | Paper |
Separating minimal valuations, point-continuous valuations, and continuous valuations
Mathematical Structures in Computer Science | 2022-05-17 | Paper |
Infinitary Noetherian constructions I. Infinite words
Colloquium Mathematicum | 2022-05-09 | Paper |
Algebras of the extended probabilistic powerdomain monad
(available as arXiv preprint) | 2022-04-25 | Paper |
Domain-complete and LCS-complete spaces
(available as arXiv preprint) | 2022-04-25 | Paper |
Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains
Topology and its Applications | 2021-11-26 | Paper |
Products and projective limits of continuous valuations on \(T_0\) spaces
Mathematical Structures in Computer Science | 2021-10-11 | Paper |
Separating minimal valuations, point-continuous valuations and continuous valuations
(available as arXiv preprint) | 2021-09-01 | Paper |
Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations
Topology and its Applications | 2021-04-20 | Paper |
Convergence without points
(available as arXiv preprint) | 2021-03-09 | Paper |
| Convergence without points | 2021-03-09 | Paper |
Forward analysis for WSTS, part I: completions
Mathematical Structures in Computer Science | 2021-01-07 | Paper |
Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces
Topology and its Applications | 2020-12-14 | Paper |
| Forward analysis for WSTS. III: Karp-Miller trees | 2020-11-25 | Paper |
| \(\Pi^0_2\) subsets of domain-complete spaces and countably correlated spaces | 2020-07-22 | Paper |
The ideal approach to computing closed subsets in well-quasi-orderings
Trends in Logic | 2020-07-08 | Paper |
Forward analysis for WSTS. III: Karp-Miller trees
(available as arXiv preprint) | 2020-06-26 | Paper |
| Forward analysis for WSTS. III: Karp-Miller trees | 2020-06-26 | Paper |
Proving with BDDs and control of information
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
A semantics for nabla
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
Formal ball monads
Topology and its Applications | 2019-07-17 | Paper |
| scientific article; zbMATH DE number 7052231 (Why is no real title available?) | 2019-05-08 | Paper |
Algebras of the extended probabilistic powerdomain monad
(available as arXiv preprint) | 2019-03-18 | Paper |
Domain-complete and LCS-complete spaces
(available as arXiv preprint) | 2019-02-28 | Paper |
On the complexity of monitoring Orchids signatures, and recurrence equations
Formal Methods in System Design | 2018-08-30 | Paper |
| A non-Hausdorff minimax theorem | 2018-04-20 | Paper |
| Bisimulations and unfolding in P-accessible categorical models | 2018-03-21 | Paper |
Directed homology theories and Eilenberg-Steenrod axioms
Applied Categorical Structures | 2018-02-22 | Paper |
The Ho-Zhao problem
(available as arXiv preprint) | 2018-01-23 | Paper |
| Deciding piecewise testable separability for regular tree languages | 2017-12-19 | Paper |
A few notes on formal balls
(available as arXiv preprint) | 2017-12-11 | Paper |
Isomorphism theorems between models of mixed choice
Mathematical Structures in Computer Science | 2017-09-28 | Paper |
| The directed homotopy hypothesis | 2017-07-19 | Paper |
| Complete Quasi-Metrics for Hyperspaces, Continuous Valuations, and Previsions | 2017-07-12 | Paper |
A short proof of the Schröder-Simpson theorem
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| QRB, QFS, and the probabilistic powerdomain | 2016-05-13 | Paper |
Natural Homology
Automata, Languages, and Programming | 2015-11-04 | Paper |
Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
Exponentiable streams and prestreams
Applied Categorical Structures | 2014-06-16 | Paper |
Random Measurable Selections
Lecture Notes in Computer Science | 2014-06-02 | Paper |
A constructive proof of the topological Kruskal theorem
Mathematical Foundations of Computer Science 2013 | 2013-09-20 | Paper |
The blossom of finite semantic trees
Programming Logics | 2013-04-19 | Paper |
| Non-Hausdorff topology and domain theory. Selected topics in point-set topology | 2013-04-15 | Paper |
Forward analysis for WSTS. II: Complete WSTS
Logical Methods in Computer Science | 2012-10-22 | Paper |
The Theory of WSTS: The Case of Complete WSTS
Lecture Notes in Computer Science | 2012-09-04 | Paper |
| Forward analysis for WSTS. I: Completions | 2012-04-24 | Paper |
A generalization of \(p\)-boxes to affine arithmetic
Computing | 2012-04-04 | Paper |
QRB-domains and the probabilistic powerdomain
Logical Methods in Computer Science | 2012-04-03 | Paper |
Choquet-Kendall-Matheron theorems for non-Hausdorff spaces
Mathematical Structures in Computer Science | 2011-06-15 | Paper |
Musings around the geometry of interaction, and coherence
Theoretical Computer Science | 2011-05-10 | Paper |
Noetherian Spaces in Verification
Automata, Languages and Programming | 2010-09-07 | Paper |
De Groot duality and models of choice: angels, demons and nature
Mathematical Structures in Computer Science | 2010-05-17 | Paper |
``Logic wins!
Advances in Computer Science - ASIAN 2009. Information Security and Privacy | 2010-01-14 | Paper |
Deciding \(\mathcal H_1\) by resolution
Information Processing Letters | 2009-12-04 | Paper |
Forward Analysis for WSTS, Part II: Complete WSTS
Automata, Languages and Programming | 2009-07-14 | Paper |
Continuous Previsions
Computer Science Logic | 2009-03-05 | Paper |
Logical relations for monadic types
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
| Karp-Miller trees for a branching extension of VASS | 2008-05-27 | Paper |
| Karp-Miller trees for a branching extension of VASS | 2008-05-27 | Paper |
A Probabilistic Applied Pi–Calculus
Programming Languages and Systems | 2008-05-15 | Paper |
Prevision Domains and Convex Powercones
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Simulation Hemi-metrics between Infinite-State Stochastic Games
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Continuous Capacities on Continuous State Spaces
Automata, Languages and Programming | 2007-11-28 | Paper |
Alternating two-way AC-tree automata
Information and Computation | 2007-07-16 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically
The Journal of Logic and Algebraic Programming | 2005-08-01 | Paper |
Extensions of valuations
Mathematical Structures in Computer Science | 2005-05-06 | Paper |
On the geometry of intuitionistic S4 proofs
Homology, Homotopy and Applications | 2003-09-25 | Paper |
On the geometry of intuitionistic S4 proofs
Homology, Homotopy and Applications | 2003-09-25 | Paper |
| scientific article; zbMATH DE number 1948181 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1948186 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1863396 (Why is no real title available?) | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1841839 (Why is no real title available?) | 2002-12-04 | Paper |
| scientific article; zbMATH DE number 1696436 (Why is no real title available?) | 2002-07-08 | Paper |
Sequent combinators: a Hilbert system for the lambda calculus
Mathematical Structures in Computer Science | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1420789 (Why is no real title available?) | 2000-09-05 | Paper |
| scientific article; zbMATH DE number 1414298 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1301734 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1341477 (Why is no real title available?) | 1999-09-22 | Paper |
Proof theory and automated deduction
Applied Logic Series | 1998-02-25 | Paper |
| scientific article; zbMATH DE number 834569 (Why is no real title available?) | 1998-01-12 | Paper |
| scientific article; zbMATH DE number 517077 (Why is no real title available?) | 1994-03-17 | Paper |
A Few Projective Classes of (Non-Hausdorff) Topological Spaces
(available as arXiv preprint) | N/A | Paper |
