David Sinclair

	2005
28		Oliver Lyttleton, David Sinclair, David Tracey: Mediating between heterogeneous ontologies using schema matching techniques. IRI 2005: 247-252
27		David Sinclair, James F. Power: Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. Electr. Notes Theor. Comput. Sci. 133: 255-273 (2005)
	2004
26		David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
25		Christopher Town, David Sinclair: Language-based querying of image collections on the basis of an extensible ontology. Image Vision Comput. 22(3): 251-267 (2004)
24		James F. Power, David Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus. J. UCS 10(9): 1272-1293 (2004)
	2003
23		Christopher Town, David Sinclair: A Self-Referential Perceptual Inference Framework for Video Interpretation. ICVS 2003: 54-67
	2002
22		Marcus J. Pickering, Stefan M. Rüger, David Sinclair: Video Retrieval by Feature Learning in Key Frames. CIVR 2002: 309-317
21		Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair: Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48
	2001
20		Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Does organisation by similarity assist image browsing? CHI 2001: 190-197
	2000
19		David Sinclair, J. Paul Gibson: 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 BCS 2000
18		David Sinclair: Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes. CVPR 2000: 1389-1394
17		David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff Hamilton: Specifying and Verifying IP with Linear Logic. ICDCS Workshop on Distributed System Validation and Verification 2000: E104-E110
16		Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood: Managing photos with ATT shoebox. SIGIR 2000: 390
	1999
15		Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualization of Image Similarity as a Tool for Image Browsing. INFOVIS 1999: 36-43
14		David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
13		Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualisation of Image Similarity (poster abstract). SIGIR 1999: 275-276
	1998
12		David Sinclair: Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games. EWCBR 1998: 126-135
11		David Sinclair: The GST load balancing algorithm for parallel and distributed systems. Int. J. Approx. Reasoning 19(1-2): 39-56 (1998)
	1997
10		David Sinclair: Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. HART 1997: 186-198
	1996
9		David Sinclair, K. Zesar: Further constraints on visual articulated motions. CVPR 1996: 94-
8		David Sinclair, Andrew Blake: Quantitative planar region detection. International Journal of Computer Vision 18(1): 77-91 (1996)
	1995
7		David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski: Validation of Hybrid Systems by Co-simulation. Hybrid Systems 1995: 315-326
6		David Sinclair, Gary Clynch, Brian Stone: An Object-Oriented Methodology from Requirements to Validation. OOIS 1995: 265-286
	1994
5		David Sinclair, Boubakeur Boufama: Independent motion segmentation and collision prediction for road vehicles. ECCV (1) 1994: 161-166
4		David Sinclair, Andrew Blake: Isoperimetric Normalization of Planar Curves. IEEE Trans. Pattern Anal. Mach. Intell. 16(8): 769-777 (1994)
3		David Sinclair, Andrew Blake, David Murray: Robust estimation of egomotion from normal flow. International Journal of Computer Vision 13(1): 57-69 (1994)
	1993
2		G. Manos, A. Y. Cairns, Ian W. Ricketts, David Sinclair: Automatic segmentation of hand-wrist radiographs. Image Vision Comput. 11(2): 100-111 (1993)
1		David Sinclair, Andrew Blake, S. Smith, Charlie Rothwell: Planar region detection and motion recovery. Image Vision Comput. 11(4): 229-234 (1993)

Coauthor Index

1	Wojciech Basalaj	[13] [15] [20]
2	Andrew Blake	[1] [3] [4] [8]
3	Boubakeur Boufama (Boubakeur Boufama-Seddik)	[5]
4	A. Y. Cairns	[2]
5	Gérard Cécé	[21]
6	Gary Clynch	[6]
7	J. Paul Gibson	[14] [17] [19]
8	David Gray	[14] [17] [26]
9	Geoff W. Hamilton (Geoff Hamilton)	[14] [17] [26]
10	Eckhardt Holz	[7]
11	Olga Kouchnarenko	[21]
12	Oliver Lyttleton	[28]
13	G. Manos	[2]
14	Timothy J. Mills	[16]
15	David Murray	[3]
16	Frédéric Oehl	[21]
17	Marcus J. Pickering	[22]
18	James F. Power	[14] [17] [24] [27]
19	David Pye	[16]
20	Ian W. Ricketts	[2]
21	Kerry Rodden	[13] [15] [20]
22	Charlie Rothwell	[1]
23	Stefan M. Rüger	[22]
24	S. Smith	[1]
25	Brian Stone	[6]
26	Christopher Town	[23] [25]
27	David Tracey	[28]
28	Maciej Wasowski	[7]
29	Dorota Witaszek	[7]
30	Kenneth R. Wood	[13] [15] [16] [20]
31	K. Zesar	[9]

Colors in the list of coauthors