Bisimilarity Distances for Approximate Differential Privacy. - Dmitry Chistikov 001; Andrzej S. Murawski; David Purser (ATVA, 2018)

Twitter Usage Across Industry: A Spatiotemporal Analysis. - Neha Gupta 009; Henry Crosby; David Purser; Stephen A. Jarvis; Weisi Guo (BigDataService, 2018)

Asymmetric Distances for Approximate Differential Privacy. - Dmitry Chistikov 001; Andrzej S. Murawski; David Purser (CONCUR, 2019)

Structural liveness of Petri nets is ExpSpace-hard and decidable. - Petr Jancar; David Purser (Acta Informatica, 2019)

The Complexity of Verifying Circuits as Differentially Private. - Marco Gaboardi; Kobbi Nissim; David Purser (CoRR, 2019)

The Big-O Problem for Labelled Markov Chains and Weighted Automata. - Dmitry Chistikov 001; Stefan Kiefer; Andrzej S. Murawski; David Purser (CONCUR, 2020)

Reachability in Dynamical Systems with Rounding. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; Amaury Pouly; David Purser; Markus A. Whiteland (FSTTCS, 2020)

The Complexity of Verifying Loop-Free Programs as Differentially Private. - Marco Gaboardi; Kobbi Nissim; David Purser (ICALP, 2020)

On the complexity of verifying differential privacy. - David Purser (2020)

Porous Invariants. - Engel Lefaucheux; Joël Ouaknine; David Purser; James Worrell 001 (CAV (2), 2021)

The Orbit Problem for Parametric Linear Dynamical Systems. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Florian Luca; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2021)

The Orbit Problem for Parametric Linear Dynamical Systems. - Christel Baier; Florian Funke 002; Simon Jantsch; Engel Lefaucheux; Florian Luca; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CoRR, 2021)

SIGLOG monthly 209. - David Purser (ACM SIGLOG News, 2021)

SIGLOG monthly 212. - David Purser (ACM SIGLOG News, 2021)

SIGLOG monthly 215. - David Purser (ACM SIGLOG News, 2021)

SIGLOG monthly 218. - David Purser (ACM SIGLOG News, 2021)

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. - Christel Baier; Florian Funke 002; Simon Jantsch; Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Markus A. Whiteland; James Worrell 001 (CONCUR, 2022)

The boundedness and zero isolation problems for weighted automata over nonnegative rationals. - Wojciech Czerwinski; Engel Lefaucheux; Filip Mazowiecki; David Purser; Markus A. Whiteland (LICS, 2022)

On the Skolem Problem and the Skolem Conjecture. - Richard Lipton 001; Florian Luca; Joris Nieuwveld; Joël Ouaknine; David Purser; James Worrell 001 (LICS, 2022)

Skolem Meets Schanuel. - Yuri Bilu; Florian Luca; Joris Nieuwveld; Joël Ouaknine; David Purser; James Worrell 001 (MFCS, 2022)

The Big-O Problem. - Dmitry Chistikov 001; Stefan Kiefer; Andrzej S. Murawski; David Purser (Log. Methods Comput. Sci., 2022)

What's decidable about linear loops? - Toghrul Karimov; Engel Lefaucheux; Joël Ouaknine; David Purser; Anton Varonka; Markus A. Whiteland; James Worrell 001 (Proc. ACM Program. Lang., 2022)

SIGLOG monthly 221. - David Purser (ACM SIGLOG News, 2022)

SIGLOG monthly 224. - David Purser (ACM SIGLOG News, 2022)

SIGLOG monthly 227. - David Purser (ACM SIGLOG News, 2022)

SIGLOG Monthly 230. - David Purser (ACM SIGLOG News, 2022)

History-Deterministic Vector Addition Systems. - Sougata Bose; David Purser; Patrick Totzke (CONCUR, 2023)

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). - Laure Daviaud; David Purser (LICS, 2023)

Model Checking Linear Dynamical Systems under Floating-point Rounding. - Engel Lefaucheux; Joël Ouaknine; David Purser; Mohammadamin Sharifi (TACAS (1), 2023)

SIGLOG Monthly 236: April 2023. - David Purser (ACM SIGLOG News, 2023)

SIGLOG Monthly 233: January 2023. - David Purser (ACM SIGLOG News, 2023)

SIGLOG Monthly 239: July 2023. - David Purser (ACM SIGLOG News, 2023)

SIGLOG Monthly 242. - David Purser (ACM SIGLOG News, 2023)

The Power of Counting Steps in Quantitative Games. - Sougata Bose; Rasmus Ibsen-Jensen; David Purser; Patrick Totzke; Pierre Vandenhove (CONCUR, 2024)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. - Ismaël Jecker; Filip Mazowiecki; David Purser (LICS, 2024)

SIGLOG Monthly 245: January 2024. - David Purser; Elli Anastasiadi (ACM SIGLOG News, 2024)

Porous invariants for linear systems. - Engel Lefaucheux; Joël Ouaknine; David Purser; James Worrell 001 (Formal Methods Syst. Des., 2024)

Resolving Nondeterminism by Chance. - Soumyajit Paul; David Purser; Sven Schewe; Qiyi Tang 001; Patrick Totzke; Di-De Yen (CONCUR, 2025)

On the p-adic Skolem Problem. - Piotr Bacik; Joël Ouaknine; David Purser; James Worrell 001 (CoRR, 2025)