Crea el meu perfil
Accés públic
Mostra-ho tot7 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Daniel KroeningAmazonCorreu electrònic verificat a amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerCorreu electrònic verificat a fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusCorreu electrònic verificat a mpi-sws.org
- Vadim RyvchinCorreu electrònic verificat a tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooCorreu electrònic verificat a uwaterloo.ca
- Hana ChocklerKing's College LondonCorreu electrònic verificat a kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityCorreu electrònic verificat a nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionCorreu electrònic verificat a intel.com
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
Segueix
Ofer Strichman
Technion, Haifa, Israel
Correu electrònic verificat a ie.technion.ac.il - Pàgina d'inici