Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 229 | 215 |
Índice h | 7 | 7 |
Índice i10 | 7 | 7 |
Acceso público
Ver todo4 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- John RegehrProfessor, School of Computing, University of UtahDirección de correo verificada de cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSDirección de correo verificada de amazon.com
- Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchDirección de correo verificada de microsoft.com
- Jacob NelsonMicrosoft ResearchDirección de correo verificada de microsoft.com
- Zixian CaiAustralian National UniversityDirección de correo verificada de anu.edu.au
- Madanlal MusuvathiMicrosoft ResearchDirección de correo verificada de microsoft.com
- Jubi TanejaMicrosoft ResearchDirección de correo verificada de cs.utah.edu
- John CriswellUniversity of RochesterDirección de correo verificada de cs.rochester.edu