David Purser

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 46

Top Topics

Differentially Private

Probabilistic Automata

Anchovy Catches

Dynamical Systems

Top Venues

ACM SIGLOG News

Publications

Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
The Power of Counting Steps in Quantitative Games. CONCUR (2024)
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
The Power of Counting Steps in Quantitative Games. CoRR (2024)
Ismaël Jecker, Filip Mazowiecki, David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. LICS (2024)
David Purser, Elli Anastasiadi
SIGLOG Monthly 245: January 2024. ACM SIGLOG News 11 (1) (2024)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
Model Checking Linear Dynamical Systems under Floating-point Rounding. TACAS (1) (2023)
Sougata Bose, David Purser, Patrick Totzke
History-Deterministic Vector Addition Systems. CONCUR (2023)
Laure Daviaud, David Purser
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). LICS (2023)
David Purser
SIGLOG Monthly 233: January 2023. ACM SIGLOG News 10 (1) (2023)
David Purser
SIGLOG Monthly 236: April 2023. ACM SIGLOG News 10 (2) (2023)
Laure Daviaud, David Purser
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). CoRR (2023)
David Purser
SIGLOG Monthly 242. ACM SIGLOG News 10 (4) (2023)
Ismaël Jecker, Filip Mazowiecki, David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. CoRR (2023)
Sougata Bose, David Purser, Patrick Totzke
History-deterministic Vector Addition Systems. CoRR (2023)
David Purser
SIGLOG Monthly 239: July 2023. ACM SIGLOG News 10 (3) (2023)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. CoRR (2022)
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationals. LICS (2022)
David Purser
SIGLOG monthly 221. ACM SIGLOG News 9 (1) (2022)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
Model Checking Linear Dynamical Systems under Floating-point Rounding. CoRR (2022)
David Purser
SIGLOG monthly 224. ACM SIGLOG News 9 (2) (2022)
David Purser
SIGLOG Monthly 230. ACM SIGLOG News 9 (4) (2022)
David Purser
SIGLOG monthly 227. ACM SIGLOG News 9 (3) (2022)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem. Log. Methods Comput. Sci. 18 (1) (2022)
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
On the Skolem Problem and the Skolem Conjecture. LICS (2022)
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
What's decidable about linear loops? Proc. ACM Program. Lang. 6 (POPL) (2022)
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationals. CoRR (2022)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. CONCUR (2022)
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
Skolem Meets Schanuel. MFCS (2022)
David Purser
SIGLOG monthly 209. ACM SIGLOG News 8 (1) (2021)
David Purser
SIGLOG monthly 215. ACM SIGLOG News 8 (3) (2021)
David Purser
SIGLOG monthly 218. ACM SIGLOG News 8 (4) (2021)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Porous Invariants. CAV (2) (2021)
David Purser
SIGLOG monthly 212. ACM SIGLOG News 8 (2) (2021)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CONCUR (2021)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
Porous Invariants. CoRR (2021)
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
The Orbit Problem for Parametric Linear Dynamical Systems. CoRR (2021)
Marco Gaboardi, Kobbi Nissim, David Purser
The Complexity of Verifying Loop-Free Programs as Differentially Private. ICALP (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. CoRR (2020)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem for Labelled Markov Chains and Weighted Automata. CoRR (2020)
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
The Big-O Problem for Labelled Markov Chains and Weighted Automata. CONCUR (2020)
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
Reachability in Dynamical Systems with Rounding. FSTTCS (2020)
Dmitry Chistikov, Andrzej S. Murawski, David Purser
Asymmetric Distances for Approximate Differential Privacy. CONCUR (2019)
Marco Gaboardi, Kobbi Nissim, David Purser
The Complexity of Verifying Circuits as Differentially Private. CoRR (2019)
Petr Jancar, David Purser
Structural liveness of Petri nets is ExpSpace-hard and decidable. Acta Informatica 56 (6) (2019)
Dmitry Chistikov, Andrzej S. Murawski, David Purser
Bisimilarity Distances for Approximate Differential Privacy. CoRR (2018)
Neha Gupta, Henry Crosby, David Purser, Stephen A. Jarvis, Weisi Guo
Twitter Usage Across Industry: A Spatiotemporal Analysis. BigDataService (2018)
Dmitry Chistikov, Andrzej S. Murawski, David Purser
Bisimilarity Distances for Approximate Differential Privacy. ATVA (2018)