| A modal analysis of staged computation R Davies, F Pfenning Journal of the ACM (JACM) 48 (3), 555-604, 2001 | 448 | 2001 |
| A judgmental reconstruction of modal logic F Pfenning, R Davies Mathematical structures in computer science 11 (4), 511-540, 2001 | 413 | 2001 |
| A temporal logic approach to binding-time analysis R Davies Journal of the ACM (JACM) 64 (1), 1-45, 2017 | 199* | 2017 |
| Service combinators for web computing L Cardelli, R Davies IEEE Transactions on Software Engineering 25 (3), 309-316, 1999 | 166 | 1999 |
| Intersection types and computational effects R Davies, F Pfenning Proceedings of the fifth ACM SIGPLAN international conference on Functional …, 2000 | 128 | 2000 |
| 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 | 94 | 2008 |
| 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 | 93 | 2011 |
| Practical refinement-type checking R Davies Carnegie Mellon University, 2005 | 79 | 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 | 47 | 2013 |
| 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 | 44 | 1998 |
| 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 | 42 | 2008 |
| Practical optional types for Clojure A Bonnaire-Sergeant, R Davies, S Tobin-Hochstadt European Symposium on Programming, 68-94, 2016 | 33 | 2016 |
| 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 | 33 | 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 Proceedings of the 4th International Symposium on 3D Data Processing …, 2008 | 31 | 2008 |
| Graph domination, tabu search and the football pool problem R Davies, GF Royle Discrete Applied Mathematics 74 (3), 217-228, 1997 | 28 | 1997 |
| 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 | 27 | 2008 |
| A refinement-type checker for Standard ML R Davies AMAST 97, 565-566, 1997 | 27 | 1997 |
| 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 | 23 | 2009 |
| Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012 | 22 | 2012 |
| Refinement quantified logics of knowledge J Hales, T French, R Davies Electronic Notes in Theoretical Computer Science 278, 85-98, 2011 | 11 | 2011 |
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
