David Purser

Publications

Various Publication Profiles: dblp, Liverpool, Warwick WRAP, Google Scholar, arXiv, ORCID.

Title	Authors	Venue	Links
Representing One Letter Weighted Automata Over the Tropical Semiring	Shaull Almagor, Ismaël Jecker, Filip Mazowiecki, Łukasz Orlikowski, David Purser, Henry Sinclair-Banks	CONCUR 2026	`doi`^† arXiv^† (full)
History-Constrained Systems	Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke	FM 2026	`doi`^† arXiv^† (full)
On the p-adic Skolem Problem	Piotr Bacik, Joël Ouaknine, David Purser, James Worrell	STACS 2026	`doi`^† arXiv^† (full) Tool link
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)	Laure Daviaud, David Purser, Marie Tcheng	Logical Methods in Computer Science 2025	`doi`^† arXiv^† (full)
Resolving Nondeterminism by Chance	Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen	CONCUR 2025	`doi`^† arXiv^† (full)
The Power of Counting Steps in Quantitative Games	Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove	CONCUR 2024	`doi`^† arXiv^† (full)
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata	Ismaël Jecker, Filip Mazowiecki, David Purser	LICS 2024	`doi`^† arXiv^† (full)
Porous Invariants for Linear Systems	Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell	Formal Methods in Systems Design 2024	`doi`^† Tool link
History-deterministic Vector Addition Systems	Sougata Bose, David Purser, Patrick Totzke	CONCUR 2023	`doi`^† arXiv^† (full)
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)	Laure Daviaud, David Purser	LICS 2023	`doi` arXiv^† (full)
Model Checking Linear Dynamical Systems under Floating-point Rounding	Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi	TACAS 2023	`doi`^† arXiv^† (full)
Skolem meets Schanuel	Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell	MFCS 2022	`doi`^† arXiv^† Tool link
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications	Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell	CONCUR 2022	`doi`^†
The boundedness and zero isolation problems for weighted automata over nonnegative rationals	Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland,	LICS 2022	`doi`^† arXiv^† (full)
On the Skolem Problem and the Skolem Conjecture	Richard J. Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell	LICS 2022	`doi`^†
The Big-O Problem	Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser	Logical Methods in Computer Science 2022	`doi`^† arXiv^†
What's Decidable about Linear Loops?	Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell	POPL 2022	`doi`^†
The Orbit Problem for Parametric Linear Dynamical Systems	Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell	CONCUR 2021	`doi`^† arXiv^† (full)
Porous Invariants	Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell	CAV 2021	`doi`^† arXiv^† (full) Tool link
Reachability in Dynamical Systems with Rounding	Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland	FSTTCS 2020	`doi`^† Video YouTube arXiv^† (full)
The Big-O Problem for Labelled Markov Chains and Weighted Automata	Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser	CONCUR 2020	`doi`^† arXiv^† (full)
On the Complexity of Verifying Differential Privacy	David Purser	PhD Thesis, 2020	WRAP^†
The Complexity of Verifying Loop-Free Programs as Differentially Private	Marco Gaboardi, Kobbi Nissim, David Purser	ICALP 2020	`doi`^† Video doi arXiv^† (full)
Asymmetric Distances for Approximate Differential Privacy	Dmitry Chistikov, Andrzej S. Murawski, David Purser	CONCUR 2019	`doi`^†
Structural Liveness of Petri Nets is ExpSpace-Hard and Decidable	Petr Jančar, David Purser	Acta Informatica 2019	`doi` Springer SharedIt^‡ WRAP^†
Organising a Multidisciplinary Postgraduate Colloquium A Critical Reflection.	Matthew Bradbury, Melissa J. Kenny, Richard O. Kirk, David Purser, Liam Steadman, and Gregory Watson	Exchanges: The Interdisciplinary Research Journal	`doi`^†
Bisimilarity Distances for Approximate Differential Privacy	Dmitry Chistikov, Andrzej S. Murawski, David Purser	ATVA 2018	`doi` arXiv^† (full)
Twitter Usage Across Industry: A Spatiotemporal Analysis	Neha Gupta, Henry Crosby, David Purser, Stephen A. Jarvis, Weisi Guo	BigDataService.2018	`doi` WRAP^†

I prefer to link to permanent repositories, rather than self-archiving.
doi indicates official published version
† indicates free option (‡ free to view but may not allow download, or only free from this link)
(full) indicates version with appendix proofs