default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlan P. Sexton
Person information
- affiliation: University of Birmingham, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2012
[j1]Randa Almomen, Alan P. Sexton, Volker Sorge:
Abstracting symbolic matrices - Special issue on artificial intelligence and symbolic computation. Ann. Math. Artif. Intell. 64(4): 343-368 (2012)
Conference and Workshop Papers
- 2016
- [c29]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: 132-145 - 2012
- [c28]Alan P. Sexton:
Abramowitz and Stegun - A Resource for Mathematical Document Analysis. AISC/MKM/Calculemus 2012: 159-168 - [c27]Josef B. Baker, Alan P. Sexton, Volker Sorge:
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text. AISC/MKM/Calculemus 2012: 422-426 - [c26]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 - [c25]Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge:
MolRec at CLEF 2012 - Overview and Analysis of Results. CLEF (Online Working Notes/Labs/Workshop) 2012 - [c24]Noureddin M. Sadawi
, Alan P. Sexton, Volker Sorge:
Chemical structure recognition: a rule-based approach. DRR 2012: 82970E - 2011
- [c23]Josef B. Baker, Alan P. Sexton, Volker Sorge, Masakazu Suzuki:
Comparing Approaches to Mathematical Document Analysis from PDF. ICDAR 2011: 463-467 - [c22]Noureddin M. Sadawi, Alan P. Sexton, Volker Sorge:
Performance of MolRec at TREC 2011 Overview and Analysis of Results. TREC 2011 - 2010
- [c21]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188 - [c20]Josef B. Baker, Alan P. Sexton, Volker Sorge:
Faithful mathematical formula recognition from PDF documents. Document Analysis Systems 2010: 485-492 - 2009
- [c19]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Computing with abstract matrix structures. ISSAC 2009: 325-332 - [c18]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153 - [c17]Josef B. Baker, Alan P. Sexton, Volker Sorge:
A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM 2009: 201-216 - 2008
- [c16]Alan P. Sexton, Richard Swinbank:
Virtual Forced Splitting, Demotion and the BV-Tree. BNCOD 2008: 139-152 - [c15]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Abstract Matrix Arithmetic. SYNASC 2008: 61-68 - [c14]Alan P. Sexton, Hayo Thielecke:
Reasoning about B+ Trees with Operational Semantics and Separation Logic. MFPS 2008: 355-369 - 2006
- [c13]Alan P. Sexton, Volker Sorge:
Abstract matrices in symbolic computation. ISSAC 2006: 318-325 - [c12]Toshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki:
Capturing Abstract Matrices from Paper. MKM 2006: 124-138 - [c11]Amar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge:
Towards a Parser for Mathematical Formula Recognition. MKM 2006: 139-151 - 2005
- [c10]Alan P. Sexton, Volker Sorge:
Database-Driven Mathematical Character Recognition. GREC 2005: 218-230 - [c9]Alan P. Sexton, Volker Sorge:
Semantic Analysis of Matrix Structures. ICDAR 2005: 1141-1145 - [c8]Alan P. Sexton, Volker Sorge:
Processing Textbook-Style Matrices. MKM 2005: 111-125 - [c7]Alan P. Sexton, Volker Sorge:
A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216 - 2004
- [c6]Alan P. Sexton, Richard Swinbank:
Bulk Loading the M-Tree to Enhance Query Performance. BNCOD 2004: 190-202 - 1997
- [c5]Alan P. Sexton:
Querying Indexed Files. CDB 1997: 263-281 - [c4]Stéphane Bressan, Alan P. Sexton, Mark Wallace:
Implementing Index Data Structures Using Constraint Logic Programming. CDB 1997: 294-301 - 1990
- [c3]Hans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton:
A Knowledge Crunching System. ARCS 1990: 9-21 - [c2]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: 339-342 - 1989
- [c1]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: 186-194
Editorship
- 2014
- [e4]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [e3]Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban:
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8543, Springer 2014, ISBN 978-3-319-08433-6 [contents] - 2010
- [e2]Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton:
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. Lecture Notes in Computer Science 6167, Springer 2010, ISBN 978-3-642-14127-0 [contents] - 2009
- [e1]Alan P. Sexton:
Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings. Lecture Notes in Computer Science 5588, Springer 2009, ISBN 978-3-642-02842-7 [contents]
Informal and Other Publications
- 2010
- [i2]Alan P. Sexton, Richard Swinbank:
Symmetric M-tree. CoRR abs/1004.4216 (2010) - [i1]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. CoRR abs/1004.5549 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
