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
5102001
A judgmental reconstruction of modal logic
F Pfenning, R Davies
Mathematical structures in computer science 11 (4), 511-540, 2001
4452001
A temporal logic approach to binding-time analysis
R Davies
Journal of the ACM (JACM) 64 (1), 1-45, 2017
225*2017
Service combinators for web computing
L Cardelli, R Davies
IEEE Transactions on Software Engineering 25 (3), 309-316, 1999
1741999
Intersection types and computational effects
R Davies, F Pfenning
Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000
1542000
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
1072008
Efficient detection and recognition of 3D ears
SMS Islam, R Davies, M Bennamoun, AS Mian
International Journal of Computer Vision 95, 52-73, 2011
1062011
Practical refinement-type checking
R Davies
Carnegie Mellon University, 2005
792005
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
542013
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
481998
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
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
392012
Practical optional types for Clojure
A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
372016
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
372008
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
302008
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
292009
A refinement-type checker for Standard ML
R Davies
AMAST 97, 565-566, 1997
271997
Graph domination, tabu search and the football pool problem
R Davies, GF Royle
Discrete Applied Mathematics 74 (3), 217-228, 1997
271997
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