Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2325 | 2264 |
indice h | 9 | 9 |
indice i10 | 8 | 8 |
Accès public
Tout afficher1 article
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
- Timon GehrETH ZürichAdresse e-mail validée de inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowAdresse e-mail validée de latticeflow.ai
- Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCAdresse e-mail validée de illinois.edu
- Dana Drachsler-CohenTechnionAdresse e-mail validée de ee.technion.ac.il
- Markus PüschelProfessor of Computer Science, ETH Zurich, SwitzerlandAdresse e-mail validée de inf.ethz.ch
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinAdresse e-mail validée de cs.utexas.edu
- Maximilian BaaderETH ZurichAdresse e-mail validée de inf.ethz.ch
- Dimitar K. DimitrovSenior Researcher, INSAITAdresse e-mail validée de insait.ai
- Gary L. MillerCarnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
- Todd PhillipsGoogle AdsAdresse e-mail validée de google.com