Watt, SM, Davenport, JH, Sexton, A, Sojka, P & Urban, J (eds) 2014, Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8543, vol. LNAI 8543, Springer. https://doi.org/10.1007/978-3-319-08434-3
England, M, Davenport, JH, Kohlhase, A, Kohlhase, M, Libbrecht, P, Neuper, W, Quaresma, P, Sexton, A, Sojka, P, Urban, J & Watt, SM (eds) 2014, Joint Proceedings of the 9th Workshop on Mathematical User Interfaces, MathUI 2014, 26th OpenMath Workshop, OpenMath 2014, 2014 Workshop on Theorem Proving Components for Educational Software, ThEdu 2014 and the Work in Progress Section of Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra; Portugal; 7 July 2014 through 11 July 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, Intelligent Computer Mathematics: Proceedings of the 10th International Conference AISC 2010, 17th Symposium Calculemus 2010, and 9th International Conference MKM 2010, Lecture Notes in Computer Science. vol. 6167, Springer. https://doi.org/10.1007/978-3-642-14128-7
Almomen, R, Sexton, AP & Sorge, V 2012, 'Abstracting symbolic matrices: Special issue on artificial intelligence and symbolic computation', Annals of Mathematics and Artificial Intelligence, vol. 64, no. 4, pp. 343-368. https://doi.org/10.1007/s10472-012-9299-5
Sadawi, N, Sexton, A & Sorge, V 2012, 'Chemical Structure Recognition: A Rule Based Approach', Proceedings of SPIE - The International Society for Optical Engineering, vol. 8297, 82970E. https://doi.org/10.1117/12.912185
Filippov, I, Lupu, M & Sexton, A 2017, Modern Approaches to Chemical Image Recognition. 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.
Schubotz, M & Sexton, A 2016, A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. 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, Symbolic Domain Decomposition. 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. https://doi.org/10.1007/978-3-642-14128-7_16
Sadawi, N, Sexton, A, Sorge, V, Voorhees, EM & Buckland, LP 2011, 'Performance of MolRec at TREC 2011: Overview and Analysis of Results', Paper presented at Proceedings of the 20th Text REtrieval Conference (TREC 2011), 1/11/11.
Baker, J, Sexton, A, Sorge, V & Suzuki, M 2011, 'Comparing Approaches to Mathematical Document Analysis from PDF', Paper presented at Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR 2011), 21/09/11 pp. 463-467. https://doi.org/10.1109/ICDAR.2011.99
Baker, J, Sexton, A, Sorge, V, Sojka, P & Bouche, T 2011, 'Towards Reverse Engineering of PDF Documents', 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, 'Designing a Semantic Ground Truth for Mathematical Formulae', Paper presented at Towards a Digital Mathematics Library, Proceedings of the 3rd Workshop (DML 2010), 7/07/10 pp. 37-42.
Kerber, M, Autexier, S, Calmet, J, Delahaye, D, Ion, P, Rideau, L, Riobo, R & Sexton, A 2010, 'Proofs, Proofs, Proofs, and Proofs', Paper presented at 9th International Conference on Mathematical Knowledge Management, Jul 05-10, 2010. Paris, France, 1/01/10 pp. 345-354. https://doi.org/10.1007/978-3-642-14128-7_30
Baker, J, Sexton, A & Sorge, V 2010, 'Faithful Mathematical Formula Recognition from Pdf Documents', Paper presented at Proceedings of the 9th IAPR International Workshop on Document Analysis Systems (DAS '10), 11/06/10 pp. 485-492. https://doi.org/10.1145/1815330.1815393
Baker, J, Sexton, A, Sorge, V, Suzuki, M, Ikeda, H & Yamaguchi, K 2009, 'Using Fonts Within PDF Files to Improve Formula Recognition', Paper presented at The Workshop on E-Inclusion in Mathematics and Science 2009(WEIMS'09), 12/12/09 pp. 39-42.
View all publications in research portal