Asymmetric distances for approximate differential privacy D Chistikov, AS Murawski, D Purser 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 16 | 2019 |
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 | 12 | 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 | 9* | 2020 |
Bisimilarity distances for approximate differential privacy D Chistikov, AS Murawski, D Purser International Symposium on Automated Technology for Verification and …, 2018 | 9 | 2018 |
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 | 7 | 2020 |
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 | 5 | 2022 |
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 | 4 | 2021 |
Structural liveness of Petri nets is ExpSpace-hard and decidable P Jančar, D Purser Acta Informatica 56 (6), 537-552, 2019 | 4 | 2019 |
On the Skolem Problem and the Skolem Conjecture RJ Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell | 3 | 2022 |
Porous invariants E Lefaucheux, J Ouaknine, D Purser, J Worrell International Conference on Computer Aided Verification, 172-194, 2021 | 2 | 2021 |
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 | 2 | 2020 |
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 |