Založit si vlastní profil
Veřejný přístup
Zobrazit všechny34 článků
8 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- axel legayUCLouvainE-mailová adresa ověřena na: uclouvain.be
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)E-mailová adresa ověřena na: laas.fr
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityE-mailová adresa ověřena na: cs.biu.ac.il
- Stavros TripakisAssociate Professor, Northeastern UniversityE-mailová adresa ověřena na: northeastern.edu
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéE-mailová adresa ověřena na: irif.fr
- Natarajan ShankarSRI International Computer Science LaboratoryE-mailová adresa ověřena na: csl.sri.com
- Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftE-mailová adresa ověřena na: csl.sri.com
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyE-mailová adresa ověřena na: eecs.berkeley.edu
- Andreas GriesmayerImperial College LondonE-mailová adresa ověřena na: arm.com
- Grigore RosuUniversity of Illinois at Urbana ChampaignE-mailová adresa ověřena na: illinois.edu
- Amedeo CestaCNR -- National Research Council of Italy, ISTCE-mailová adresa ověřena na: istc.cnr.it
- Barbara JobstmannScientist at EPFLE-mailová adresa ověřena na: epfl.ch
- Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
- matthew hennessyProfessor of Computer ScienceE-mailová adresa ověřena na: cs.tcd.ie
- Moshe Y. VardiRice UniversityE-mailová adresa ověřena na: cs.rice.edu
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mailová adresa ověřena na: inf.ed.ac.uk
Sledovat
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
E-mailová adresa ověřena na: univ-grenoble-alpes.fr