Follow
Rowan Davies
Rowan Davies
Crew Tech Lead/Principal 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
5402001
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
4692001
A temporal logic approach to binding-time analysis
R Davies
Journal of the ACM (JACM) 64 (1), 1-45, 2017
234*2017
Service combinators for web computing
L Cardelli, R Davies
IEEE Transactions on Software Engineering 25 (3), 309-316, 1999
1791999
Intersection types and computational effects
R Davies, F Pfenning
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1662000
Efficient detection and recognition of 3D ears
SMS Islam, R Davies, M Bennamoun, AS Mian
International Journal of Computer Vision 95, 52-73, 2011
1152011
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
1122008
Practical refinement-type checking
R Davies
Carnegie Mellon University, 2005
812005
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
602013
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
501998
A fast and fully automatic ear recognition approach based on 3D local surface features
SMS Islam, R Davies, AS Mian, M Bennamoun
Advanced Concepts for Intelligent Vision Systems: 10th International …, 2008
482008
Practical optional types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
452016
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
452012
A fully automatic approach for human recognition from profile images using 2D and 3D ear data
S Islam, M Bennamoun, A Mian, R Davies
Proc. of the 4th Int’l Symposium on 3DPVT, 131-141, 2008
382008
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
Image Analysis and Recognition: 6th International Conference, ICIAR 2009 …, 2009
312009
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
312008
A refinement-type checker for Standard ML
R Davies
AMAST 97, 565-566, 1997
291997
Graph domination, tabu search and the football pool problem
R Davies, GF Royle
Discrete Applied Mathematics 74 (3), 217-228, 1997
291997
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
J Hales, T French, R Davies
Advances in Modal Logic 9, 317-338, 2012
262012
Refinement quantified logics of knowledge
J Hales, T French, R Davies
Electronic Notes in Theoretical Computer Science 278, 85-98, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20