Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 964 | 219 |
Índice h | 12 | 7 |
Índice i10 | 14 | 6 |
Acceso público
Ver todo2 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Luca de AlfaroProfessor, UC Santa CruzDirección de correo verificada de acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyDirección de correo verificada de unina.it
- B. Thomas AdlerFacebook, Inc.Dirección de correo verificada de alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Dirección de correo verificada de amazon.com
- Falk HowarTU DortmundDirección de correo verificada de tu-dortmund.de
- Malte IsbernerRed HatDirección de correo verificada de redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteDirección de correo verificada de utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonDirección de correo verificada de amazon.com
- Kasper Søe LuckowAmazon Web ServicesDirección de correo verificada de amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Dirección de correo verificada de nvidia.com
- axel legayUCLouvainDirección de correo verificada de uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasDirección de correo verificada de ic.ufal.br
- Misty DaviesNASA Ames Research CenterDirección de correo verificada de nasa.gov
- Corina PasareanuCMU/NASA AmesDirección de correo verificada de nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
- Alex ZamfirescuIndependent ResearcherDirección de correo verificada de ascinc.com