Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 272 | 261 |
Índice h | 8 | 8 |
Índice i10 | 7 | 4 |
Acesso público
Ver tudo5 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Adam ChlipalaMIT CSAILEmail confirmado em csail.mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyEmail confirmado em mit.edu
- Samuel GruetterMITEmail confirmado em mit.edu
- Joonwon ChoiApple / MIT CSAIL PhDEmail confirmado em alum.mit.edu
- Chuyue (Livia) SunStanford UniversityEmail confirmado em stanford.edu
- Daniel GenkinGeorgia TechEmail confirmado em gatech.edu
- Yuval YaromRuhr University BochumEmail confirmado em rub.de
- Chitchanok ChuengsatiansupThe University of MelbourneEmail confirmado em unimelb.edu.au
- Markus WagnerAssociate Professor of Computer Science, Monash University, AustraliaEmail confirmado em monash.edu
- Dustin JamnerMassachusetts Institute of TechnologyEmail confirmado em mit.edu
- Clément Pit-ClaudelEPFLEmail confirmado em epfl.ch
- Arthur CharguéraudInriaEmail confirmado em inria.fr
- Mirai IkebuchiAssistant Professot at Kyoto UniversityEmail confirmado em fos.kuis.kyoto-u.ac.jp
- Ankur TalyStaff Research Scientist, GoogleEmail confirmado em google.com