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

Previous 1 2 Next