Skapa en profil
Offentlig åtkomst
Visa alla22 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Valentin WüstholzConsenSysVerifierad e-postadress på consensys.net
- Peter MüllerETH ZurichVerifierad e-postadress på inf.ethz.ch
- Konstantinos SagonasUppsala University and National Technical University of AthensVerifierad e-postadress på it.uu.se
- Muhammad Numair MansurAmazon Web ServicesVerifierad e-postadress på amazon.com
- Fuyuan ZhangMPI-SWSVerifierad e-postadress på mpi-sws.org
- Hasan Ferit EniserMPI-SWSVerifierad e-postadress på mpi-sws.org
- Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verifierad e-postadress på cs.uni-saarland.de
- Christian BirdMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Jorge A NavasCertoraVerifierad e-postadress på certora.com
- Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)Verifierad e-postadress på mpi-sws.org
- Patrice GodefroidLaceworkVerifierad e-postadress på lacework.net
- Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Verifierad e-postadress på dfki.de
- Arie GurfinkelUniversity of WaterlooVerifierad e-postadress på uwaterloo.ca
- Sankalan Pal ChowdhuryDoctoral Student, ETH ZurichVerifierad e-postadress på ethz.ch
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceVerifierad e-postadress på inria.fr
- Isil DilligUT AustinVerifierad e-postadress på cs.utexas.edu
- Kostas FerlesThe University of Texas at AustinVerifierad e-postadress på cs.utexas.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Wolfram SchultePrincipal researcher, Microsoft CorporationVerifierad e-postadress på microsoft.com
- Scott D. FlemingUniversity of MemphisVerifierad e-postadress på memphis.edu