Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 12629 | 2713 |
h-індекс | 52 | 24 |
i10-індекс | 94 | 45 |
Доступні для всіх
Переглянути всі19 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Thomas HenzingerIST AustriaПідтверджена електронна адреса в ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyПідтверджена електронна адреса в unina.it
- Rupak MajumdarMPI for Software SystemsПідтверджена електронна адреса в mpi-sws.org
- Krishnendu ChatterjeeProfessor, IST AustriaПідтверджена електронна адреса в ist.ac.at
- B. Thomas AdlerFacebook, Inc.Підтверджена електронна адреса в alumni.caltech.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteПідтверджена електронна адреса в utwente.nl
- Vishwanath RamanPrivacy Architect, Oasis LabsПідтверджена електронна адреса в oasislabs.com
- Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichПідтверджена електронна адреса в ethz.ch
- Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyПідтверджена електронна адреса в chalmers.se
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Підтверджена електронна адреса в nvidia.com
- axel legayUCLouvainПідтверджена електронна адреса в uclouvain.be
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaПідтверджена електронна адреса в seas.upenn.edu
- Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, ItalyПідтверджена електронна адреса в polito.it
- Eliana PastorPolitecnico di TorinoПідтверджена електронна адреса в polito.it
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordПідтверджена електронна адреса в comlab.ox.ac.uk
- J.J. Garcia-Luna-AcevesProfessor & CERC, University of Toronto; Distinguished Professor Emeritus, UC Santa CruzПідтверджена електронна адреса в soe.ucsc.edu
- Molly Can ZhangUniversity of California Santa CruzПідтверджена електронна адреса в ucsc.edu
- Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsПідтверджена електронна адреса в polito.it
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceПідтверджена електронна адреса в glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordПідтверджена електронна адреса в cs.ox.ac.uk
Підписатись
Luca de Alfaro
Professor, Computer Science and Engineering, UC Santa Cruz
Підтверджена електронна адреса в alumni.stanford.edu - Домашня сторінка