Collaborators and Co-authors

John Slaney

This is a list of people with whom I have written papers, edited books or otherwise brought the fruits of research into the public domain. It may be incomplete, and is likely to be suffering the effects of link-rot. Anyway, these pages are indicative of the types with whom you get to associate if you hang out with logicians and such. You have been warned.


Asif Ali
Anbulagan
Grigoris Antoniou
Frank Bennett
Piergiorgio Bertoli
Arnold Binas
Martin Bunder
Alessandro Cimatti
Masayuki Fujita
Rod Girle
Charles Gretton
Mark Grundy
Ryuzo Hasegawa
Kal Hodgson
Froduald Kabanza
Phil Kilby
Tomasz Kowalski
Ewing "Rusty" Lusk
Bill McCune
Bob McKay
Michael McRobbie
Zdzislaw "Gustav" Meglicki
Bob Meyer
Riichiro Mizoguchi
Duc Nghia Pham
David Price
Paul Pritchard
Greg Restall
Abdul Sattar
Mark Stickel
Tim Surendonk
Sylvie Thiébaux
Toby Walsh
Hongxue Wang


Automated Reasoning Group
Computer Sciences Laboratory
Research School of Information Sciences and Engineering
Australian National University