KCM: A Knowledge Crunching Machine. - Hans Benker; Jean-Michel Beacco; Sylvie Bescos; Michel Dorochevsky; Thomas Jeffré; Anita Pohlmann; Jacques Noyé; Bruno Poterie; Alan P. Sexton; Jean-Claude Syre; Oliver Thibault; Günter Watzlawik (ISCA, 1989)

A Knowledge Crunching System. - Hans Benker; Michel Dorochevsky; Jacques Noyé; Alan P. Sexton (ARCS, 1990)

The European Declarative System (EDS) as a platform for parallel logic programming. - K.-F. Wong; U. C. Baron; Hans Benker; Sylvie Bescos; A. B. Cheese; François J. N. Cosquer; Sergio A. Delgado-Rannauro; Michel Dorochevsky; P. Heuze; M. Ibanez-Espiga; Jacques Noyé; Maurizio Paci; et al. (SPDP, 1990)

Implementing Index Data Structures Using Constraint Logic Programming. - Stéphane Bressan; Alan P. Sexton; Mark Wallace 001 (CDB, 1997)

Querying Indexed Files. - Alan P. Sexton (CDB, 1997)

Bulk Loading the M-Tree to Enhance Query Performance. - Alan P. Sexton; Richard Swinbank (BNCOD, 2004)

Database-Driven Mathematical Character Recognition. - Alan P. Sexton; Volker Sorge (GREC, 2005)

Semantic Analysis of Matrix Structures. - Alan P. Sexton; Volker Sorge (ICDAR, 2005)

Processing Textbook-Style Matrices. - Alan P. Sexton; Volker Sorge (MKM, 2005)

A Database of Glyphs for OCR of Mathematical Documents. - Alan P. Sexton; Volker Sorge (MKM, 2005)

Abstract matrices in symbolic computation. - Alan P. Sexton; Volker Sorge (ISSAC, 2006)

Capturing Abstract Matrices from Paper. - Toshihiro Kanahori; Alan P. Sexton; Volker Sorge; Masakazu Suzuki (MKM, 2006)

Towards a Parser for Mathematical Formula Recognition. - Amar Raja; Matthew Rayner; Alan P. Sexton; Volker Sorge (MKM, 2006)

Virtual Forced Splitting, Demotion and the BV-Tree. - Alan P. Sexton; Richard Swinbank (BNCOD, 2008)

Abstract Matrix Arithmetic. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (SYNASC, 2008)

Reasoning about B+ Trees with Operational Semantics and Separation Logic. - Alan P. Sexton; Hayo Thielecke (MFPS, 2008)

Computing with abstract matrix structures. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (ISSAC, 2009)

A Linear Grammar Approach to Mathematical Formula Recognition from PDF. - Josef B. Baker; Alan P. Sexton; Volker Sorge (Calculemus/MKM, 2009)

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (Calculemus/MKM, 2009)

Symbolic Domain Decomposition. - Jacques Carette; Alan P. Sexton; Volker Sorge; Stephen M. Watt (AISC/MKM/Calculemus, 2010)

Faithful mathematical formula recognition from PDF documents. - Josef B. Baker; Alan P. Sexton; Volker Sorge (Document Analysis Systems, 2010)

Symmetric M-tree - Alan P. Sexton; Richard Swinbank (CoRR, 2010)

Comparing Approaches to Mathematical Document Analysis from PDF. - Josef B. Baker; Alan P. Sexton; Volker Sorge; Masakazu Suzuki (ICDAR, 2011)

Performance of MolRec at TREC 2011 Overview and Analysis of Results. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (TREC, 2011)

MaxTract: Converting PDF to $ mbox LaTeX$ , MathML and Text. - Josef B. Baker; Alan P. Sexton; Volker Sorge (AISC/MKM/Calculemus, 2012)

Abramowitz and Stegun - A Resource for Mathematical Document Analysis. - Alan P. Sexton (AISC/MKM/Calculemus, 2012)

CLEF-IP 2012: Retrieval Experiments in the Intellectual Property Domain. - Florina Piroi; Mihai Lupu; Allan Hanbury; Alan P. Sexton; Walid Magdy; Igor V. Filippov (CLEF (Online Working Notes/Labs/Workshop), 2012)

MolRec at CLEF 2012 - Overview and Analysis of Results. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (CLEF (Online Working Notes/Labs/Workshop), 2012)

Chemical structure recognition: a rule-based approach. - Noureddin M. Sadawi; Alan P. Sexton; Volker Sorge (DRR, 2012)

Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. - Randa Almomen; Alan P. Sexton; Volker Sorge (Ann. Math. Artif. Intell., 2012)

A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. - Moritz Schubotz; Alan P. Sexton (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

The CLEF-IP 2012 Test Collection. - Florina Piroi; Allan Hanbury; Mihai Lupu; Igor V. Filippov; Alan P. Sexton; Walid Magdy (TU Wien Research Data, 2021)