Skapa en profil
Offentlig åtkomst
Visa alla31 artiklar
3 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Marsha ChechikProfessor of Computer Science, University of TorontoVerifierad e-postadress på cs.toronto.edu
- Jorge A NavasCertoraVerifierad e-postadress på certora.com
- Yakir VizelTechnionVerifierad e-postadress på cs.technion.ac.il
- Aws AlbarghouthiUniversity of Wisconsin–MadisonVerifierad e-postadress på cs.wisc.edu
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerifierad e-postadress på amazon.com
- Nikolaj BjornerMicrosoft ResearchVerifierad e-postadress på cs.stanford.edu
- Anvesh KomuravelliCarnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Sharon ShohamTel Aviv UniversityVerifierad e-postadress på tauex.tau.ac.il
- Ofer StrichmanTechnion, Haifa, IsraelVerifierad e-postadress på ie.technion.ac.il
- Grigory FedyukovichFlorida State UniversityVerifierad e-postadress på cs.fsu.edu
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerifierad e-postadress på usi.ch
- Steve EasterbrookProfessor of Computer Science, University of TorontoVerifierad e-postadress på cs.toronto.edu
- Yi LiNanyang Technological UniversityVerifierad e-postadress på ntu.edu.sg
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileVerifierad e-postadress på dcc.uchile.cl
- Jessica DaviesEpidemiologistVerifierad e-postadress på roche.com
- Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Anton BelovSynopsys Inc.Verifierad e-postadress på belov-mcdowell.com
- Zachary KincaidPrinceton UniversityVerifierad e-postadress på cs.princeton.edu
- Ipek OzkayaCarnegie Mellon University Software Engineering InstituteVerifierad e-postadress på sei.cmu.edu