Rowan Davies

25 papers A* 2A 3B 2Misc 1Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Multiscale Framework for Capturing Oscillation Dynamics of Autonomous Vehicles in Data-Driven Car-Following Models.
IEEE Trans. Intell. Transp. Syst.
Rowan Davies, He Haitao, Hui Fang
2018 J jnl
Practical Optional Types for Clojure.
CoRR
Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
2017 J jnl
A Temporal Logic Approach to Binding-Time Analysis.
J. ACM
Rowan Davies
2016 — conf
Fine-grained classification of side-effect free methods in real-world Java code and applications to software security.
ACSW
Arran Stewart, Rachel Cardell-Oliver, Rowan Davies
2016 A conf
Practical Optional Types for Clojure.
ESOP
Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
2013 J jnl
Multibiometric human recognition using 3D ear and face features.
Pattern Recognit.
Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Robyn A. Owens, Ajmal S. Mian
2012 J jnl
A review of recent advances in 3D ear- and expression-invariant face biometrics.
ACM Comput. Surv.
Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies
2012 B conf
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.
Advances in Modal Logic
James Hales, Tim French, Rowan Davies
2011 J jnl
Efficient Detection and Recognition of 3D Ears.
Int. J. Comput. Vis.
Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Ajmal S. Mian
2011 — conf
Refinement Quantified Logics of Knowledge.
M4M/LAMAS
James Hales, Tim French, Rowan Davies
2009 Misc conf
Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition.
DICTA
Syed M. S. Islam, Rowan Davies
2009 — conf
Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition.
ICIAR
Syed M. S. Islam, Mohammed Bennamoun, Ajmal S. Mian, Rowan Davies
2008 B conf
A Fast and Fully Automatic Ear Recognition Approach Based on 3D Local Surface Features.
ACIVS
Syed M. S. Islam, Rowan Davies, Ajmal S. Mian, Mohammed Bennamoun
2008 A conf
Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost.
WACV
Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies
2007 — conf
Biometric Approaches of 2D-3D Ear and Face: A Survey.
SCSS (1)
Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies
2001 J jnl
A judgmental reconstruction of modal logic.
Math. Struct. Comput. Sci.
Frank Pfenning, Rowan Davies
2001 J jnl
A modal analysis of staged computation.
J. ACM
Rowan Davies, Frank Pfenning
2000 A conf
Intersection types and computational effects.
ICFP
Rowan Davies, Frank Pfenning
1999 J jnl
Service Combinators for Web Computing.
IEEE Trans. Software Eng.
Luca Cardelli, Rowan Davies
1998 J jnl
Modal Types as Staging Specifications for Run-Time Code Generation.
ACM Comput. Surv.
Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
1997 J jnl
Graph Domination, Tabu Search and the Football Pool Problem.
Discret. Appl. Math.
Rowan Davies, Gordon F. Royle
1997 — conf
Refinement-Type Checker for Standard ML.
AMAST
Rowan Davies
1997 — conf
Service Combinators for Web Computing.
DSL
Luca Cardelli, Rowan Davies
1996 A* conf
A Modal Analysis of Staged Computation.
POPL
Rowan Davies, Frank Pfenning
1996 A* conf
A Temporal-Logic Approach to Binding-Time Analysis.
LICS
Rowan Davies