Crea el meu perfil
Accés públic
Mostra-ho tot35 articles
7 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- axel legayUCLouvainCorreu electrònic verificat a uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Correu electrònic verificat a laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityCorreu electrònic verificat a cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityCorreu electrònic verificat a northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéCorreu electrònic verificat a irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryCorreu electrònic verificat a csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftCorreu electrònic verificat a csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonCorreu electrònic verificat a arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignCorreu electrònic verificat a illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCCorreu electrònic verificat a istc.cnr.it
- Barbara JobstmannScientist at EPFLCorreu electrònic verificat a epfl.ch
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- matthew hennessyProfessor of Computer ScienceCorreu electrònic verificat a cs.tcd.ie
- Moshe Y. VardiRice UniversityCorreu electrònic verificat a cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghCorreu electrònic verificat a inf.ed.ac.uk
Segueix
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Correu electrònic verificat a univ-grenoble-alpes.fr