Get my own profile
Public access
View all58 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 SydneyVerified 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
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Nicholas MatteiAssociate Professor, Tulane UniversityVerified email at tulane.edu
Francesca RossiIBM ResearchVerified email at ibm.com
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