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 A; Bennett-Moses L; Vaile D, 2015, 'Using 'big' metadata for criminal intelligence: Understanding limitations and appropriate safeguards', in Proceedings of the International Conference on Artificial Intelligence and Law, pp. 196 - 200, http://dx.doi.org/10.1145/2746090.2746110


Back to profile page