David Purser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Representing One Letter Weighted Automata over the Tropical Semiring. | Shaull Almagor, Ismal Jecker, Filip Mazowiecki, Lukasz Orlikowski, David Purser, Henry Sinclair-Banks |
| 2026 | FM | History-Constrained Systems. | Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke |
| 2026 | STACS | On the p-adic Skolem Problem. | Piotr Bacik, Jol Ouaknine, David Purser, James Worrell |
| 2025 | CONCUR | Resolving Nondeterminism by Chance. | Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen |
| 2024 | CONCUR | The Power of Counting Steps in Quantitative Games. | Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove |
| 2024 | LICS | Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. | Ismal Jecker, Filip Mazowiecki, David Purser |
| 2023 | CONCUR | History-Deterministic Vector Addition Systems. | Sougata Bose, David Purser, Patrick Totzke |
| 2023 | LICS | The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). | Laure Daviaud, David Purser |
| 2023 | TACAS | Model Checking Linear Dynamical Systems under Floating-point Rounding. | Engel Lefaucheux, Jol Ouaknine, David Purser, Mohammadamin Sharifi |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | LICS | The boundedness and zero isolation problems for weighted automata over nonnegative rationals. | Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland |
| 2022 | LICS | On the Skolem Problem and the Skolem Conjecture. | Richard Lipton, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |
| 2022 | MFCS | Skolem Meets Schanuel. | Yuri Bilu, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell |
| 2021 | CAV | Porous Invariants. | Engel Lefaucheux, Jol Ouaknine, David Purser, James Worrell |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2020 | CONCUR | The Big-O Problem for Labelled Markov Chains and Weighted Automata. | Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser |
| 2020 | ICALP | The Complexity of Verifying Loop-Free Programs as Differentially Private. | Marco Gaboardi, Kobbi Nissim, David Purser |
| 2019 | CONCUR | Asymmetric Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |
| 2018 | ATVA | Bisimilarity Distances for Approximate Differential Privacy. | Dmitry Chistikov, Andrzej S. Murawski, David Purser |