Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 7108 | 1917 |
Índice h | 39 | 17 |
Índice i10 | 74 | 34 |
Acceso público
Ver todo8 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Daniel KroeningAmazonDirección de correo verificada de amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
- Vadim RyvchinDirección de correo verificada de tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooDirección de correo verificada de uwaterloo.ca
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
- Hana ChocklerKing's College LondonDirección de correo verificada de kcl.ac.uk
- Randal BryantCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityDirección de correo verificada de nau.edu
- Alessandro CimattiFondazione Bruno KesslerDirección de correo verificada de fbk.eu
- Alexander NadelReseach Scientist, Intel & TechnionDirección de correo verificada de intel.com
- Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Seguir
Ofer Strichman
Technion, Haifa, Israel
Dirección de correo verificada de ie.technion.ac.il - Página principal