Follow
David Purser
David Purser
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
Schloss Dagstuhl–Leibniz-Zentrum für Informatik 140, 1-17, 2019
182019
Twitter usage across industry: A spatiotemporal analysis
N Gupta, H Crosby, D Purser, S Javis, W Guo
2018 IEEE Fourth International Conference on Big Data Computing Service and …, 2018
162018
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022
142022
The Complexity of Verifying Loop-Free Programs as Differentially Private
M Gaboardi, K Nissim, D Purser
47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020
12*2020
Skolem meets schanuel
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
arXiv preprint arXiv:2204.13417, 2022
102022
On the Skolem Problem and the Skolem Conjecture
RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
102022
The Big-O Problem for Labelled Markov Chains and Weighted Automata
D Chistikov, S Kiefer, AS Murawski, D Purser
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
102020
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
102018
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
72021
Reachability in dynamical systems with rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
62020
The Orbit Problem for parametric linear dynamical systems
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, F Luca, ...
arXiv preprint arXiv:2104.10634, 2021
52021
Structural liveness of Petri nets is ExpSpace-hard and decidable
P Jančar, D Purser
Acta Informatica 56, 537-552, 2019
42019
The big-O problem
D Chistikov, S Kiefer, AS Murawski, D Purser
Logical Methods in Computer Science 18, 2022
32022
History-deterministic Vector Addition Systems
S Bose, D Purser, P Totzke
arXiv preprint arXiv:2305.01981, 2023
22023
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
W Czerwiński, E Lefaucheux, F Mazowiecki, D Purser, M Whiteland
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
22022
Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
12022
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
I Jecker, F Mazowiecki, D Purser
arXiv preprint arXiv:2310.02204, 2023
2023
SIGLOG Monthly 239: July 2023
D Purser
ACM SIGLOG News 10 (3), 20-25, 2023
2023
SIGLOG Monthly 236: April 2023
D Purser
ACM SIGLOG News 10 (2), 24-43, 2023
2023
Model Checking Linear Dynamical Systems under Floating-point Rounding
E Lefaucheux, J Ouaknine, D Purser, M Sharifi
International Conference on Tools and Algorithms for the Construction and …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20