Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 6913 | 1724 |
h-індекс | 38 | 18 |
i10-індекс | 72 | 33 |
Доступні для всіх
Переглянути всі7 статей
0 статей
доступні
недоступні
За умовами фінансування
Співавтори
- Daniel KroeningAmazonПідтверджена електронна адреса в amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgПідтверджена електронна адреса в informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerПідтверджена електронна адреса в fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusПідтверджена електронна адреса в mpi-sws.org
- Vadim RyvchinПідтверджена електронна адреса в tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooПідтверджена електронна адреса в uwaterloo.ca
- Hana ChocklerKing's College LondonПідтверджена електронна адреса в kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyПідтверджена електронна адреса в eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityПідтверджена електронна адреса в cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityПідтверджена електронна адреса в nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionПідтверджена електронна адреса в intel.com
- Roderick BloemGraz University of TechnologyПідтверджена електронна адреса в iaik.tugraz.at
Підписатись
Ofer Strichman
Technion, Haifa, Israel
Підтверджена електронна адреса в ie.technion.ac.il - Домашня сторінка