Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 227 | 213 |
h-indeks | 7 | 7 |
i10-indeks | 7 | 7 |
Dostęp publiczny
Wyświetl wszystko4 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- John RegehrProfessor, School of Computing, University of UtahZweryfikowany adres z cs.utah.edu
- Juneyoung(June) LeeAutomated Reasoning Group, AWSZweryfikowany adres z amazon.com
- Chung-Kil HurSeoul National UniversityZweryfikowany adres z sf.snu.ac.kr
- Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaZweryfikowany adres z tecnico.ulisboa.pt
- Todd MytkowiczMicrosoft ResearchZweryfikowany adres z microsoft.com
- Jacob NelsonMicrosoft ResearchZweryfikowany adres z microsoft.com
- Zixian CaiAustralian National UniversityZweryfikowany adres z anu.edu.au
- Jubi TanejaMicrosoft ResearchZweryfikowany adres z cs.utah.edu
- Madanlal MusuvathiMicrosoft ResearchZweryfikowany adres z microsoft.com
- John CriswellUniversity of RochesterZweryfikowany adres z cs.rochester.edu