Založiť si vlastný profil
Verejný prístup
všetky položky7 článkov
0 článkov
dostupné
nedostupné
Na základe mandátov na financovanie
Spoluautori
- Daniel KroeningAmazonOverená e-mailová adresa na: amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgOverená e-mailová adresa na: informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerOverená e-mailová adresa na: fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusOverená e-mailová adresa na: mpi-sws.org
- Vadim RyvchinOverená e-mailová adresa na: tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooOverená e-mailová adresa na: uwaterloo.ca
- Hana ChocklerKing's College LondonOverená e-mailová adresa na: kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyOverená e-mailová adresa na: eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityOverená e-mailová adresa na: nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionOverená e-mailová adresa na: intel.com
- Roderick BloemGraz University of TechnologyOverená e-mailová adresa na: iaik.tugraz.at
Sledovať
Ofer Strichman
Technion, Haifa, Israel
Overená e-mailová adresa na: ie.technion.ac.il - Domovská stránka