Get my own profile
Public access
View all18 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
- Joseph HalpernProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Daniel KroeningAmazonVerified email at amazon.com
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
- Eitan FarchiIBM Research Lab in HaifaVerified email at il.ibm.com
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
- Alexander IvriiIBMVerified email at il.ibm.com
- Karine Even-MendozaKing's College LondonVerified email at kcl.ac.uk
- Arie MatsliahPrinceton UniversityVerified email at princeton.edu
- Antti E. J. HyvärinenSenior Research Scientist, CertoraVerified email at certora.com
- Paul C AttieProfessor of Compuer Science, Augusta UniversityVerified email at augusta.edu
- Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
- Sepideh AsadiUniversita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
- David LandsbergOxford UniversityVerified email at linacre.ox.ac.uk
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Matt LewisComputer Science Department, University of OxfordVerified email at cs.ox.ac.uk
- Gregory ChocklerProfessor, University of SurreyVerified email at surrey.ac.uk
- Sara BouchenakProfessor in Computer Science, INSA LyonVerified email at insa-lyon.fr
- Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk