Follow
David Purser
David Purser
Postdoctoral researcher, MIM, University of Warsaw
Verified email at mimuw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
162019
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
122018
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
9*2020
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
92018
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
72020
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, M Whiteland, ...
Proceedings of the ACM on Programming Languages, 1-25, 2022
52022
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
42021
Structural liveness of Petri nets is ExpSpace-hard and decidable
P Jančar, D Purser
Acta Informatica 56 (6), 537-552, 2019
42019
On the Skolem Problem and the Skolem Conjecture
RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
32022
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
22021
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
22020
The Big-O Problem
D Purser, AS Murawski, S Kiefer, D Chistikov
Logical Methods in Computer Science 18, 2022
1*2022
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
W Czerwiński, E Lefaucheux, F Mazowiecki, D Purser, MA Whiteland
arXiv preprint arXiv:2205.13516, 2022
2022
SIGLOG monthly 224
D Purser
ACM SIGLOG News 9 (2), 34-50, 2022
2022
Skolem Meets Schanuel
Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell
arXiv preprint arXiv:2204.13417, 2022
2022
SIGLOG monthly 221
D Purser
ACM SIGLOG News 9 (1), 25-34, 2022
2022
SIGLOG monthly 212
D Purser
ACM SIGLOG News 8 (2), 30-45, 2021
2021
SIGLOG monthly 209
D Purser
ACM SIGLOG News 8 (1), 4-14, 2021
2021
On the Complexity of Verifying Differential Privacy
D Purser
University of Warwick, 2020
2020
Organising a Multidisciplinary Postgraduate Colloquium: A Critical Reflection
M Bradbury, M Kenny, R Kirk, D Purser, L Steadman, G Watson
Exchanges: The Interdisciplinary Research Journal 6 (2), 86-101, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20