David Purser
David Purser
Verified email at warwick.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
Bisimilarity distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
International Symposium on Automated Technology for Verification and …, 2018
52018
Asymmetric distances for approximate differential privacy
D Chistikov, AS Murawski, D Purser
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
32019
The Complexity of Verifying Loop-free Programs as Differentially Private
M Gaboardi, K Nissim, D Purser
arXiv, arXiv: 1911.03272, 2019
1*2019
Structural liveness of Petri nets is ExpSpace-hard and decidable
P Jančar, D Purser
Acta Informatica 56 (6), 537-552, 2019
12019
Organising a Multidisciplinary Postgraduate Colloquium
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–6