Založit si vlastní profil
Veřejný přístup
Zobrazit všechny21 článků
1 článek
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Eran YahavTechnion, IsraelE-mailová adresa ověřena na: cs.technion.ac.il
- Timon GehrETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowE-mailová adresa ověřena na: latticeflow.ai
- Veselin RaychevETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCE-mailová adresa ověřena na: illinois.edu
- Pavol BielikETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Markus PüschelProfessor of Computer Science, ETH Zurich, SwitzerlandE-mailová adresa ověřena na: inf.ethz.ch
- Matthew MirmanETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Dana Drachsler-CohenTechnionE-mailová adresa ověřena na: ee.technion.ac.il
- Laurent VanbeverAssociate Professor, ETH ZürichE-mailová adresa ověřena na: ethz.ch
- Andrei Marian DanHitachi Energy ResearchE-mailová adresa ověřena na: hitachienergy.com
- Greta YorshLecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk
- Dimitar K. DimitrovSenior Researcher, INSAITE-mailová adresa ověřena na: insait.ai
- David F. BaconGoogleE-mailová adresa ověřena na: google.com
- Maged M MichaelConcurrent AlgorithmsE-mailová adresa ověřena na: acm.org
- Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideE-mailová adresa ověřena na: sridharan.net
- Vivek SarkarSchool of Computer Science, Georgia Institute of TechnologyE-mailová adresa ověřena na: gatech.edu
- Andreas KrauseProfessor of Computer Science, ETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Michael KupersteinE-mailová adresa ověřena na: google.com
- Raghavan RamanCruiseE-mailová adresa ověřena na: getcruise.com
Sledovat
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;
E-mailová adresa ověřena na: inf.ethz.ch - Domovská stránka