Alan P. Sexton

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

Coauthor Index

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

Colors in the list of coauthors