Follow
David Purser
David Purser
Verified email at liverpool.ac.uk - Homepage
Title
Cited by
Cited by
Year
Skolem meets schanuel
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
arXiv preprint arXiv:2204.13417, 2022
262022
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
252022
On the Skolem Problem and the Skolem Conjecture
RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
202022
Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
Schloss Dagstuhl–Leibniz-Zentrum für Informatik 140, 1-17, 2019
182019
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
17*2020
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
172018
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
112018
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
102021
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
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
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
72020
Structural liveness of Petri nets is ExpSpace-hard and decidable
P Jančar, D Purser
Acta Informatica 56, 537-552, 2019
62019
Determinisation and unambiguisation of polynomially-ambiguous rational weighted automata
I Jecker, F Mazowiecki, D Purser
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
32024
The big-O problem
D Chistikov, S Kiefer, AS Murawski, D Purser
Logical Methods in Computer Science 18, 2022
32022
The power of counting steps in quantitative games
S Bose, R Ibsen-Jensen, D Purser, P Totzke, P Vandenhove
arXiv preprint arXiv:2406.17482, 2024
22024
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
Porous invariants for linear systems
E Lefaucheux, J Ouaknine, D Purser, J Worrell
Formal Methods in System Design, 1-37, 2024
12024
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
SIGLOG Monthly 245: January 2024
D Purser, E Anastasiadi
ACM SIGLOG News 11 (1), 13-20, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20