Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 228 | 214 |
Índice h | 7 | 7 |
Índice i10 | 7 | 7 |
Acesso público
Ver todos4 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- John RegehrProfessor, School of Computing, University of UtahE-mail confirmado em cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSE-mail confirmado em amazon.com
- Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaE-mail confirmado em tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchE-mail confirmado em microsoft.com
- Jacob NelsonMicrosoft ResearchE-mail confirmado em microsoft.com
- Zixian CaiAustralian National UniversityE-mail confirmado em anu.edu.au
- Jubi TanejaMicrosoft ResearchE-mail confirmado em cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchE-mail confirmado em microsoft.com
- John CriswellUniversity of RochesterE-mail confirmado em cs.rochester.edu