Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Warwick Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Official Date | Item Type | Funder | No Grouping
Number of items: 8.

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.

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.

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

This list was generated on Thu Mar 23 20:00:44 2023 GMT.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us