Rowan Davies

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j9		Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Robyn A. Owens, Ajmal S. Mian: Multibiometric human recognition using 3D ear and face features. Pattern Recognition 46(3): 613-627 (2013)
	2012
j8		Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies: A review of recent advances in 3D ear- and expression-invariant face biometrics. ACM Comput. Surv. 44(3): 14 (2012)
c11		James Hales, Tim French, Rowan Davies: Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Advances in Modal Logic 2012: 317-338
	2011
j7		James Hales, Tim French, Rowan Davies: Refinement Quantified Logics of Knowledge. Electr. Notes Theor. Comput. Sci. 278: 85-98 (2011)
j6		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
c10		Syed M. S. Islam, Rowan Davies: Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition. DICTA 2009: 513-518
c9		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
c8		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
c7		Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies: Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost. WACV 2008: 1-6
	2007
c6		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
j5		Rowan Davies, Frank Pfenning: A modal analysis of staged computation. J. ACM 48(3): 555-604 (2001)
j4		Frank Pfenning, Rowan Davies: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science 11(4): 511-540 (2001)
	2000
c5		Rowan Davies, Frank Pfenning: Intersection types and computational effects. ICFP 2000: 198-208
	1999
j3		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)
	1998
j2		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
j1		Rowan Davies, Gordon F. Royle: Graph Domination, Tabu Search and the Football Pool Problem. Discrete Applied Mathematics 74(3): 217-228 (1997)
c4		Rowan Davies: Refinement-Type Checker for Standard ML. AMAST 1997: 565-566
c3		Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. DSL 1997: 1-10
	1996
c2		Rowan Davies: A Temporal-Logic Approach to Binding-Time Analysis. LICS 1996: 184-195
c1		Rowan Davies, Frank Pfenning: A Modal Analysis of Staged Computation. POPL 1996: 258-270

Coauthor Index

1	Mohammed Bennamoun	[j9] [j8] [j6] [c9] [c8] [c7] [c6]
2	Luca Cardelli	[j3] [c3]
3	Tim French (Timothy Stewart French)	[c11] [j7]
4	James Hales	[c11] [j7]
5	Syed M. S. Islam	[j9] [j8] [j6] [c10] [c9] [c8] [c7] [c6]
6	Peter Lee 0001	[j2]
7	Ajmal S. Mian	[j9] [j6] [c9] [c8]
8	Robyn A. Owens	[j9] [j8] [c6]
9	Frank Pfenning	[j5] [j4] [c5] [j2] [c1]
10	Gordon F. Royle	[j1]
11	Philip Wickline	[j2]

Colors in the list of coauthors

Last update Tue May 21 10:02:15 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page