Rowan Davies

17 papers and 429 indexed citations i.

Rowan Davies has authored 17 papers that have received a total of 429 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 Frank Pfenning, Syed Mohammed Shamsul Islam, Mohammed Bennamoun, Tim French and Ajmal Mian and has published in prestigious journals such as Pattern Recognition, International Journal of Computer Vision and ACM Computing Surveys.