Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 6919 | 1729 |
indeks-h | 38 | 18 |
indeks-i10 | 72 | 33 |
Akses publik
Lihat semua7 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Daniel KroeningAmazonEmail yang diverifikasi di amazon.com
- Armin BiereProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Alessandro CimattiFondazione Bruno KesslerEmail yang diverifikasi di fbk.eu
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail yang diverifikasi di mpi-sws.org
- Vadim RyvchinEmail yang diverifikasi di tx.technion.ac.il
- Arie GurfinkelUniversity of WaterlooEmail yang diverifikasi di uwaterloo.ca
- Hana ChocklerKing's College LondonEmail yang diverifikasi di kcl.ac.uk
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
- Randal BryantCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityEmail yang diverifikasi di nau.edu
- Alexander NadelReseach Scientist, Intel & TechnionEmail yang diverifikasi di intel.com
- Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at