Rowan Davies
发表
Mohammed Bennamoun,
Ajmal S. Mian,
Rowan Davies,
2011,
International Journal of Computer Vision.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
2001,
Mathematical Structures in Computer Science.
Mohammed Bennamoun,
Rowan Davies,
Syed M. S. Islam,
2008,
2008 IEEE Workshop on Applications of Computer Vision.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
1996,
POPL '96.
Rowan Davies,
R. Cardell-Oliver,
Arran D. Stewart,
2014
.
Rowan Davies,
1997
.
F. Pfenning,
Rowan Davies,
2005
.
Rowan Davies,
A. Elliot,
M. Iturriza-Gómara,
2021,
BMC Public Health.
Mohammed Bennamoun,
Robyn A. Owens,
Rowan Davies,
2012,
CSUR.
Luca Cardelli,
Rowan Davies,
L. Cardelli,
1999,
DSL.
Frank Pfenning,
Rowan Davies,
F. Pfenning,
2000,
ICFP '00.
Tim French,
Rowan Davies,
James Hales,
2011,
M4M/LAMAS.
Mohammed Bennamoun,
Ajmal S. Mian,
Robyn A. Owens,
2013,
Pattern Recognit..
Mohammed Bennamoun,
Ajmal S. Mian,
Rowan Davies,
2009,
ICIAR.
Mohammed Bennamoun,
Ajmal Mian,
Syed Islam,
2008
.
Mohammed Bennamoun,
Robyn A. Owens,
Rowan Davies,
2007,
SCSS.
F. Pfenning,
Rowan Davies,
2001,
JACM.
Sam Tobin-Hochstadt,
Rowan Davies,
Ambrose Bonnaire-Sergeant,
2016,
ESOP.
Gordon F. Royle,
Rowan Davies,
G. Royle,
1997,
Discret. Appl. Math..
F. Pfenning,
Rowan Davies,
2001,
JACM.
Peter Lee,
Frank Pfenning,
Rowan Davies,
1998,
CSUR.
Rowan Davies,
Rowan Davies,
1995,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
F. Pfenning,
Rowan Davies,
1996,
POPL '96.