Get my own profile
Co-authors
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at fsm.rnu.tn
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
James AllenRochesterVerified email at cs.rochester.edu
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Özgür AkgünLecturer, School of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Peter NightingaleUniversity of YorkVerified email at york.ac.uk
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Mark BartlettSchool of Computing Science and Digital Media, Robert Gordon UniversityVerified email at rgu.ac.uk
Anthony (Tony) G CohnProfessor of Automated Reasoning, University of LeedsVerified email at leeds.ac.uk
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Diane LitmanUniversity of PittsburghVerified email at cs.pitt.edu
S. Armagan TarimProfessor of Business Analytics, University College CorkVerified email at ucc.ie
James CussensSenior Lecturer in Computer Science, University of BristolVerified email at bristol.ac.uk
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr

Alan M Frisch
Verified email at york.ac.uk - Homepage