Rowan Davies

17 papers and 420 indexed citations i.

Rowan Davies has authored 17 papers that have received a total of 420 indexed citations. This includes 8 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 4 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (4 papers). Rowan Davies is often cited by papers focused on Logic, programming, and type systems (7 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in Australia, United States and United Kingdom. Rowan Davies's co-authors include Syed Mohammed Shamsul Islam, Frank Pfenning, Mohammed Bennamoun, Ajmal Mian and Robyn Owens and has published in prestigious journals such as Pattern Recognition, International Journal of Computer Vision and ACM Computing Surveys