Rowan Davies

According to our database, Rowan Davies authored at least 20 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

A Temporal Logic Approach to Binding-Time Analysis.

Rowan Davies

J. ACM, 2017

2016

Practical Optional Types for Clojure.

Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt

Proceedings of the Programming Languages and Systems, 2016

Fine-grained classification of side-effect free methods in real-world Java code and applications to software security.

Arran Stewart, Rachel Cardell-Oliver, Rowan Davies

Proceedings of the Australasian Computer Science Week Multiconference, 2016

2013

Multibiometric human recognition using 3D ear and face features.

Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Robyn A. Owens, Ajmal S. Mian

Pattern Recognit., 2013

2012

A review of recent advances in 3D ear- and expression-invariant face biometrics.

Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies

ACM Comput. Surv., 2012

Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc.

James Hales, Tim French, Rowan Davies

Proceedings of the Advances in Modal Logic 9, 2012

2011

Efficient Detection and Recognition of 3D Ears.

Syed M. S. Islam, Rowan Davies, Mohammed Bennamoun, Ajmal S. Mian

Int. J. Comput. Vis., 2011

Refinement Quantified Logics of Knowledge.

James Hales, Tim French, Rowan Davies

Proceedings of the 7th Workshop on Methods for Modalities, 2011

2009

Score Level Fusion of Ear and Face Local 3D Features for Fast and Expression-Invariant Human Recognition.

Syed M. S. Islam, Mohammed Bennamoun, Ajmal S. Mian, Rowan Davies

Proceedings of the Image Analysis and Recognition, 6th International Conference, 2009

Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition.

Syed M. S. Islam, Rowan Davies

Proceedings of the DICTA 2009, 2009

2008

Fast and Fully Automatic Ear Detection Using Cascaded AdaBoost.

Syed M. S. Islam, Mohammed Bennamoun, Rowan Davies

Proceedings of the 9th IEEE Workshop on Applications of Computer Vision (WACV 2008), 2008

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

Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2008

2007

Biometric Approaches of 2D-3D Ear and Face: A Survey.

Syed M. S. Islam, Mohammed Bennamoun, Robyn A. Owens, Rowan Davies

Proceedings of the Advances in Computer and Information Sciences and Engineering, 2007

2001

A judgmental reconstruction of modal logic.

Frank Pfenning, Rowan Davies

Math. Struct. Comput. Sci., 2001

A modal analysis of staged computation.

Rowan Davies, Frank Pfenning

J. ACM, 2001

2000

Intersection types and computational effects.

Rowan Davies, Frank Pfenning

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

Service Combinators for Web Computing.

Luca Cardelli, Rowan Davies

IEEE Trans. Software Eng., 1999

1998

Modal Types as Staging Specifications for Run-Time Code Generation.

Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies

ACM Comput. Surv., 1998

1997

Graph Domination, Tabu Search and the Football Pool Problem.

Rowan Davies, Gordon F. Royle

Discret. Appl. Math., 1997

Refinement-Type Checker for Standard ML.

Rowan Davies

Proceedings of the Algebraic Methodology and Software Technology, 1997