Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3746 | 2446 |
h-index | 24 | 21 |
i10-index | 28 | 24 |
Acces public
Afișați-le pe toate3 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Adresă de e-mail confirmată pe inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleAdresă de e-mail confirmată pe google.com
- Fabien VigerGoogleAdresă de e-mail confirmată pe google.com
- Hannah BastProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Robert GeisbergerGoogleAdresă de e-mail confirmată pe google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichAdresă de e-mail confirmată pe inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowAdresă de e-mail confirmată pe latticeflow.ai
- Eran YahavTechnion, IsraelAdresă de e-mail confirmată pe cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideAdresă de e-mail confirmată pe sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITAdresă de e-mail confirmată pe insait.ai
- Madanlal MusuvathiMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Todd MytkowiczMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
- Anders MøllerProfessor, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Max SchaeferGitHubAdresă de e-mail confirmată pe github.com
- Preslav NakovMBZUAIAdresă de e-mail confirmată pe mbzuai.ac.ae