Mijn eigen profiel maken
Openbare toegang
Alles bekijken22 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Valentin WüstholzConsenSysGeverifieerd e-mailadres voor consensys.net
- Peter MüllerETH ZurichGeverifieerd e-mailadres voor inf.ethz.ch
- Konstantinos SagonasUppsala University and National Technical University of AthensGeverifieerd e-mailadres voor it.uu.se
- Muhammad Numair MansurAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Fuyuan ZhangMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Hasan Ferit EniserMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Geverifieerd e-mailadres voor cs.uni-saarland.de
- Christian BirdMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Alkis GotovosMax Planck Institute for Software Systems (MPI-SWS)Geverifieerd e-mailadres voor mpi-sws.org
- Jorge A NavasCertoraGeverifieerd e-mailadres voor certora.com
- Patrice GodefroidLaceworkGeverifieerd e-mailadres voor lacework.net
- Timo P. GrosGerman Research Center for Artificial Intelligence (DFKI)Geverifieerd e-mailadres voor dfki.de
- Arie GurfinkelUniversity of WaterlooGeverifieerd e-mailadres voor uwaterloo.ca
- Sankalan Pal ChowdhuryDoctoral Student, ETH ZurichGeverifieerd e-mailadres voor ethz.ch
- Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, FranceGeverifieerd e-mailadres voor inria.fr
- Isil DilligUT AustinGeverifieerd e-mailadres voor cs.utexas.edu
- Kostas FerlesThe University of Texas at AustinGeverifieerd e-mailadres voor cs.utexas.edu
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusGeverifieerd e-mailadres voor cs.uni-saarland.de
- Wolfram SchultePrincipal researcher, Microsoft CorporationGeverifieerd e-mailadres voor microsoft.com
- Scott D. FlemingUniversity of MemphisGeverifieerd e-mailadres voor memphis.edu