2012 | |

[53] | Alan P. Sexton, "Accessibility in Digital Mathematical Libraries --- Current Status and Future Prospects", In International Workshop on Digitization and E-Inclusion in Mathematics and Science (DEIMS2012), Tokyo, 2012.
[bib] [pdf] |

[52] | Alan P. Sexton, "Abramowitz and Stegun - A Resource for Mathematical Document Analysis", In Conferences on Intelligent Computer Mathematics (CICM 2012), Springer Berlin / Heidelberg, vol. 7362, pp. 159-168, 2012.
[bib] [pdf] [doi] |

[51] | Noureddin Sadawi, Alan P. Sexton, Volker Sorge, "MolRec at CLEF 2012 --- Overview and Analysis of Results", 2012. [bib] [pdf] |

[50] | Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge, "Chemical Structure Recognition: A Rule Based Approach", In 19th Document Recognition and Retrieval Conference (DRR 2012), SPIE, 2012.
[bib] [pdf] [doi] |

[49] | Florina Piroi, Mihai Lupu, Allan Hanbury, Alan P. Sexton, Walid Magdy, Igor Filippov, "CLEF-IP 2012: Retrieval Experiments in the Intellectual Property Domain", 2012. [bib] [pdf] |

[48] | Josef Baker, Alan P. Sexton, Volker Sorge, "MaxTract: Converting PDF to LaTeX, MathML and Text", In Conferences on Intelligent Computer Mathematics (CICM 2012), Springer Berlin / Heidelberg, vol. 7362, pp. 422-426, 2012.
[bib] [pdf] [doi] |

[47] | Randa Almomen, Alan P. Sexton, Volker Sorge, "Abstracting Symbolic Matrices", In Annals of Mathematics and Artificial Intelligence, Springer Netherlands, vol. 64, pp. 343-368, 2012.
[bib] [pdf] [doi] |

2011 | |

[46] | Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge, "Performance of MolRec at TREC 2011 --- Overview and Analysis of Results", In The Twentieth Text REtrieval Conference Proceedings (TREC 2011), National Institute of Standards and Technology (NIST), Gaithersburg, USA, 2011.
[bib] [pdf] |

[45] | Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki, "Comparing Approaches to Mathematical Document Analysis from PDF", In Eleventh International Conference on Document Analysis and Recognition (ICDAR 2011), pp. 463-467, 2011.
[bib] [pdf] [doi] |

[44] | Josef B. Baker, Alan P. Sexton, Volker Sorge, "Towards Reverse Engineering of PDF Documents.", In Towards a Digital Mathematics Library, DML 2011, Masaryk University Press, Bertinoro, Italy, pp. 65-75, 2011.
[bib] [pdf] |

2010 | |

[43] | Alan P. Sexton, Volker Sorge, Masakazu Suzuki, "Designing a Semantic Ground Truth for Mathematical Formulae", In Towards a Digital Mathematics Library, Masaryk University Press, Brno, Czech Republic, Paris, France, pp. 37-42, 2010.
[bib] [pdf] |

[42] | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Symbolic domain decomposition", In Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics, Springer-Verlag, Berlin, Heidelberg, pp. 172-188, 2010.
[bib] [pdf] [doi] |

[41] | "AISC'10/MKM'10/Calculemus'10: Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics", Springer-Verlag, Berlin, Heidelberg, 2010. [bib] [doi] |

[40] | Josef B. Baker, Alan P. Sexton, Volker Sorge, "Faithful mathematical formula recognition from PDF documents", In Proceedings of the 9th IAPR International Workshop on Document Analysis Systems, ACM, New York, NY, USA, pp. 485-492, 2010.
[bib] [pdf] [doi] |

2009 | |

[39] | "Proceedings of the 26th British National Conference on Databases (BNCOD 2009)", Springer, vol. 5588, Birmingham, UK, 2009. [bib] [doi] |

[38] | Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Computing with Abstract Matrix Structures", In Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC '09), ACM, New York, NY, USA, pp. 325-332, 2009.
[bib] [pdf] |

[37] | Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Reasoning with Generic Cases in the Arithmetic of Abstract Matrices", In Proceedings of the 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning in the Proceedings of the Conference in Intelligent Computer Mathematics, Springer, vol. 5625, Grand Bend, Canada, pp. 138-153, 2009.
[bib] [pdf] [doi] |

