Crea el meu perfil
Accés públic
Mostra-ho tot15 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityCorreu electrònic verificat a cs.huji.ac.il
- Joseph HalpernProfessor of Computer Science, Cornell UniversityCorreu electrònic verificat a cs.cornell.edu
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Moshe Y. VardiRice UniversityCorreu electrònic verificat a cs.rice.edu
- Ofer StrichmanTechnion, Haifa, IsraelCorreu electrònic verificat a ie.technion.ac.il
- Eitan FarchiIBM Research Lab in HaifaCorreu electrònic verificat a il.ibm.com
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandCorreu electrònic verificat a usi.ch
- Alexander IvriiIBMCorreu electrònic verificat a il.ibm.com
- Karine Even-MendozaKing's College LondonCorreu electrònic verificat a kcl.ac.uk
- Arie MatsliahPrinceton UniversityCorreu electrònic verificat a princeton.edu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraCorreu electrònic verificat a certora.com
- Paul C AttieProfessor of Compuer Science, Augusta UniversityCorreu electrònic verificat a augusta.edu
- Grigory FedyukovichFlorida State UniversityCorreu electrònic verificat a cs.fsu.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandCorreu electrònic verificat a usi.ch
- David LandsbergOxford UniversityCorreu electrònic verificat a linacre.ox.ac.uk
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Matt LewisComputer Science Department, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Gregory ChocklerProfessor, University of SurreyCorreu electrònic verificat a surrey.ac.uk
- Sara BouchenakProfessor in Computer Science, INSA LyonCorreu electrònic verificat a insa-lyon.fr
- Michael TautschnigQueen Mary University of LondonCorreu electrònic verificat a qmul.ac.uk