Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 27231 | 8352 |
h-index | 77 | 38 |
i10-indeks | 309 | 143 |
Offentlig adgang
Se alle54 artikler
1 artikel
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Ian GentProfessor of Computer Science, St Andrews UniversityVerificeret mail på st-andrews.ac.uk
- Nina NarodytskaVMware ResearchVerificeret mail på vmware.com
- K. Brent VenableProfessor of Computer Science, IHMC and UWFVerificeret mail på ihmc.org
- Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaVerificeret mail på fsm.rnu.tn
- christian bessiereCNRSVerificeret mail på lirmm.fr
- Haris AzizUNSW Sydney - Scientia Associate ProfessorVerificeret mail på unsw.edu.au
- Emmanuel HebrardLAAS-CNRS, Université de ToulouseVerificeret mail på laas.fr
- Zeynep KiziltanAlma Mater - Università di BolognaVerificeret mail på unibo.it
- George KatsirelosINRAEVerificeret mail på inrae.fr
- Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaVerificeret mail på dei.unipd.it
- Alan M FrischUniversity of YorkVerificeret mail på york.ac.uk
- Armin BiereProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
- Francesca RossiIBM ResearchVerificeret mail på ibm.com
- Nicholas MatteiAssociate Professor, Tulane UniversityVerificeret mail på tulane.edu
- Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Ian MiguelUniversity of St AndrewsVerificeret mail på st-andrews.ac.uk
- Claude-Guy QuimperUniversité LavalVerificeret mail på ift.ulaval.ca
- Fausto GiunchigliaProfessor of Computer Science, Università di TrentoVerificeret mail på unitn.it
- Serge GaspersProfessor, UNSW Sydney, AustraliaVerificeret mail på cse.unsw.edu.au
- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerificeret mail på ed.ac.uk