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