Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3757 | 2457 |
h-indeks | 24 | 21 |
i10-indeks | 28 | 24 |
Dostęp publiczny
Wyświetl wszystko3 artykuły
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Zweryfikowany adres z inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleZweryfikowany adres z google.com
- Fabien VigerGoogleZweryfikowany adres z google.com
- Hannah BastProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
- Robert GeisbergerGoogleZweryfikowany adres z google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichZweryfikowany adres z inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowZweryfikowany adres z latticeflow.ai
- Eran YahavTechnion, IsraelZweryfikowany adres z cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideZweryfikowany adres z sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITZweryfikowany adres z insait.ai
- Madanlal MusuvathiMicrosoft ResearchZweryfikowany adres z microsoft.com
- Todd MytkowiczMicrosoft ResearchZweryfikowany adres z microsoft.com
- Anders MøllerProfessor, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityZweryfikowany adres z cs.au.dk
- Max SchaeferGitHubZweryfikowany adres z github.com
- Preslav NakovMBZUAIZweryfikowany adres z mbzuai.ac.ae