Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 447 | 102 |
Índice h | 11 | 7 |
Índice i10 | 11 | 4 |
Acceso público
Ver todo0 artículos
1 artículo
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Luca de AlfaroProfessor, UC Santa CruzDirección de correo verificada de acm.org
- Marco FaellaUniversità di Napoli "Federico II", ItalyDirección de correo verificada de unina.it
- axel legayUCLouvainDirección de correo verificada de uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasDirección de correo verificada de ic.ufal.br
- Natarajan ShankarSRI International Computer Science LaboratoryDirección de correo verificada de csl.sri.com
- Margus VeanesMicrosoft ResearchDirección de correo verificada de microsoft.com
- Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
- Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLADirección de correo verificada de ee.ucla.edu
- Vishwanath RamanPrivacy Architect, Oasis LabsDirección de correo verificada de oasislabs.com
- Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceDirección de correo verificada de glasgow.ac.uk
- David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
- Pallab DasguptaIndian Institute of Technology KharagpurDirección de correo verificada de cse.iitkgp.ac.in
- Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
Seguir
Pritam Roy
Senior Formal Verification Engineer, NVIDIA Corp.
Dirección de correo verificada de nvidia.com