Crea el meu perfil
Accés públic
Mostra-ho tot19 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyCorreu electrònic verificat a unina.it
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Krishnendu ChatterjeeProfessor, IST AustriaCorreu electrònic verificat a ist.ac.at
- B. Thomas AdlerFacebook, Inc.Correu electrònic verificat a alumni.caltech.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
- Vishwanath RamanPrivacy Architect, Oasis LabsCorreu electrònic verificat a oasislabs.com
- Stefano MoretPrincipal Investigator & Group Leader, ETH ZurichCorreu electrònic verificat a ethz.ch
- Marco L. Della VedovaSenior Lecturer at Chalmers University of TechnologyCorreu electrònic verificat a chalmers.se
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Correu electrònic verificat a nvidia.com
- axel legayUCLouvainCorreu electrònic verificat a uclouvain.be
- Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
- Elena BaralisFull Professor, Computer engineering, Politecnico di Torino, ItalyCorreu electrònic verificat a polito.it
- Eliana PastorPolitecnico di TorinoCorreu electrònic verificat a polito.it
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordCorreu electrònic verificat a comlab.ox.ac.uk
- J.J. Garcia-Luna-AcevesProfessor & CERC, University of Toronto; Distinguished Professor Emeritus, UC Santa CruzCorreu electrònic verificat a soe.ucsc.edu
- Molly Can ZhangUniversity of California Santa CruzCorreu electrònic verificat a ucsc.edu
- Andrea BiancoPolitecnico di Torino - Department of Electronics and TelecommunicationsCorreu electrònic verificat a polito.it
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceCorreu electrònic verificat a glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk