The Brauer–Manin obstruction on a general diagonal quartic surface. arXiv:1008.0999.
Torsors, Néron models and obstructions to rational points. arXiv:0911.4834.
Evaluating Azumaya algebras on cubic surfaces. arXiv:0810.3535.
(with Samir Siksek) Functions, reciprocity and the obstruction to divisors on curves. J. London Math. Soc., volume 77(3), 2008, pp. 789–807. (article)
(with Nils Bruin, Victor Flynn and Adam Logan) The Brauer–Manin obstruction and Sha[2]. LMS J. Comput. Math., volume 10, 2007, pp. 354–377. (article)
Efficient evaluation of the Brauer–Manin obstruction. Math. Proc. Camb. Phil. Soc., volume 142(1), 2007, pp. 13–23. (Journal DVI PDF)
Brauer groups of diagonal quartic surfaces. J. Symbolic Computation, volume 41, 2006, pp. 544–558. (Journal DVI PDF)
(with Sir Peter Swinnerton-Dyer) Computing the Brauer–Manin obstructions. Math. Proc. Camb. Phil. Soc., volume 137 (2004), pp. 1–16. (Journal DVI PDF)
Computing Brauer--Manin obstructions on diagonal quartic surfaces. Slides from talk, Arithmetic of K3 surfaces, Banff, December 2008. (PDF). Also available: Magma code.
Efficient computation of the Brauer–Manin obstruction. Slides from seminar, Explicit Arithmetic Geometry workshop, Institut Henri Poincaré, Paris, December 2004. (DVI PDF)
Computing Galois groups by specialisation. Poster at ANTS VI, University of Vermont, June 2004. (DVI PDF) Condensed version in SIGSAM bulletin Communications in Computer Algebra, volume 38, no. 3 (September 2004).
Computations on diagonal quartic surfaces. PhD thesis, University of Cambridge, 2002.
(with Joan Mitchell) Reduced-error processing of transformed digital data. US patent no. 7,194,138 (20 March, 2007). full text.
(with Joan Mitchell) Error reduction in transformed digital data. US patent nos. 6,393,155 (21 May, 2002) (full text) and 6,535,645 (18 March, 2003) (full text).
(with Joan Mitchell) Transform-domain correction of real-domain errors. US patent no. 6,256,422 (3 July, 2001). full text.