Alan Sexton

Publications

  1. 2017
  2. Published

    Modern Approaches to Chemical Image Recognition

    Filippov, I., Lupu, M. & Alan Sexton, 2017, Current Challenges in Patent Information Retrieval. Lupu, M., Mayer, K., Kando, N. & Trippe, A. J. (eds.). 2nd ed. Springer, p. 369-389 20 p. (The Information Retrieval Series; vol. 37).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 2016
  4. Published

    A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing

    Schubotz, M. & Alan Sexton, 22 Jul 2016, Proceedings of the 9th Conference on Intelligent Computer Mathematics. CEUR-WS.org, p. 132-145 14 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2014
  6. Published

    Intelligent Computer Mathematics: International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014, Proceedings

    Watt, S. M. (ed.), Davenport, J. H. (ed.), Alan Sexton (ed.), Sojka, P. (ed.) & Urban, J. (ed.), 1 Jul 2014, Springer. 459 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8543)

    Research output: Book/ReportBook

  7. Published

    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

    England, M. (ed.), Davenport, J. H. (ed.), Kohlhase, A. (ed.), Kohlhase, M. (ed.), Libbrecht, P. (ed.), Neuper, W. (ed.), Quaresma, P. (ed.), Alan Sexton (ed.), Sojka, P. (ed.), Urban, J. (ed.) & Watt, S. M. (ed.), 1 Jul 2014, CEUR-WS.org. (CEUR Workshop Proceedings; vol. 1186)

    Research output: Book/ReportBook

  8. 2012
  9. Published
  10. Published

    Chemical Structure Recognition: A Rule Based Approach

    Sadawi, N., Alan Sexton & Volker Sorge, 1 Jan 2012, In : Proceedings of SPIE - The International Society for Optical Engineering. 8297, 82970E.

    Research output: Contribution to journalArticle

  11. 2011
  12. Published

    Performance of MolRec at TREC 2011: Overview and Analysis of Results

    Sadawi, N., Alan Sexton, Volker Sorge, Voorhees, EM. & Buckland, LP., 1 Nov 2011.

    Research output: Contribution to conference (unpublished)Paper

  13. Published

    Comparing Approaches to Mathematical Document Analysis from PDF

    Josef Baker, Alan Sexton, Volker Sorge & Suzuki, M., 21 Sep 2011, p. 463-467. 5 p.

    Research output: Contribution to conference (unpublished)Paper

  14. Published

    Towards Reverse Engineering of PDF Documents

    Josef Baker, Alan Sexton, Volker Sorge, Sojka, P. & Bouche, T., 1 Jul 2011, p. 65-75. 11 p.

    Research output: Contribution to conference (unpublished)Paper

  15. 2010
  16. Published

    Designing a Semantic Ground Truth for Mathematical Formulae

    Alan Sexton, Volker Sorge, Suzuki, M. & Sojka, P., 7 Jul 2010, p. 37-42. 6 p.

    Research output: Contribution to conference (unpublished)Paper

  17. Published

    Proofs, Proofs, Proofs, and Proofs

    Manfred Kerber, Autexier, S., Calmet, J., Delahaye, D., Ion, P., Rideau, L., Riobo, R. & Alan Sexton, 1 Jul 2010, p. 345-354. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  18. Published

    Faithful Mathematical Formula Recognition from Pdf Documents

    Josef Baker, Alan Sexton & Volker Sorge, 11 Jun 2010, p. 485-492. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  19. Published
  20. Published

    Symbolic Domain Decomposition

    Carette, J., Alan Sexton, Volker Sorge & Watt, S., 1 Jan 2010, 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. Autexier, S., Calmet, J., Delahaye, D., Ion, PDF., Rideau, L., Rioboo, R. & Sexton, AP. (eds.). Springer, p. 172-188 17 p. (Lecture Notes in Computer Science; vol. 6167).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. 2009
  22. Published

    Using Fonts Within PDF Files to Improve Formula Recognition

    Josef Baker, Alan Sexton, Volker Sorge, Suzuki, M., Ikeda, H. & Yamaguchi, K., 12 Dec 2009, p. 39-42. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  23. Published

    A Linear Grammar Approach to Mathematical Formula Recognition from PDF

    Josef Baker, Alan Sexton & Volker Sorge, 6 Jul 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, SM. (eds.). Springer, p. 201-216 16 p. (Lecture Notes in Computer Science; vol. 5625).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Published

    Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

    Alan Sexton, Volker Sorge, Watt, SM., Carette, J., Dixon, L., Sacerdoti Coen, CS. & Watt, SM., 6 Jul 2009, p. 138-153. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  25. Published

    Computing with Abstract Matrix Structures

    Alan Sexton, Volker Sorge & Watt, SM., 1 Jul 2009, p. 325-332. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  26. Published
  27. Published

    Abstract Matrix Arithmetic

    Alan Sexton, Volker Sorge & Watt, SM., 1 Jan 2009, p. 61-68. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  28. Published

    An Online Repository of Mathematical Samples

    Josef Baker, Alan Sexton, Volker Sorge & Sojka, P., 1 Jan 2009, p. 49-57. 9 p.

    Research output: Contribution to conference (unpublished)Paper

  29. Published

    Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

    Alan Sexton, Volker Sorge & Watt, SM., 1 Jan 2009, p. 138-153. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  30. 2008
  31. Published

    Reasoning about B+ Trees with Operational Semantics and Separation Logic

    Alan Sexton & Hayo Thielecke, 22 Oct 2008, p. 355-369. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  32. Published

    Extracting Precise Data from PDF Documents for Mathematical Formula Recognition

    Baker, J., Alan Sexton & Volker Sorge, 1 Sep 2008.

    Research output: Contribution to conference (unpublished)Abstract

  33. Published

    Extracting Precise Data on the Mathematical Content of PDF Documents

    Baker, J., Alan Sexton, Volker Sorge & Sojka, P., 1 Jul 2008.

    Research output: Contribution to conference (unpublished)Paper

  34. Published

    Reasoning on Abstract Matrix Structures

    Alan Sexton, Volker Sorge, Dennis, L. & Volker Sorge, 1 Jul 2008, p. 36-37. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  35. Published

    Abstract Matrix Arithmetic, ORCCA Technical Report TR-08-01

    Alan Sexton, Volker Sorge & Watt, SM., 1 Mar 2008, Not Known.

    Research output: Book/ReportCommissioned report

  36. Published

    Virtual Forced Splitting, Demotion and the BV-Tree

    Alan Sexton, Swinbank, R., Gray, A., Jeffery, K. & Shao, J., 1 Jan 2008, In : Lecture Notes in Computer Science. 5071, p. 139-152 14 p.

    Research output: Contribution to journalArticle

  37. Published

    Virtual forced splitting, demotion and the BV-Tree

    Alan Sexton & Swinbank, R., 1 Jan 2008, p. 139-152. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  38. 2007
  39. Published

    Arithmetic on matrices with blocks of symbolic size. In ISSAC 2007 Poster Abstracts, M Giesbrecht, I Kotsireas, and A Lobo, (Editors)

    Alan Sexton, Volker Sorge & Watt, SM., 1 Mar 2007, p. 39-40. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  40. 2006
  41. Published

    A Database of Glyphs for OCR of Mathematical Documents

    Alan Sexton, Volker Sorge & Kohlhase, M., 1 Jan 2006, p. 203-216. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  42. Published

    Abstract matrices in symbolic computation

    Alan Sexton, Volker Sorge & Dumas, J-G., 1 Jan 2006, p. 318-325. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  43. Published

    Capturing Abstract Matrices from Paper

    Kanahori, T., Alan Sexton, Volker Sorge, Suzuki, M., Borwein, JM. & Farmer, WM., 1 Jan 2006, p. 124-138. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  44. Published

    Database-driven mathematical character recognition

    Alan Sexton, Volker Sorge, Llados, J. & Liu, W., 1 Jan 2006, p. 218-230. 13 p.

    Research output: Contribution to conference (unpublished)Paper

  45. Published

    Processing Textbook-style Matrices

    Alan Sexton, Volker Sorge & Kohlhase, M., 1 Jan 2006, p. 111-125. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  46. Published

    Towards a Parser for Mathematical Formula Recognition

    Raja, A., Rayner, M., Alan Sexton, Volker Sorge, Borwein, JM. & Farmer, WM., 1 Jan 2006, p. 139-151. 13 p.

    Research output: Contribution to conference (unpublished)Paper

  47. 2005
  48. Published

    Semantic Analysis of Matrix Structures

    Alan Sexton & Volker Sorge, 1 Sep 2005, p. 1141-1145. 5 p.

    Research output: Contribution to conference (unpublished)Paper

  49. Published

    Abstract Matrices and Constraints

    Alan Sexton, Volker Sorge, Berry, D., Bundy, A. & Fleuriot, J., 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Abstract

  50. 2004
  51. Published

    Bulk loading the M-tree to enhance query performance

    Alan Sexton & Swinbank, R., 1 Jan 2004, p. 190-202. 13 p.

    Research output: Contribution to conference (unpublished)Paper

  52. Published

    CSR-04-2: Symmetric M-tree

    Alan Sexton & Swinbank, R., 1 Jan 2004.

    Research output: Working paper