Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 963 | 218 |
Índice h | 12 | 7 |
Índice i10 | 14 | 6 |
Acesso público
Ver todos2 artigos
2 artigos
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Luca de AlfaroProfessor, UC Santa CruzE-mail confirmado em acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaE-mail confirmado em ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyE-mail confirmado em unina.it
- B. Thomas AdlerFacebook, Inc.E-mail confirmado em alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsE-mail confirmado em mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)E-mail confirmado em amazon.com
- Falk HowarTU DortmundE-mail confirmado em tu-dortmund.de
- Malte IsbernerRed HatE-mail confirmado em redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mail confirmado em utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonE-mail confirmado em amazon.com
- Kasper Søe LuckowAmazon Web ServicesE-mail confirmado em amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.E-mail confirmado em nvidia.com
- axel legayUCLouvainE-mail confirmado em uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasE-mail confirmado em ic.ufal.br
- Misty DaviesNASA Ames Research CenterE-mail confirmado em nasa.gov
- Corina PasareanuCMU/NASA AmesE-mail confirmado em nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteE-mail confirmado em imdea.org
- Alex ZamfirescuIndependent ResearcherE-mail confirmado em ascinc.com