Založit si vlastní profil
Veřejný přístup
Zobrazit všechny31 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Marsha ChechikProfessor of Computer Science, University of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Jorge A NavasCertoraE-mailová adresa ověřena na: certora.com
- Yakir VizelTechnionE-mailová adresa ověřena na: cs.technion.ac.il
- Aws AlbarghouthiUniversity of Wisconsin–MadisonE-mailová adresa ověřena na: cs.wisc.edu
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonE-mailová adresa ověřena na: amazon.com
- Nikolaj BjornerMicrosoft ResearchE-mailová adresa ověřena na: cs.stanford.edu
- Anvesh KomuravelliCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Sharon ShohamTel Aviv UniversityE-mailová adresa ověřena na: tauex.tau.ac.il
- Ofer StrichmanTechnion, Haifa, IsraelE-mailová adresa ověřena na: ie.technion.ac.il
- Grigory FedyukovichFlorida State UniversityE-mailová adresa ověřena na: cs.fsu.edu
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Steve EasterbrookProfessor of Computer Science, University of TorontoE-mailová adresa ověřena na: cs.toronto.edu
- Yi LiNanyang Technological UniversityE-mailová adresa ověřena na: ntu.edu.sg
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileE-mailová adresa ověřena na: dcc.uchile.cl
- Jessica DaviesEpidemiologistE-mailová adresa ověřena na: roche.com
- Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Anton BelovSynopsys Inc.E-mailová adresa ověřena na: belov-mcdowell.com
- Zachary KincaidPrinceton UniversityE-mailová adresa ověřena na: cs.princeton.edu
- Ipek OzkayaCarnegie Mellon University Software Engineering InstituteE-mailová adresa ověřena na: sei.cmu.edu