| A modal analysis of staged computation R Davies, F Pfenning Journal of the ACM (JACM) 48 (3), 555-604, 2001 | 556 | 2001 |
| A judgmental reconstruction of modal logic F Pfenning, R Davies Mathematical structures in computer science 11 (4), 511-540, 2001 | 491 | 2001 |
| A temporal logic approach to binding-time analysis R Davies Journal of the ACM (JACM) 64 (1), 1-45, 2017 | 243* | 2017 |
| Service combinators for web computing L Cardelli, R Davies IEEE Transactions on Software Engineering 25 (3), 309-316, 1999 | 178 | 1999 |
| Intersection types and computational effects R Davies, F Pfenning Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000 | 174 | 2000 |
| Efficient detection and recognition of 3D ears SMS Islam, R Davies, M Bennamoun, AS Mian International Journal of Computer Vision 95, 52-73, 2011 | 118 | 2011 |
| 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 | 111 | 2008 |
| Practical refinement-type checking R Davies Carnegie Mellon University, 2005 | 81 | 2005 |
| 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 | 62 | 2013 |
| Practical optional types for Clojure A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 50 | 2016 |
| 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 | 50 | 1998 |
| 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 | 49 | 2008 |
| 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 | 46 | 2012 |
| 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 | 38 | 2008 |
| 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 | 32 | 2009 |
| 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 | 30 | 2008 |
| Graph domination, tabu search and the football pool problem R Davies, GF Royle Discrete Applied Mathematics 74 (3), 217-228, 1997 | 28 | 1997 |
| Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012 | 27 | 2012 |
| A refinement-type checker for Standard ML R Davies AMAST 97, 565-566, 1997 | 27 | 1997 |
| Refinement quantified logics of knowledge J Hales, T French, R Davies Electronic Notes in Theoretical Computer Science 278, 85-98, 2011 | 13 | 2011 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
