Crea il mio profilo
Accesso pubblico
Visualizza tutto35 articoli
7 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- axel legayUCLouvainEmail verificata su uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Email verificata su laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityEmail verificata su cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityEmail verificata su northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéEmail verificata su irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryEmail verificata su csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftEmail verificata su csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonEmail verificata su arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignEmail verificata su illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCEmail verificata su istc.cnr.it
- Barbara JobstmannScientist at EPFLEmail verificata su epfl.ch
- Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
- matthew hennessyProfessor of Computer ScienceEmail verificata su cs.tcd.ie
- Moshe Y. VardiRice UniversityEmail verificata su cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su inf.ed.ac.uk