Založit si vlastní profil
Veřejný přístup
Zobrazit všechny5 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Adam ChlipalaMIT CSAILE-mailová adresa ověřena na: csail.mit.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyE-mailová adresa ověřena na: mit.edu
- Samuel GruetterMITE-mailová adresa ověřena na: mit.edu
- Joonwon ChoiApple / MIT CSAIL PhDE-mailová adresa ověřena na: alum.mit.edu
- Chuyue (Livia) SunStanford UniversityE-mailová adresa ověřena na: stanford.edu
- Daniel GenkinGeorgia TechE-mailová adresa ověřena na: gatech.edu
- Yuval YaromRuhr University BochumE-mailová adresa ověřena na: rub.de
- Chitchanok ChuengsatiansupThe University of MelbourneE-mailová adresa ověřena na: unimelb.edu.au
- Markus WagnerAssociate Professor of Computer Science, Monash University, AustraliaE-mailová adresa ověřena na: monash.edu
- Dustin JamnerMassachusetts Institute of TechnologyE-mailová adresa ověřena na: mit.edu
- Clément Pit-ClaudelEPFLE-mailová adresa ověřena na: epfl.ch
- Arthur CharguéraudInriaE-mailová adresa ověřena na: inria.fr
- Mirai IkebuchiAssistant Professot at Kyoto UniversityE-mailová adresa ověřena na: fos.kuis.kyoto-u.ac.jp
- Ankur TalyStaff Research Scientist, GoogleE-mailová adresa ověřena na: google.com