Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 3746 | 2446 |
indice h | 24 | 21 |
indice i10 | 28 | 24 |
Accès public
Tout afficher3 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Adresse e-mail validée de inf.ethz.ch
- Chris HarrelsonSoftware Engineer, GoogleAdresse e-mail validée de google.com
- Fabien VigerGoogleAdresse e-mail validée de google.com
- Hannah BastProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Robert GeisbergerGoogleAdresse e-mail validée de google.com
- Andreas KrauseProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowAdresse e-mail validée de latticeflow.ai
- Eran YahavTechnion, IsraelAdresse e-mail validée de cs.technion.ac.il
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideAdresse e-mail validée de sridharan.net
- Dimitar K. DimitrovSenior Researcher, INSAITAdresse e-mail validée de insait.ai
- Madanlal MusuvathiMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Todd MytkowiczMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Anders MøllerProfessor, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Casper Svenning JensenGraduared Ph.D., Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Max SchaeferGitHubAdresse e-mail validée de github.com
- Preslav NakovMBZUAIAdresse e-mail validée de mbzuai.ac.ae