Get my own profile
Co-authors
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Grigoris AntoniouProfessor, Semantic & Knowledge Technologies, University of HuddersfieldVerified email at hud.ac.uk
Guido GovernatoriSenior Principal Researcher, Data61, CSIRO, AustraliaVerified email at nicta.com.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Abdul SattarProfessor of Computer Science, Griffith UniversityVerified email at griffith.edu.au
Abdun MahmoodAssociate Professor of Computer Science and IT, La Trobe University, MelbourneVerified email at latrobe.edu.au
Alexander BrodskyProfessor, Department of Computer Science, George Mason UniversityVerified email at gmu.edu
Mohiuddin AhmedLecturer of Computing & Security at Edith Cowan University, IEEE Senior MemberVerified email at ecu.edu.au
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
John ThorntonGriffith University and University of SussexVerified email at griffith.edu.au
Junhu WangGriffith UniversityVerified email at griffith.edu.au
Tristan MillerAustrian Research Institute for Artificial IntelligenceVerified email at ofai.at
Eugene FreuderProfessor Emeritus, University College CorkVerified email at insight-centre.org
Haim GaifmanColumbia UniversityVerified email at columbia.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Nina NarodytskaVMware ResearchVerified email at vmware.com
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Roberto GiacobazziProfessor of Computer Science, University of VeronaVerified email at univr.it

Michael Maher
Reasoning Research Institute
Verified email at reasoning.org.au