Založit si vlastní profil
Veřejný přístup
Zobrazit všechny16 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyE-mailová adresa ověřena na: unina.it
Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
Krishnendu ChatterjeeProfessor, IST AustriaE-mailová adresa ověřena na: ist.ac.at
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mailová adresa ověřena na: utwente.nl
B. Thomas AdlerFacebook, Inc.E-mailová adresa ověřena na: alumni.caltech.edu
Vishwanath RamanPrivacy Architect, Oasis LabsE-mailová adresa ověřena na: oasislabs.com
Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichE-mailová adresa ověřena na: ethz.ch
Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyE-mailová adresa ověřena na: chalmers.se
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.E-mailová adresa ověřena na: nvidia.com
axel legayUCLouvainE-mailová adresa ověřena na: uclouvain.be
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mailová adresa ověřena na: comlab.ox.ac.uk
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceE-mailová adresa ověřena na: glasgow.ac.uk
David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsE-mailová adresa ověřena na: polito.it
Rakshit AgrawalCamioE-mailová adresa ověřena na: camio.com
Nikolaj BjornerMicrosoft ResearchE-mailová adresa ověřena na: cs.stanford.edu
J. J. Garcia-Luna-AcevesDistinguished Professor, University of California at Santa CruzE-mailová adresa ověřena na: soe.ucsc.edu
Molly Can ZhangUniversity of California Santa CruzE-mailová adresa ověřena na: ucsc.edu
Leandro Dias da SilvaUniversidade Federal de AlagoasE-mailová adresa ověřena na: ic.ufal.br
Sledovat
Luca de Alfaro
Professor, UC Santa Cruz
E-mailová adresa ověřena na: alumni.stanford.edu - Domovská stránka