David Purser

54 papers A* 5A 1B 9Journal 34Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
History-Constrained Systems.
CoRR
Louwe B. Kuijer, David Purser, Henry Sinclair-Banks, Patrick Totzke
2026 A conf
On the p-adic Skolem Problem.
STACS
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2025 J jnl
On the
CoRR
Piotr Bacik, Joël Ouaknine, David Purser, James Worrell
2025 B conf
Resolving Nondeterminism by Chance.
CONCUR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025 J jnl
Resolving Nondeterminism by Chance.
CoRR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025 J jnl
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete).
Log. Methods Comput. Sci.
Laure Daviaud, David Purser, Marie Tcheng
2024 A* conf
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata.
LICS
Ismaël Jecker, Filip Mazowiecki, David Purser
2024 J jnl
Porous invariants for linear systems.
Formal Methods Syst. Des.
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2024 J jnl
SIGLOG Monthly 245: January 2024.
ACM SIGLOG News
David Purser, Elli Anastasiadi
2024 B conf
The Power of Counting Steps in Quantitative Games.
CONCUR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2024 J jnl
The Power of Counting Steps in Quantitative Games.
CoRR
Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove
2023 J jnl
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata.
CoRR
Ismaël Jecker, Filip Mazowiecki, David Purser
2023 B conf
History-Deterministic Vector Addition Systems.
CONCUR
Sougata Bose, David Purser, Patrick Totzke
2023 J jnl
History-deterministic Vector Addition Systems.
CoRR
Sougata Bose, David Purser, Patrick Totzke
2023 — conf
Model Checking Linear Dynamical Systems under Floating-point Rounding.
TACAS (1)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2023 J jnl
SIGLOG Monthly 233: January 2023.
ACM SIGLOG News
David Purser
2023 J jnl
SIGLOG Monthly 236: April 2023.
ACM SIGLOG News
David Purser
2023 J jnl
SIGLOG Monthly 239: July 2023.
ACM SIGLOG News
David Purser
2023 J jnl
SIGLOG Monthly 242.
ACM SIGLOG News
David Purser
2023 A* conf
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete).
LICS
Laure Daviaud, David Purser
2023 J jnl
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete).
CoRR
Laure Daviaud, David Purser
2022 J jnl
Model Checking Linear Dynamical Systems under Floating-point Rounding.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2022 A* conf
On the Skolem Problem and the Skolem Conjecture.
LICS
Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 J jnl
SIGLOG Monthly 230.
ACM SIGLOG News
David Purser
2022 J jnl
SIGLOG monthly 221.
ACM SIGLOG News
David Purser
2022 J jnl
SIGLOG monthly 224.
ACM SIGLOG News
David Purser
2022 J jnl
SIGLOG monthly 227.
ACM SIGLOG News
David Purser
2022 B conf
Skolem Meets Schanuel.
MFCS
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 J jnl
Skolem Meets Schanuel.
CoRR
Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell
2022 J jnl
The Big-O Problem.
Log. Methods Comput. Sci.
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2022 A* conf
The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
LICS
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
2022 J jnl
The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
CoRR
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2021 — conf
Porous Invariants.
CAV (2)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
Porous Invariants.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
SIGLOG monthly 209.
ACM SIGLOG News
David Purser
2021 J jnl
SIGLOG monthly 212.
ACM SIGLOG News
David Purser
2021 J jnl
SIGLOG monthly 215.
ACM SIGLOG News
David Purser
2021 J jnl
SIGLOG monthly 218.
ACM SIGLOG News
David Purser
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2020 — —
On the complexity of verifying differential privacy.
David Purser
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 B conf
The Big-O Problem for Labelled Markov Chains and Weighted Automata.
CONCUR
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2020 J jnl
The Big-O Problem for Labelled Markov Chains and Weighted Automata.
CoRR
Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser
2020 A* conf
The Complexity of Verifying Loop-Free Programs as Differentially Private.
ICALP
Marco Gaboardi, Kobbi Nissim, David Purser
2019 B conf
Asymmetric Distances for Approximate Differential Privacy.
CONCUR
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2019 J jnl
Structural liveness of Petri nets is ExpSpace-hard and decidable.
Acta Informatica
Petr Jancar, David Purser
2019 J jnl
The Complexity of Verifying Circuits as Differentially Private.
CoRR
Marco Gaboardi, Kobbi Nissim, David Purser
2018 B conf
Bisimilarity Distances for Approximate Differential Privacy.
ATVA
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2018 J jnl
Bisimilarity Distances for Approximate Differential Privacy.
CoRR
Dmitry Chistikov, Andrzej S. Murawski, David Purser
2018 — conf
Twitter Usage Across Industry: A Spatiotemporal Analysis.
BigDataService
Neha Gupta, Henry Crosby, David Purser, Stephen A. Jarvis, Weisi Guo