Alan Sexton

Publications

  1. 2017
  2. Published

    Modern Approaches to Chemical Image Recognition

    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

    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

    (ed.), (ed.), Alan Sexton (ed.), (ed.) & (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
  8. 2012
  9. Published
  10. Published
  11. 2011
  12. Published

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

    Alan Sexton, Volker Sorge, 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, 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, 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, 7 Jul 2010, p. 37-42. 6 p.

    Research output: Contribution to conference (unpublished)Paper

  17. Published

    Proofs, Proofs, Proofs, and Proofs

    Manfred Kerber & 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

    Alan Sexton, Volker Sorge, 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, 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, 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, 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, 1 Jan 2009, p. 61-68. 8 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 Next