David Purser

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

Title	Authors	Venue	Links
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata	Ismaël Jecker, Filip Mazowiecki, David Purser	LICS 2024 (to appear)	arXiv† (full)
Porous Invariants for Linear Systems	Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell	Formal Methods in Systems Design	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†
Bisimilarity Distances for Approximate Differential Privacy	Dmitry Chistikov, Andrzej S. Murawski, David Purser	ATVA 2018	doi arXiv† (full)
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†
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