Get my own profile
Public access
View all17 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
Alexander ShraerGoogleVerified email at google.com
Sara BouchenakProfessor in Computer Science, INSA LyonVerified email at insa-lyon.fr