Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 6882 | 1692 |
h-index | 38 | 17 |
i10-index | 72 | 32 |
Nyilvános hozzáférés
Összes megtekintése7 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Daniel KroeningAmazonE-mail megerősítve itt: amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgE-mail megerősítve itt: informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerE-mail megerősítve itt: fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mail megerősítve itt: mpi-sws.org
- Vadim RyvchinE-mail megerősítve itt: tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooE-mail megerősítve itt: uwaterloo.ca
- Hana ChocklerKing's College LondonE-mail megerősítve itt: kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail megerősítve itt: eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail megerősítve itt: nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionE-mail megerősítve itt: intel.com
- Roderick BloemGraz University of TechnologyE-mail megerősítve itt: iaik.tugraz.at