Kim Marriott

107 papers and 1.8k indexed citations i.

About

Kim Marriott has authored 107 papers that have received a total of 1.8k indexed citations. This includes 43 papers in Computer Vision and Pattern Recognition, 41 papers in Artificial Intelligence and 30 papers in Computational Theory and Mathematics. The topics of these papers are Data Visualization and Analytics (39 papers), Logic, programming, and type systems (31 papers) and Formal Methods in Verification (23 papers). Kim Marriott is often cited by papers focused on Data Visualization and Analytics (39 papers), Logic, programming, and type systems (31 papers) and Formal Methods in Verification (23 papers) and collaborates with scholars based in Australia, United States and United Kingdom. Kim Marriott's co-authors include Tim Dwyer, Peter J. Stuckey, Yalong Yang, Harald Søndergaard and Moreno Falaschi and has published in prestigious journals such as BMC Bioinformatics, Artificial Intelligence and The Quarterly Journal of Experimental Psychology Section A

In The Last Decade

Rankless by CCL
2025