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 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