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
- Aseem RastogiResearcher, Microsoft ResearchE-mailová adresa ověřena na: microsoft.com
- Karthikeyan BhargavanINRIAE-mailová adresa ověřena na: inria.fr
- Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtE-mailová adresa ověřena na: inria.fr
- Cédric FournetMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Jonathan ProtzenkoMicrosoft ResearchE-mailová adresa ověřena na: ens-lyon.org
- Nikhil SwamyMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Adam ChlipalaMIT CSAILE-mailová adresa ověřena na: csail.mit.edu
- Antoine Delignat-LavaudMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Cătălin HrițcuTenured Faculty at MPI-SPE-mailová adresa ověřena na: mpi-sp.org
- Tahina RamananandroMicrosoft ResearchE-mailová adresa ověřena na: ramananandro.org
- Santiago Zanella-BéguelinMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Bryan ParnoCarnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
- Jason GrossGraduate, Massachusetts Institute of TechnologyE-mailová adresa ověřena na: mit.edu
- Benjamin DelawareAssistant Professor, Purdue UniversityE-mailová adresa ověřena na: purdue.edu
- Samin IshtiaqRiverlaneE-mailová adresa ověřena na: riverlane.com
- Ashay RaneGraduate Research Assistant, The University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- Markulf KohlweissUniveristy of EdinburghE-mailová adresa ověřena na: ed.ac.uk
- Laure ThompsonPrinceton UniversityE-mailová adresa ověřena na: princeton.edu
- santiago cuellarPhD, Princeton UniversityE-mailová adresa ověřena na: princeton.edu
- Kai YeCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu