Izradite svoj profil
Citirano
Sve | Od 2019. | |
---|---|---|
Citati | 228 | 214 |
H-indeks | 7 | 7 |
i10-indeks | 7 | 7 |
Javni pristup
Prikaži sve4 članka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
- John RegehrProfessor, School of Computing, University of UtahPotvrđena adresa e-pošte na cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSPotvrđena adresa e-pošte na amazon.com
- Chung-Kil HurSeoul National UniversityPotvrđena adresa e-pošte na sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaPotvrđena adresa e-pošte na tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchPotvrđena adresa e-pošte na microsoft.com
- Jacob NelsonMicrosoft ResearchPotvrđena adresa e-pošte na microsoft.com
- Zixian CaiAustralian National UniversityPotvrđena adresa e-pošte na anu.edu.au
- Jubi TanejaMicrosoft ResearchPotvrđena adresa e-pošte na cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchPotvrđena adresa e-pošte na microsoft.com
- John CriswellUniversity of RochesterPotvrđena adresa e-pošte na cs.rochester.edu