Založit si vlastní profil
Veřejný přístup
Zobrazit všechny15 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityE-mailová adresa ověřena na: cs.huji.ac.il
- Joseph HalpernProfessor of Computer Science, Cornell UniversityE-mailová adresa ověřena na: cs.cornell.edu
- Daniel KroeningAmazonE-mailová adresa ověřena na: amazon.com
- Moshe Y. VardiRice UniversityE-mailová adresa ověřena na: cs.rice.edu
- Ofer StrichmanTechnion, Haifa, IsraelE-mailová adresa ověřena na: ie.technion.ac.il
- Eitan FarchiIBM Research Lab in HaifaE-mailová adresa ověřena na: il.ibm.com
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- Alexander IvriiIBME-mailová adresa ověřena na: il.ibm.com
- Karine Even-MendozaKing's College LondonE-mailová adresa ověřena na: kcl.ac.uk
- Arie MatsliahPrinceton UniversityE-mailová adresa ověřena na: princeton.edu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraE-mailová adresa ověřena na: certora.com
- Paul C AttieProfessor of Compuer Science, Augusta UniversityE-mailová adresa ověřena na: augusta.edu
- Grigory FedyukovichFlorida State UniversityE-mailová adresa ověřena na: cs.fsu.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandE-mailová adresa ověřena na: usi.ch
- David LandsbergOxford UniversityE-mailová adresa ověřena na: linacre.ox.ac.uk
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Matt LewisComputer Science Department, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Gregory ChocklerProfessor, University of SurreyE-mailová adresa ověřena na: surrey.ac.uk
- Sara BouchenakProfessor in Computer Science, INSA LyonE-mailová adresa ověřena na: insa-lyon.fr
- Michael TautschnigQueen Mary University of LondonE-mailová adresa ověřena na: qmul.ac.uk