Založit si vlastní profil
Veřejný přístup
Zobrazit všechny54 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Ian GentProfessor of Computer Science, St Andrews UniversityE-mailová adresa ověřena na: st-andrews.ac.uk
Nina NarodytskaVMware ResearchE-mailová adresa ověřena na: vmware.com
K. Brent VenableProfessor of Computer Science, IHMC and UWFE-mailová adresa ověřena na: ihmc.org
Brahim HnichProfessor of Computer Science, Dept. of Computer Science, Monastir University, TunisiaE-mailová adresa ověřena na: fsm.rnu.tn
christian bessiereCNRSE-mailová adresa ověřena na: lirmm.fr
Zeynep KiziltanAlma Mater - Università di BolognaE-mailová adresa ověřena na: unibo.it
Emmanuel HebrardLAAS-CNRS, Université de ToulouseE-mailová adresa ověřena na: laas.fr
Haris AzizUNSW Sydney - Scientia Associate ProfessorE-mailová adresa ověřena na: unsw.edu.au
George KatsirelosINRAEE-mailová adresa ověřena na: inrae.fr
Maria Silvia PiniAssistant Professor in Computer Science, Department of Information Engineering, University of PaduaE-mailová adresa ověřena na: dei.unipd.it
Armin BiereProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
Alan M FrischUniversity of YorkE-mailová adresa ověřena na: york.ac.uk
Francesca RossiIBM ResearchE-mailová adresa ověřena na: ibm.com
Nicholas MatteiAssistant Professor, Tulane UniversityE-mailová adresa ověřena na: tulane.edu
Ian MiguelUniversity of St AndrewsE-mailová adresa ověřena na: st-andrews.ac.uk
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoE-mailová adresa ověřena na: unitn.it
Claude-Guy QuimperUniversité LavalE-mailová adresa ověřena na: ift.ulaval.ca
Serge GaspersProfessor, UNSW Sydney, AustraliaE-mailová adresa ověřena na: cse.unsw.edu.au
Alan BundyProfessor of Automated Reasoning, University of EdinburghE-mailová adresa ověřena na: ed.ac.uk
Sledovat
Toby Walsh
Professor, UNSW and CSIRO Data61
E-mailová adresa ověřena na: cse.unsw.edu.au - Domovská stránka