Get my own profile
Public access
View all57 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
K. Brent VenableProfessor of Computer Science, IHMC and UWFVerified email at ihmc.org
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerified email at fsm.rnu.tn
christian bessiereCNRS, University of Montpellier, FranceVerified email at lirmm.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorVerified email at unsw.edu.au
Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerified email at laas.fr
Zeynep KiziltanUniversity of Bologna, ItalyVerified email at unibo.it
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
Nicholas MatteiAssociate Professor, Tulane UniversityVerified email at tulane.edu
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Claude-Guy QuimperUniversité LavalVerified email at ift.ulaval.ca
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerified email at unitn.it
Serge GaspersProfessor, UNSW Sydney, AustraliaVerified email at cse.unsw.edu.au
Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk