Get my own profile
Co-authors
Ian GentProfessor of Computer Science, St Andrews UniversityVerified email at st-andrews.ac.uk
Nina NarodytskaVMware ResearchVerified email at vmware.com
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at ieu.edu.tr
K. Brent VenableAssociate Professor of Computer Science, Tulane University and IHMCVerified email at tulane.edu
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRSVerified email at laas.fr
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Armin BiereJohannes Kepler University LinzVerified email at jku.at
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
George KatsirelosINRAEVerified email at inrae.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Francesca RossiIBM ResearchVerified email at ibm.com
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at disi.unitn.it
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Serge GaspersAssociate Professor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu