Iegūt savu profilu
Citēts
Visi | Kopš 2019. gada | |
---|---|---|
Atsauces | 1485 | 1121 |
h rādītājs | 20 | 16 |
i10 rādītājs | 30 | 26 |
Publiskā piekļuvē
Skatīt visu22 raksti
0 raksti
pieejami
nav pieejami
Pamatojoties uz finansējuma mandātiem
Līdzautori
- Valentin WüstholzConsenSysVerificēta e-pasta adrese: consensys.net
- Peter MüllerETH ZurichVerificēta e-pasta adrese: inf.ethz.ch
- Konstantinos SagonasUppsala University and National Technical University of AthensVerificēta e-pasta adrese: it.uu.se
- Muhammad Numair MansurAmazon Web ServicesVerificēta e-pasta adrese: amazon.com
- Fuyuan ZhangMPI-SWSVerificēta e-pasta adrese: mpi-sws.org
- Hasan Ferit EniserMPI-SWSVerificēta e-pasta adrese: mpi-sws.org
- Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verificēta e-pasta adrese: cs.uni-saarland.de
- Christian BirdMicrosoft ResearchVerificēta e-pasta adrese: microsoft.com
- Jorge A NavasCertoraVerificēta e-pasta adrese: certora.com
- Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)Verificēta e-pasta adrese: mpi-sws.org
- Patrice GodefroidLaceworkVerificēta e-pasta adrese: lacework.net
- Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Verificēta e-pasta adrese: dfki.de
- Arie GurfinkelUniversity of WaterlooVerificēta e-pasta adrese: uwaterloo.ca
- Sankalan Pal ChowdhuryDoctoral Student, ETH ZurichVerificēta e-pasta adrese: ethz.ch
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerificēta e-pasta adrese: inria.fr
- Isil DilligUT AustinVerificēta e-pasta adrese: cs.utexas.edu
- Kostas FerlesThe University of Texas at AustinVerificēta e-pasta adrese: cs.utexas.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerificēta e-pasta adrese: cs.uni-saarland.de
- Wolfram SchultePrincipal researcher, Microsoft CorporationVerificēta e-pasta adrese: microsoft.com
- Scott D. FlemingUniversity of MemphisVerificēta e-pasta adrese: memphis.edu