Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 1485 | 1121 |
indeks-h | 20 | 16 |
indeks-i10 | 30 | 26 |
Akses publik
Lihat semua22 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Valentin WüstholzConsenSysEmail yang diverifikasi di consensys.net
- Peter MüllerETH ZurichEmail yang diverifikasi di inf.ethz.ch
- Konstantinos SagonasUppsala University and National Technical University of AthensEmail yang diverifikasi di it.uu.se
- Muhammad Numair MansurAmazon Web ServicesEmail yang diverifikasi di amazon.com
- Fuyuan ZhangMPI-SWSEmail yang diverifikasi di mpi-sws.org
- Hasan Ferit EniserMPI-SWSEmail yang diverifikasi di mpi-sws.org
- Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Email yang diverifikasi di cs.uni-saarland.de
- Christian BirdMicrosoft ResearchEmail yang diverifikasi di microsoft.com
- Jorge A NavasCertoraEmail yang diverifikasi di certora.com
- Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)Email yang diverifikasi di mpi-sws.org
- Patrice GodefroidLaceworkEmail yang diverifikasi di lacework.net
- Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Email yang diverifikasi di dfki.de
- Arie GurfinkelUniversity of WaterlooEmail yang diverifikasi di uwaterloo.ca
- Sankalan Pal ChowdhuryDoctoral Student, ETH ZurichEmail yang diverifikasi di ethz.ch
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceEmail yang diverifikasi di inria.fr
- Isil DilligUT AustinEmail yang diverifikasi di cs.utexas.edu
- Kostas FerlesThe University of Texas at AustinEmail yang diverifikasi di cs.utexas.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail yang diverifikasi di cs.uni-saarland.de
- Wolfram SchultePrincipal researcher, Microsoft CorporationEmail yang diverifikasi di microsoft.com
- Scott D. FlemingUniversity of MemphisEmail yang diverifikasi di memphis.edu