2020

Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S. and Purser, David (2020) The big-O problem for labelled markov chains and weighted automata. In: 31st International Conference on Concurrency Theory (CONCUR 2020), 1-4 Sep 2020. Published in: Leibniz International Proceedings in Informatics (LIPIcs), 171 41:1-41:19. ISBN 9783959771603. doi:10.4230/LIPIcs.CONCUR.2020.41 ISSN 1868-8969.

Gaboardi, Marco, Nissim, Kobbi and Purser, David (2020) The complexity of verifying loop-free programs as differentially private. In: 47th International Colloquium on Automata, Languages and Programming, 08-11 Jul 2020 doi:10.4230/LIPIcs.ICALP.2020.129

Purser, David (2020) On the complexity of verifying differential privacy. PhD thesis, University of Warwick.

2019

Jančar, Petr and Purser, David (2019) Structural liveness of petri nets is ExpSpace-hard and decidable. ACTA Informatica, 56 . pp. 537-552. doi:10.1007/s00236-019-00338-6 ISSN 0001-5903.

Chistikov, Dmitry, Murawski, Andrzej S. and Purser, David (2019) Asymmetric distances for approximate differential privacy. In: 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, Netherlands, 27-30 Aug 2019, 140 pp. 1-17. ISBN 9783959771214. doi:10.4230/LIPIcs.CONCUR.2019.10 ISSN 1868-8969.

Watson, Gregory A., Steadman, Liam, Purser, David, Kirk, Richard, Kenny, Melissa and Bradbury, Matthew S. (2019) Organising a multidisciplinary postgraduate colloquium. Exchanges: The Interdisciplinary Research Journal, 6 (2). pp. 86-101. doi:10.31273/eirj.v6i2.348 ISSN 2053-9665.

2018

Chistikov, Dmitry, Murawski, Andrzej S. and Purser, David (2018) Bisimilarity distances for approximate differential privacy. In: International Symposium on Automated Technology for Verification and Analysis 2018, Los Angeles, USA, Oct 7-10 2018. Published in: Lecture Notes in Computer Science, 11138 pp. 194-210. ISBN 9783030010898. doi:10.1007/978-3-030-01090-4_12 ISSN 0302-9743.

Gupta, Neha, Crosby, Henry James, Purser, David, Jarvis, Stephen A. and Guo, Weisi (2018) Twitter usage across industry : a spatiotemporal analysis. In: 2018 IEEE Fourth International Conference on Big Data Computing Service and Applications, Bamberg, Germany, 26-29 Mar 2018 . Published in: 2018 IEEE Fourth International Conference on Big Data Computing Service and Applications (BigDataService) ISBN 9781538651193. doi:10.1109/BigDataService.2018.00018