Select Publications

Conference Papers

Bennett Moses L; Goré R; Levy R; Pattinson D; Tiwari M, 2017, 'No more excuses: Automated synthesis of practical and verifiable vote-counting programs for complex voting schemes', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 66 - 83, http://dx.doi.org/10.1007/978-3-319-68687-5_5

Maurushat AM; bennett moses ; vaile D, 2015, 'Using ‘Big’ Metadata for Criminal Intelligence: Understanding Limitations and Appropriate Safeguards', in Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL, San Diego, CA, USA, pp. 196 - 200, presented at ICAIL '15 15th International Conference on Artificial Intelligence and Law, San Diego, CA, USA, 08 June 2015 - 12 June 2015, http://dx.doi.org/10.1145/2746090.2746110


Back to profile page