Alan Sexton

Publications

  1. 2009
  2. 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

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

  4. 2008
  5. 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

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

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

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

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

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

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

  12. 2007
  13. 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