Rowan Davies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1996–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ESOP | Practical Optional Types for Clojure. | Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt |
| 2012 | AiML | Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. | James Hales, Tim French, Rowan Davies |
| 2009 | DICTA | Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition. | Syed M. S. Islam, Rowan Davies |
| 2008 | ACIVS | A Fast and Fully Automatic Ear Recognition Approach Based on 3D Local Surface Features. | Syed M. S. Islam, Rowan Davies, Ajmal S. Mian, Mohammed Bennamoun |
| 2008 | WACV | Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost. | Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies |
| 2000 | ICFP | Intersection types and computational effects. | Rowan Davies, Frank Pfenning |
| 1996 | LICS | A Temporal-Logic Approach to Binding-Time Analysis. | Rowan Davies |
| 1996 | POPL | A Modal Analysis of Staged Computation. | Rowan Davies, Frank Pfenning |