Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 6920 | 1730 |
h-index | 38 | 18 |
i10-index | 72 | 33 |
Acces public
Afișați-le pe toate7 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Daniel KroeningAmazonAdresă de e-mail confirmată pe amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgAdresă de e-mail confirmată pe informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerAdresă de e-mail confirmată pe fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Vadim RyvchinAdresă de e-mail confirmată pe tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooAdresă de e-mail confirmată pe uwaterloo.ca
- Hana ChocklerKing's College LondonAdresă de e-mail confirmată pe kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresă de e-mail confirmată pe eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityAdresă de e-mail confirmată pe nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionAdresă de e-mail confirmată pe intel.com
- Roderick BloemGraz University of TechnologyAdresă de e-mail confirmată pe iaik.tugraz.at
Urmăriți
Ofer Strichman
Technion, Haifa, Israel
Adresă de e-mail confirmată pe ie.technion.ac.il - Pagina de pornire