[36] | Josef Baker, Alan P. Sexton, Volker Sorge, "Using Fonts Within PDF Files to Improve Formula Recognition", In E-Inclusion in Mathematics and Science (WEIMS'09), Fukuoka, Japan, 2009.
[bib] [pdf] |

[35] | Josef B. Baker, Alan P. Sexton, Volker Sorge, "A Linear Grammar Approach to Mathematical Formula Recognition from PDF", In Proceedings of the 8th International Conference on Mathematical Knowledge Management in the Proceedings of the Conference in Intelligent Computer Mathematics, Springer, vol. 5625, Grand Bend, Canada, pp. 201-216, 2009.
[bib] [pdf] [doi] |

[34] | Josef Baker, Alan P. Sexton, Volker Sorge, "An Online Repository of Mathematical Samples", In Towards a Digital Mathematics Library (DML), Masaryk University Press, Grand Bend, Canada, pp. 49-57, 2009.
[bib] [pdf] |

2008 | |

[33] | Alan P. Sexton, Hayo Thielecke, "Reasoning about B+ Trees with Operational Semantics and Separation Logic", In Electronic Notes in Theoretical Computer Science, vol. 218, pp. 355-369, 2008.
[bib] [pdf] [doi] |

[32] | Alan P. Sexton, Richard Swinbank, "Virtual Forced Splitting, Demotion and the BV-Tree", In Proceedings of the 25th British National Conference on Databases (BNCOD), Springer, vol. 5071, pp. 139-152, 2008.
[bib] [pdf] [doi] |

[31] | Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Abstract Matrix Arithmetic", In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), IEEE Computer Society Press, Timisoara, Romania, 2008.
[bib] [pdf] [doi] |

[30] | Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Abstract Matrix Arithmetic", no. TR-07-01, London, Ontario, Canada, 2008. [bib] |

[29] | Alan P. Sexton, Volker Sorge, "Reasoning on Abstract Matrix Structures", In Proceedings of the 15th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Birmingham, UK, 2008.
[bib] |

[28] | Josef Baker, Alan P. Sexton, Volker Sorge, "Extracting Precise Data on the Mathematical Content of PDF Documents", In Towards a Digital Mathematics Library (DML), Masaryk University Press, Birmingham, UK, 2008.
[bib] [pdf] |

[27] | Josef Baker, Alan P. Sexton, Volker Sorge, "Extracting Precise Data from PDF Documents for Mathematical Formula Recognition", In 8th IAPR International Workshop on Document Analysis Systems (DAS), Nara, Japan, 2008.
[bib] |

2007 | |

[26] | Alan P. Sexton, Volker Sorge, Stephen M. Watt, "Arithmetic on Matrices with Blocks of Symbolic Size", Chapter in ISSAC 2007 poster abstracts, ACM, vol. 41(1-2), New York, NY, USA, pp. 39-40, 2007.
[bib] [doi] |

2006 | |

[25] | Alan P. Sexton, Volker Sorge, "A Database of Glyphs for OCR of Mathematical Documents", In Proceedings of the 4th International Conference on Mathematical Knowledge Management'05, Springer, vol. 3863, Bremen, Germany, pp. 203-216, 2006.
[bib] [pdf] |

[24] | Alan P. Sexton, Volker Sorge, "Processing Textbook-style Matrices", In Proceedings of the 4th International Conference on Mathematical Knowledge Management'05, Springer Verlag, Berlin, Germany, vol. 3863, Bremen, Germany, pp. 111-125, 2006.
[bib] [pdf] |

[23] | Alan P. Sexton, Volker Sorge, "Abstract Matrices in Symbolic Computation", In International Symposium on Symbolic and Algebraic Computation (ISSAC), ACM Press, Genova, Italy, pp. 318-325, 2006.
[bib] [pdf] |

[22] | Alan P. Sexton, Volker Sorge, "Database-driven Mathematical Character Recognition", In Graphics Recognition, Algorithms and Applications (GREC), Springer Verlag, Berlin, Germany, Hong Kong, pp. 206-217, 2006.
[bib] [pdf] |

[21] | Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge, "Towards a Parser for Mathematical Formula Recognition", In Mathematical Knowledge Management (MKM), Springer Verlag, Berlin, Germany, vol. 4108, Wokingham, UK, pp. 139-151, 2006.
[bib] [pdf] |

[20] | Tashihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki, "Capturing Abstract Matrices from Paper", In Mathematical Knowledge Management (MKM), Springer Verlag, Berlin, Germany, vol. 4108, Wokingham, UK, pp. 124-138, 2006.
[bib] [pdf] |

2005 | |

[19] | Alan P. Sexton, Volker Sorge, "Semantic Analysis of Matrix Structures", In International Conference in Document Analysis and Recognition, IEEE Computer Society Press, Los Alamitos, CA, USA, Seoul, South Korea, pp. 1141-1145, 2005.
[bib] [pdf] [doi] |

[18] | Alan P. Sexton, Volker Sorge, "Abstract matrices and constraints", In Proceedings of the 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Edinburgh, UK, 2005.
[bib] |

2004 | |

[17] | Alan P. Sexton, Richard Swinbank, "Bulk Loading the M-tree to Enhance Query Performance", In 21st British National Conference on Databases (BNCOD), Springer, vol. 3112, Edinburgh, UK, pp. 190-202, 2004.
[bib] [pdf] [doi] |

[16] | Alan P. Sexton, Richard Swinbank, "Symmetric M-Tree", Technical report, University of Birmingham, UK, no. CSR-04-2, 2004. [bib] [pdf] |

2000 | |

[15] | Alan P. Sexton, Alison Todman, Kevin Woodward, "Font Recognition using Shape-Based Quad-Tree and kd-Tree Decomposition", In 3rd International Conference on Computer Vision, Pattern Recognition and Image Processing, Atlantic City, USA, pp. 212-215, 2000.
[bib] [pdf] |

1997 | |

[14] | Alan P. Sexton, "Querying Indexed Files", In CDB'97 Second International Workshop on Constraint Database Systems, Springer Verlag, Delphi, Greece, pp. 263-281, 1997.
[bib] |

1996 | |

[13] | Stephane Bressan, Alan P. Sexton, Mark Wallace, "Implementing Index Data Structures using Constraint Logic Programming", In CP'96 Workshop on Constraints and Databases, Springer Verlag, Cambridge Massachusetts, USA, pp. 294-301, 1996.
[bib] |

1991 | |

[12] | Alan P. Sexton, "KCM Kernel Implementation Report", no. DPS-100, 1991. [bib] |

1990 | |

[11] | Alan P. Sexton, "The KCM System Programming Reference Manual", no. DPS-99, 1990. [bib] |

[10] | Alan P. Sexton, "The KCM Operating System Interface Manual", no. DPS-95, 1990. [bib] |

[9] | H. Benker, M. Dorochevsky, J. Noyé, Alan P. Sexton, "A Knowledge Crunching System", In Proceedings of the 11th ITG/GI-Conference on Architecture of Computing Systems, Vde Verlag, pp. 9-21, 1990.
[bib] |

[8] | K.-F. Wong, U.C. Baron, H. Benker, S. Bescos, A.B. Cheese, F.J.N. Cosquer, S.A. Delgado-Rannauro, M. Dorochevsky, P. Heuzé, M. Ibáñez-Espiga, J. Noyé, M. Paci, M.J. Ratcliffe, M.J. Reeve, K. Schuerman, Alan P. Sexton, A. Veron, J. Xu, "The European Declarative System (EDS) as a Platform for Parallel Logic Programming", In Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing, 1990.
[bib] |

1989 | |

[7] | Alan P. Sexton, "KCM Macro Assembler Reference Manual", no. TR-CA-48, 1989. [bib] |

[6] | H. Benker, M. Dorochevsky, J. Noyé, B. O'Riordan, Alan P. Sexton, J.C. Syre, "The Knowledge Crunching Machine at ECRC: A Joint R&D Project of a High Speed Prolog System", In ICL Technical Journal, vol. 6, no. 4, pp. 737-753, 1989.
[bib] |

[5] | J.M. Beacco, H. Benker, S. Bescos, M. Dorochevsky, T. Jeffré, J. Noyé, A. Pöhlmann, B. Poterie, Alan P. Sexton, J.C. Syre, O. Thibault, G. Watzlawik, "KCM: A Knowledge Crunching Machine", In Proceedings of the 16th International Symposium on Computer Architecture, IEEE Computer Society Press, pp. 186-194, 1989.
[bib] |

1988 | |

[4] | Alan P. Sexton, "KCM Message Passing System --- Manual Pages", no. IR-CA-14, 1988. [bib] |

[3] | Alan P. Sexton, "KCM Host Software Interface Description", no. TR-CA-35, 1988. [bib] |

[2] | Alan P. Sexton, "Changes Required in the KCM Binary Object File Format", no. CA-KCM-21, 1988. [bib] |

1987 | |

[1] | Alan P. Sexton, "The KCM Binary Object File Format", no. CA-34, 1987. [bib] |

Powered by bibtexbrowser