Get my own profile
Public access
View all54 articles
1 article
available
not available
Based on funding mandates
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 fsm.rnu.tn
K. Brent VenableProfessor of Computer Science, IHMC and UWFVerified email at ihmc.org
christian bessiereCNRSVerified email at lirmm.fr
Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerified email at laas.fr
Zeynep KiziltanAlma Mater - Università di BolognaVerified email at unibo.it
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerified email at dei.unipd.it
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Francesca RossiIBM ResearchVerified email at ibm.com
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Nicholas MatteiAssistant Professor, Tulane UniversityVerified email at tulane.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Serge GaspersProfessor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
Patrick ProsserComputing Science, GlasgowVerified email at dcs.gla.ac.uk