| Asymmetric distances for approximate differential privacy D Chistikov, AS Murawski, D Purser 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 13 | 2019 |
| Bisimilarity distances for approximate differential privacy D Chistikov, AS Murawski, D Purser International Symposium on Automated Technology for Verification and …, 2018 | 8 | 2018 |
| 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 | 7 | 2018 |
| 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 | 1 | 2020 |
| 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 | 1 | 2020 |
| Structural liveness of petri nets is expspace-hard and decidable P Jančar, D Purser Acta Informatica 56 (6), 537-552, 2019 | 1 | 2019 |
| 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 | | |
