Alan P. Sexton

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Regression Testing

Intellectual Property

Top Venues

AISC/MKM/Calculemus

CLEF (Online Working Notes/Labs/Workshop)

Ann. Math. Artif. Intell.

Publications

Moritz Schubotz, Alan P. Sexton
A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Florina Piroi, Mihai Lupu, Allan Hanbury, Alan P. Sexton, Walid Magdy, Igor V. Filippov
CLEF-IP 2012: Retrieval Experiments in the Intellectual Property Domain. CLEF (Online Working Notes/Labs/Workshop) (2012)
Josef B. Baker, Alan P. Sexton, Volker Sorge
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus (2012)
Alan P. Sexton
Abramowitz and Stegun - A Resource for Mathematical Document Analysis. AISC/MKM/Calculemus (2012)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
Chemical structure recognition: a rule-based approach. DRR (2012)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) (2012)
Randa Almomen, Alan P. Sexton, Volker Sorge
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. 64 (4) (2012)
Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR (2011)
Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge
Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC (2011)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. AISC/MKM/Calculemus (2010)
Josef B. Baker, Alan P. Sexton, Volker Sorge
Faithful mathematical formula recognition from PDF documents. Document Analysis Systems (2010)
Alan P. Sexton, Richard Swinbank
Symmetric M-tree CoRR (2010)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. CoRR (2010)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM (2009)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Computing with abstract matrix structures. ISSAC (2009)
Josef B. Baker, Alan P. Sexton, Volker Sorge
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM (2009)
Alan P. Sexton, Hayo Thielecke
Reasoning about B+ Trees with Operational Semantics and Separation Logic. MFPS (2008)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Abstract Matrix Arithmetic. SYNASC (2008)
Alan P. Sexton, Richard Swinbank
Virtual Forced Splitting, Demotion and the BV-Tree. BNCOD (2008)
Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki
Capturing Abstract Matrices from Paper. MKM (2006)
Alan P. Sexton, Volker Sorge
Abstract matrices in symbolic computation. ISSAC (2006)
Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge
Towards a Parser for Mathematical Formula Recognition. MKM (2006)
Alan P. Sexton, Volker Sorge
Semantic Analysis of Matrix Structures. ICDAR (2005)
Alan P. Sexton, Volker Sorge
Database-Driven Mathematical Character Recognition. GREC (2005)
Alan P. Sexton, Volker Sorge
Processing Textbook-Style Matrices. MKM (2005)
Alan P. Sexton, Volker Sorge
A Database of Glyphs for OCR of Mathematical Documents. MKM (2005)
Alan P. Sexton, Richard Swinbank
Bulk Loading the M-Tree to Enhance Query Performance. BNCOD (2004)
Stéphane Bressan, Alan P. Sexton, Mark Wallace
Implementing Index Data Structures Using Constraint Logic Programming. CDB (1997)
Alan P. Sexton
Querying Indexed Files. CDB (1997)
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, M. J. Ratcliffe, M. J. Reeve, Kees Schuerman, Alan P. Sexton, André Véron, Jiyang Xu
The European Declarative System (EDS) as a platform for parallel logic programming. SPDP (1990)
Hans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton
A Knowledge Crunching System. ARCS (1990)
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
KCM: A Knowledge Crunching Machine. ISCA (1989)