David Sinclair

2005
25	EE	Oliver Lyttleton, David Sinclair, David Tracey: Mediating between heterogeneous ontologies using schema matching techniques. IRI 2005: 247-252
24	EE	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
23	EE	David Sinclair, David Gray, Geoff Hamilton: Synthesising Attacks on Cryptographic Protocols. ATVA 2004: 49-63
22	EE	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)
21	EE	James F. Power, David Sinclair: A Formal Model of Forth Control Words in the Pi-Calculus. J. UCS 10(9): 1272-1293 (2004)
2003
20	EE	Christopher Town, David Sinclair: A Self-Referential Perceptual Inference Framework for Video Interpretation. ICVS 2003: 54-67
2002
19	EE	Marcus J. Pickering, Stefan M. Rüger, David Sinclair: Video Retrieval by Feature Learning in Key Frames. CIVR 2002: 309-317
18	EE	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
17	EE	Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Does organisation by similarity assist image browsing? CHI 2001: 190-197
2000
16		David Sinclair, J. Paul Gibson: 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 BCS 2000
15	EE	David Sinclair: Smooth Region Structure: Folds, Domes, Bowls, Ridges, Valleys and Slopes. CVPR 2000: 1389-1394
14		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
13	EE	Timothy J. Mills, David Pye, David Sinclair, Kenneth R. Wood: Managing photos with ATT shoebox. SIGIR 2000: 390
1999
12	EE	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
11		David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power: Four Logics and a Protocol. IWFM 1999
10	EE	Kerry Rodden, Wojciech Basalaj, David Sinclair, Kenneth R. Wood: Evaluating a Visualisation of Image Similarity (poster abstract). SIGIR 1999: 275-276
1998
9	EE	David Sinclair: Using Example-Based Reasoning for Selective Move Generation in Two Player Adversarial Games. EWCBR 1998: 126-135
8	EE	David Sinclair: The GST load balancing algorithm for parallel and distributed systems. Int. J. Approx. Reasoning 19(1-2): 39-56 (1998)
1997
7		David Sinclair: Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. HART 1997: 186-198
1996
6	EE	David Sinclair, K. Zesar: Further constraints on visual articulated motions. CVPR 1996: 94-
1995
5		David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski: Validation of Hybrid Systems by Co-simulation. Hybrid Systems 1995: 315-326
4		David Sinclair, Gary Clynch, Brian Stone: An Object-Oriented Methodology from Requirements to Validation. OOIS 1995: 265-286
1994
3		David Sinclair, Boubakeur Boufama: Independent motion segmentation and collision prediction for road vehicles. ECCV (1) 1994: 161-166
2	EE	David Sinclair, Andrew Blake: Isoperimetric Normalization of Planar Curves. IEEE Trans. Pattern Anal. Mach. Intell. 16(8): 769-777 (1994)
1993
1	EE	G. Manos, A. Y. Cairns, Ian W. Ricketts, David Sinclair: Automatic segmentation of hand-wrist radiographs. Image Vision Comput. 11(2): 100-111 (1993)

Coauthor Index

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

Colors in the list of coauthors