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,

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,

Back to profile page