Skapa en profil
Offentlig åtkomst
Visa alla34 artiklar
8 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- axel legayUCLouvainVerifierad e-postadress på uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Verifierad e-postadress på laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerifierad e-postadress på cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityVerifierad e-postadress på northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerifierad e-postadress på irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryVerifierad e-postadress på csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerifierad e-postadress på csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerifierad e-postadress på eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonVerifierad e-postadress på arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignVerifierad e-postadress på illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCVerifierad e-postadress på istc.cnr.it
- Barbara JobstmannScientist at EPFLVerifierad e-postadress på epfl.ch
- Thomas HenzingerIST AustriaVerifierad e-postadress på ist.ac.at
- matthew hennessyProfessor of Computer ScienceVerifierad e-postadress på cs.tcd.ie
- Moshe Y. VardiRice UniversityVerifierad e-postadress på cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerifierad e-postadress på inf.ed.ac.uk
Följ
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Verifierad e-postadress på univ-grenoble-alpes.fr