Alan Sexton

Publications

  1. Working paper › Research
  2. Published

    CSR-04-2: Symmetric M-tree

    Alan Sexton, 1 Jan 2004.

    Research output: Working paper

  3. Article › Research › Peer-reviewed
  4. Published
  5. Published

    Virtual Forced Splitting, Demotion and the BV-Tree

    Alan Sexton, 1 Jan 2008, In : Lecture Notes in Computer Science. 5071, p. 139-152 14 p.

    Research output: Contribution to journalArticle

  6. Article › Research › Not peer-reviewed
  7. Published
  8. Abstract › Research › Not peer-reviewed
  9. Published

    Abstract Matrices and Constraints

    Alan Sexton, Volker Sorge, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Abstract

  10. Published
  11. Published

    Extracting Precise Data from PDF Documents for Mathematical Formula Recognition

    Alan Sexton & Volker Sorge, 1 Sep 2008.

    Research output: Contribution to conference (unpublished)Abstract

  12. Published

    Reasoning on Abstract Matrix Structures

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

    Research output: Contribution to conference (unpublished)Abstract

  13. Paper › Research › Not peer-reviewed
  14. Published

    A Database of Glyphs for OCR of Mathematical Documents

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

    Research output: Contribution to conference (unpublished)Paper

  15. Published

    Abstract Matrix Arithmetic

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

    Research output: Contribution to conference (unpublished)Paper

  16. Published

    Abstract matrices in symbolic computation

    Alan Sexton, Volker Sorge, 1 Jan 2006, p. 318-325. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  17. Published

    An Online Repository of Mathematical Samples

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

    Research output: Contribution to conference (unpublished)Paper

  18. Published

    Bulk loading the M-tree to enhance query performance

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

    Research output: Contribution to conference (unpublished)Paper

  19. Published

    Capturing Abstract Matrices from Paper

    Alan Sexton, Volker Sorge, 1 Jan 2006, p. 124-138. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  20. 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

  21. 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

  22. Published

    Database-driven mathematical character recognition

    Alan Sexton, Volker Sorge, 1 Jan 2006, p. 218-230. 13 p.

    Research output: Contribution to conference (unpublished)Paper

  23. 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

  24. Published

    Extracting Precise Data on the Mathematical Content of PDF Documents

    Alan Sexton, Volker Sorge, 1 Jul 2008.

    Research output: Contribution to conference (unpublished)Paper

  25. 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

  26. 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

  27. Published

    Processing Textbook-style Matrices

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

    Research output: Contribution to conference (unpublished)Paper

  28. 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

  29. 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

  30. 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

  31. Published

    Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

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

    Research output: Contribution to conference (unpublished)Paper

  32. 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

  33. 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

  34. Published

    Towards a Parser for Mathematical Formula Recognition

    Alan Sexton, Volker Sorge, 1 Jan 2006, p. 139-151. 13 p.

    Research output: Contribution to conference (unpublished)Paper

  35. 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

  36. Published

    Virtual forced splitting, demotion and the BV-Tree

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

    Research output: Contribution to conference (unpublished)Paper

  37. Conference contribution › Research
  38. 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

  39. 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

  40. 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

  41. Chapter › Research
  42. 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

  43. Commissioned report › Research
  44. Published

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

    Alan Sexton, Volker Sorge, 1 Mar 2008, Not Known.

    Research output: Book/ReportCommissioned report

  45. Book › Research
  46. Published
  47. 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

  48. Published
  49. Published