Rowan Davies

	2011
17		James Hales, Tim French, Rowan Davies: Refinement Quantified Logics of Knowledge. Electr. Notes Theor. Comput. Sci. 278: 85-98 (2011)
16		Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Ajmal S. Mian: Efficient Detection and Recognition of 3D Ears. International Journal of Computer Vision 95(1): 52-73 (2011)
	2009
15		Syed M. S. Islam, Rowan Davies: Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition. DICTA 2009: 513-518
14		Syed M. S. Islam, Mohammed Bennamoun, Ajmal S. Mian, Rowan Davies: Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition. ICIAR 2009: 387-396
	2008
13		Syed M. S. Islam, Rowan Davies, Ajmal S. Mian, Mohammed Bennamoun: A Fast and Fully Automatic Ear Recognition Approach Based on 3D Local Surface Features. ACIVS 2008: 1081-1092
12		Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies: Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost. WACV 2008: 1-6
	2007
11		Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies: Biometric Approaches of 2D-3D Ear and Face: A Survey. SCSS (1) 2007: 509-514
	2001
10		Rowan Davies, Frank Pfenning: A modal analysis of staged computation. J. ACM 48(3): 555-604 (2001)
9		Frank Pfenning, Rowan Davies: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11(4): 511-540 (2001)
	2000
8		Rowan Davies, Frank Pfenning: Intersection types and computational effects. ICFP 2000: 198-208
	1999
7		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)
	1998
6		Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies: Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30(3es): 8 (1998)
	1997
5		Rowan Davies: Refinement-Type Checker for Standard ML. AMAST 1997: 565-566
4		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. DSL 1997: 1-10
3		Rowan Davies, Gordon F. Royle: Graph Domination, Tabu Search and the Football Pool Problem. Discrete Applied Mathematics 74(3): 217-228 (1997)
	1996
2		Rowan Davies: A Temporal-Logic Approach to Binding-Time Analysis. LICS 1996: 184-195
1		Rowan Davies, Frank Pfenning: A Modal Analysis of Staged Computation. POPL 1996: 258-270

Coauthor Index

1	Mohammed Bennamoun	[11] [12] [13] [14] [16]
2	Luca Cardelli	[4] [7]
3	Tim French (Timothy Stewart French)	[17]
4	James Hales	[17]
5	Syed M. S. Islam	[11] [12] [13] [14] [15] [16]
6	Peter Lee	[6]
7	Ajmal S. Mian	[13] [14] [16]
8	Robyn A. Owens	[11]
9	Frank Pfenning	[1] [6] [8] [9] [10]
10	Gordon F. Royle	[3]
11	Philip Wickline	[6]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page