David Purser
David Purser
Postdoctoral researcher, MPI-SWS
Verified email at mpi-sws.org - 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
132019
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
82018
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
72018
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
6*2020
Reachability in Dynamical Systems with Rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
arXiv preprint arXiv:2009.13353, 2020
12020
The Big-O Problem for Labelled Markov Chains and Weighted Automata
D Chistikov, S Kiefer, AS Murawski, D Purser
arXiv preprint arXiv:2007.07694, 2020
12020
Structural liveness of petri nets is expspace-hard and decidable
P Jančar, D Purser
Acta Informatica 56 (6), 537-552, 2019
12019
The Orbit Problem for Parametric Linear Dynamical Systems
C Baier, F Funke, S Jantsch, E Lefaucheux, F Luca, J Ouaknine, D Purser, ...
arXiv preprint arXiv:2104.10634, 2021
2021
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 Big-O Problem for Weighted Automata
D Chistikov, S Kiefer, AS Murawski, D Purser
Porous Invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
The system can't perform the operation now. Try again later.
Articles 1–11