Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 272 | 261 |
indice h | 8 | 8 |
indice i10 | 7 | 4 |
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Adam ChlipalaMIT CSAILAdresse e-mail validée de csail.mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
- Samuel GruetterMITAdresse e-mail validée de mit.edu
- Joonwon ChoiApple / MIT CSAIL PhDAdresse e-mail validée de alum.mit.edu
- Chuyue (Livia) SunStanford UniversityAdresse e-mail validée de stanford.edu
- Daniel GenkinGeorgia TechAdresse e-mail validée de gatech.edu
- Yuval YaromRuhr University BochumAdresse e-mail validée de rub.de
- Chitchanok ChuengsatiansupThe University of MelbourneAdresse e-mail validée de unimelb.edu.au
- Markus WagnerAssociate Professor of Computer Science, Monash University, AustraliaAdresse e-mail validée de monash.edu
- Dustin JamnerMassachusetts Institute of TechnologyAdresse e-mail validée de mit.edu
- Clément Pit-ClaudelEPFLAdresse e-mail validée de epfl.ch
- Arthur CharguéraudInriaAdresse e-mail validée de inria.fr
- Mirai IkebuchiAssistant Professot at Kyoto UniversityAdresse e-mail validée de fos.kuis.kyoto-u.ac.jp
- Ankur TalyStaff Research Scientist, GoogleAdresse e-mail validée de google.com