Alan P. Sexton Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton: Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings Springer 2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosef B. Baker, Alan P. Sexton, Volker Sorge: A Linear Grammar Approach to Mathematical Formula Recognition from PDF. Calculemus/MKM 2009: 201-216
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Computing with abstract matrix structures. ISSAC 2009: 325-332
2008
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Richard Swinbank: Virtual Forced Splitting, Demotion and the BV-Tree. BNCOD 2008: 139-152
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge, Stephen M. Watt: Abstract Matrix Arithmetic. SYNASC 2008: 61-68
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Hayo Thielecke: Reasoning about B+ Trees with Operational Semantics and Separation Logic. Electr. Notes Theor. Comput. Sci. 218: 355-369 (2008)
2006
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge: Abstract matrices in symbolic computation. ISSAC 2006: 318-325
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToshihiro Kanahori, Alan P. Sexton, Volker Sorge, Masakazu Suzuki: Capturing Abstract Matrices from Paper. MKM 2006: 124-138
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmar Raja, Matthew Rayner, Alan P. Sexton, Volker Sorge: Towards a Parser for Mathematical Formula Recognition. MKM 2006: 139-151
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge: Database-Driven Mathematical Character Recognition. GREC 2005: 218-230
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge: Semantic Analysis of Matrix Structures. ICDAR 2005: 1141-1145
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge: Processing Textbook-Style Matrices. MKM 2005: 111-125
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Volker Sorge: A Database of Glyphs for OCR of Mathematical Documents. MKM 2005: 203-216
2004
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton, Richard Swinbank: Bulk Loading the M-Tree to Enhance Query Performance. BNCOD 2004: 190-202
1997
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan P. Sexton: Querying Indexed Files. CDB 1997: 263-281
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Bressan, Alan P. Sexton, Mark Wallace: Implementing Index Data Structures Using Constraint Logic Programming. CDB 1997: 294-301
1990
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Benker, Michel Dorochevsky, Jacques Noyé, Alan P. Sexton: A Knowledge Crunching System. ARCS 1990: 9-21
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK.-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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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

Coauthor Index

1Josef B. Baker [18]
2U. C. Baron [2]
3Jean-Michel Beacco [1]
4Hans Benker [1] [2] [3]
5Sylvie Bescos [1] [2]
6Stéphane Bressan [4]
7A. B. Cheese [2]
8François J. N. Cosquer [2]
9Sergio A. Delgado-Rannauro [2]
10Michel Dorochevsky [1] [2] [3]
11P. Heuze [2]
12M. Ibanez-Espiga [2]
13Thomas Jeffré [1]
14Toshihiro Kanahori [12]
15Jacques Noyé [1] [2] [3]
16Maurizio Paci [2]
17Anita Pohlmann [1]
18Bruno Poterie [1]
19Amar Raja [11]
20M. J. Ratcliffe [2]
21Matthew Rayner [11]
22M. J. Reeve [2]
23Kees Schuerman [2]
24Volker Sorge [7] [8] [9] [10] [11] [12] [13] [15] [17] [18] [19]
25Masakazu Suzuki [12]
26Richard Swinbank [6] [16]
27Jean-Claude Syre [1]
28Oliver Thibault [1]
29Hayo Thielecke [14]
30André Véron [2]
31Mark Wallace [4]
32Stephen M. Watt [15] [17] [19]
33Günter Watzlawik [1]
34K.-F. Wong [2]
35Jiyang Xu [2]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)