David Purser

Publications


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

Title Authors Venue Links
What's Decidable about Linear Loops? Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell Submitted Temporary link
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 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 doi
Springer SharedIt
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)
(full) indicates version with appendix proofs