Graeme Gange

31 papers and 248 indexed citations i.

Graeme Gange has authored 31 papers that have received a total of 248 indexed citations. This includes 14 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 9 papers in Computer Vision and Pattern Recognition. The topics of these papers are Formal Methods in Verification (12 papers), Robotic Path Planning Algorithms (8 papers) and Software Testing and Debugging Techniques (7 papers). Graeme Gange is often cited by papers focused on Formal Methods in Verification (12 papers), Robotic Path Planning Algorithms (8 papers) and Software Testing and Debugging Techniques (7 papers) and collaborates with scholars based in Australia, United States and Canada. Graeme Gange's co-authors include Peter J. Stuckey, Peter Schachte, Harald Søndergaard, Sven Koenig and Jiaoyang Li and has published in prestigious journals such as Scientific Reports, Artificial Intelligence and IEEE Transactions on Visualization and Computer Graphics.