Recent publications
Book
Watt, SM, Davenport, JH, Sexton, A, Sojka, P & Urban, J (eds) 2014, . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8543, vol. LNAI 8543, Springer.
England, M, Davenport, JH, Kohlhase, A, Kohlhase, M, Libbrecht, P, Neuper, W, Quaresma, P, Sexton, A, Sojka, P, Urban, J & Watt, SM (eds) 2014, . CEUR Workshop Proceedings, vol. 1186, vol. 1186, CEUR-WS.org. <>
Autexier, S, Calmet, J, Delahaye, D, Ion, PDF, Rideau, L, Rioboo, R & Sexton, A 2010, . vol. 6167, Springer.
Article
Almomen, R, Sexton, AP & Sorge, V 2012, '', Annals of Mathematics and Artificial Intelligence, vol. 64, no. 4, pp. 343-368.
Sadawi, N, Sexton, A & Sorge, V 2012, '', Proceedings of SPIE - The International Society for Optical Engineering, vol. 8297, 82970E.
Chapter
Filippov, I, Lupu, M & Sexton, A 2017, . in M Lupu, K Mayer, N Kando & AJ Trippe (eds), Current Challenges in Patent Information Retrieval. 2nd edn, The Information Retrieval Series, vol. 37, Springer, pp. 369-389.
Conference contribution
Schubotz, M & Sexton, A 2016, . in Proceedings of the 9th Conference on Intelligent Computer Mathematics. CEUR Workshop Proceedings, CEUR-WS.org, pp. 132-145, 9th Conference on Intelligent Computer Mathematics, Bialystok, Poland, 25/07/16. <>
Carette, J, Sexton, A, Sorge, V & Watt, S 2010, . in S Autexier, J Calmet, D Delahaye, PDF Ion, L Rideau, R Rioboo & AP Sexton (eds), Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6167, Springer, pp. 172-188.
Paper
Baker, J, Sexton, A, Sorge, V & Suzuki, M 2011, '', Paper presented at Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR 2011), 21/09/11 pp. 463-467.
Sadawi, N, Sexton, A, Sorge, V, Voorhees, EM & Buckland, LP 2011, '', Paper presented at Proceedings of the 20th Text REtrieval Conference (TREC 2011), 1/11/11.
Baker, J, Sexton, A, Sorge, V, Sojka, P & Bouche, T 2011, '', Paper presented at Towards a Digital Mathematics Library, Proceedings of the 4th Workshop (DML 2011), 1/07/11 pp. 65-75.
Sexton, A, Sorge, V, Suzuki, M & Sojka, P 2010, '', Paper presented at Towards a Digital Mathematics Library, Proceedings of the 3rd Workshop (DML 2010), 7/07/10 pp. 37-42.
Baker, J, Sexton, A & Sorge, V 2010, '', Paper presented at Proceedings of the 9th IAPR International Workshop on Document Analysis Systems (DAS '10), 11/06/10 pp. 485-492.
Kerber, M, Autexier, S, Calmet, J, Delahaye, D, Ion, P, Rideau, L, Riobo, R & Sexton, A 2010, '', Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, 1/01/10 pp. 345-354.
Sexton, A, Sorge, V & Watt, SM 2009, '', Paper presented at Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 1/01/09 pp. 61-68.