| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6190487 | 2024-02-06 | Paper |
| A few characterizations of topological spaces with no infinite discrete subspace | 2024-01-22 | Paper |
| Infinitary Noetherian constructions II. Transfinite words and the regular subword topology | 2023-11-09 | Paper |
| A Radon-Nikod\'ym Theorem for Valuations | 2023-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6162779 | 2023-06-16 | Paper |
| Kantorovich-Rubinstein quasi-metrics IV: lenses, quasi-lenses and forks | 2023-04-27 | Paper |
| Continuous R-valuations | 2022-11-22 | Paper |
| Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions | 2022-10-21 | Paper |
| A cone-theoretic barycenter existence theorem | 2022-09-28 | Paper |
| Probabilistic Powerdomains and Quasi-Continuous Domains | 2022-08-05 | Paper |
| Separating minimal valuations, point-continuous valuations, and continuous valuations | 2022-05-17 | Paper |
| Infinitary Noetherian constructions I. Infinite words | 2022-05-09 | Paper |
| Domain-complete and LCS-complete spaces | 2022-04-25 | Paper |
| Algebras of the extended probabilistic powerdomain monad | 2022-04-25 | Paper |
| Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains | 2021-11-26 | Paper |
| Products and projective limits of continuous valuations on T0 spaces | 2021-10-11 | Paper |
| Separating minimal valuations, point-continuous valuations and continuous valuations | 2021-09-01 | Paper |
| Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations | 2021-04-20 | Paper |
| Convergence without points | 2021-03-09 | Paper |
| Forward analysis for WSTS, part I: completions | 2021-01-07 | Paper |
| Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces | 2020-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5136306 | 2020-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3299476 | 2020-07-22 | Paper |
| The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings | 2020-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114831 | 2020-06-26 | Paper |
| Proving with BDDs and control of information | 2020-01-21 | Paper |
| A semantics for nabla | 2019-10-09 | Paper |
| Formal ball monads | 2019-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5742874 | 2019-05-08 | Paper |
| Algebras of the extended probabilistic powerdomain monad | 2019-03-18 | Paper |
| Domain-complete and LCS-complete spaces | 2019-02-28 | Paper |
| On the complexity of monitoring Orchids signatures, and recurrence equations | 2018-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636823 | 2018-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608677 | 2018-03-21 | Paper |
| Directed homology theories and Eilenberg-Steenrod axioms | 2018-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3130546 | 2018-01-23 | Paper |
| Deciding Piecewise Testable Separability for Regular Tree Languages | 2017-12-19 | Paper |
| A Few Notes on Formal Balls | 2017-12-11 | Paper |
| Isomorphism theorems between models of mixed choice | 2017-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278395 | 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 | 2016-07-27 | Paper |
| QRB, QFS, and the probabilistic powerdomain | 2016-05-13 | Paper |
| Natural Homology | 2015-11-04 | Paper |
| Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases | 2014-12-03 | Paper |
| Exponentiable streams and prestreams | 2014-06-16 | Paper |
| Random Measurable Selections | 2014-06-02 | Paper |
| A Constructive Proof of the Topological Kruskal Theorem | 2013-09-20 | Paper |
| The Blossom of Finite Semantic Trees | 2013-04-19 | Paper |
| Non-Hausdorff Topology and Domain Theory | 2013-04-15 | Paper |
| Forward Analysis for WSTS, Part II: Complete WSTS | 2012-10-22 | Paper |
| The Theory of WSTS: The Case of Complete WSTS | 2012-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389997 | 2012-04-24 | Paper |
| A generalization of \(p\)-boxes to affine arithmetic | 2012-04-04 | Paper |
| QRB-Domains and the Probabilistic Powerdomain | 2012-04-03 | Paper |
| Choquet–Kendall–Matheron theorems for non-Hausdorff spaces | 2011-06-15 | Paper |
| Musings around the geometry of interaction, and coherence | 2011-05-10 | Paper |
| Noetherian Spaces in Verification | 2010-09-07 | Paper |
| De Groot duality and models of choice: angels, demons and nature | 2010-05-17 | Paper |
| “Logic Wins!” | 2010-01-14 | Paper |
| Deciding \(\mathcal H_1\) by resolution | 2009-12-04 | Paper |
| Forward Analysis for WSTS, Part II: Complete WSTS | 2009-07-14 | Paper |
| Continuous Previsions | 2009-03-05 | Paper |
| Logical relations for monadic types | 2008-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387658 | 2008-05-27 | Paper |
| A Probabilistic Applied Pi–Calculus | 2008-05-15 | Paper |
| Simulation Hemi-metrics between Infinite-State Stochastic Games | 2008-04-11 | Paper |
| Prevision Domains and Convex Powercones | 2008-04-11 | Paper |
| Continuous Capacities on Continuous State Spaces | 2007-11-28 | Paper |
| Alternating two-way AC-tree automata | 2007-07-16 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Abstraction and resolution modulo AC: How to verify Diffie--Hellman-like protocols automatically | 2005-08-01 | Paper |
| Extensions of valuations | 2005-05-06 | Paper |
| On the geometry of intuitionistic S4 proofs | 2003-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411842 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411847 | 2003-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790671 | 2003-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783327 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766536 | 2002-07-08 | Paper |
| Sequent combinators: a Hilbert system for the lambda calculus | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944853 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942635 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4246947 | 1999-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263016 | 1999-09-22 | Paper |
| Proof theory and automated deduction | 1998-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860656 | 1998-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282607 | 1994-03-17 | Paper |
