Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 227 | 213 |
indice h | 7 | 7 |
indice i10 | 7 | 7 |
Accès public
Tout afficher4 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- John RegehrProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSAdresse e-mail validée de amazon.com
- Chung-Kil HurSeoul National UniversityAdresse e-mail validée de sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Jacob NelsonMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Zixian CaiAustralian National UniversityAdresse e-mail validée de anu.edu.au
- Jubi TanejaMicrosoft ResearchAdresse e-mail validée de cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchAdresse e-mail validée de microsoft.com
- John CriswellUniversity of RochesterAdresse e-mail validée de cs.rochester.edu