Rowan Davies
Rowan Davies
Staff Engineer, Commonwealth Bank of Australia
Verified email at cba.com.au
Title
Cited by
Cited by
Year
A modal analysis of staged computation
R Davies, F Pfenning
Journal of the ACM (JACM) 48 (3), 555-604, 2001
4722001
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
4242001
A temporal logic approach to binding-time analysis
R Davies
Journal of the ACM (JACM) 64 (1), 1-45, 2017
209*2017
Service combinators for web computing
L Cardelli, R Davies
IEEE Transactions on Software Engineering 25 (3), 309-316, 1999
1681999
Intersection types and computational effects
R Davies, F Pfenning
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1352000
Fast and fully automatic ear detection using cascaded adaboost
SMS Islam, M Bennamoun, R Davies
2008 IEEE Workshop on Applications of Computer Vision, 1-6, 2008
1002008
Efficient detection and recognition of 3D ears
SMS Islam, R Davies, M Bennamoun, AS Mian
International Journal of Computer Vision 95 (1), 52-73, 2011
982011
Practical refinement-type checking
R Davies
Carnegie Mellon University, 2005
762005
Multibiometric human recognition using 3D ear and face features
SMS Islam, R Davies, M Bennamoun, RA Owens, AS Mian
Pattern Recognition 46 (3), 613-627, 2013
492013
Modal types as staging specifications for run-time code generation
P Wickline, P Lee, F Pfenning, R Davies
ACM Computing Surveys (CSUR) 30 (3es), 8-es, 1998
491998
A fast and fully automatic ear recognition approach based on 3D local surface features
SMS Islam, R Davies, AS Mian, M Bennamoun
International Conference on Advanced Concepts for Intelligent Vision Systems …, 2008
452008
A review of recent advances in 3D ear-and expression-invariant face biometrics
SMS Islam, M Bennamoun, RA Owens, R Davies
ACM Computing Surveys (CSUR) 44 (3), 1-34, 2012
342012
A fully automatic approach for human recognition from profile images using 2D and 3D ear data
S Islam, M Bennamoun, A Mian, R Davies
4th International Symposium on 3D Data Processing Visualization and Transmission, 2008
342008
Practical optional types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
European Symposium on Programming, 68-94, 2016
332016
Graph domination, tabu search and the football pool problem
R Davies, GF Royle
Discrete Applied Mathematics 74 (3), 217-228, 1997
291997
Biometric approaches of 2D-3D ear and face: A survey
SMS Islam, M Bennamoun, R Owens, R Davies
Advances in computer and information sciences and engineering, 509-514, 2008
282008
A refinement-type checker for Standard ML
R Davies
AMAST 97, 565-566, 1997
271997
Score level fusion of ear and face local 3D features for fast and expression-invariant human recognition
SMS Islam, M Bennamoun, AS Mian, R Davies
International conference image analysis and recognition, 387-396, 2009
262009
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
232012
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
112011
The system can't perform the operation now. Try again later.
Articles 1–20