Skapa en profil
Offentlig åtkomst
Visa alla7 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichVerifierad e-postadress på inf.ethz.ch
- Vu NguyenUniversity of Science, Vietnam National University - HCMCVerifierad e-postadress på fit.hcmus.edu.vn
- Jeehoon KangAssistant Professor of KAIST School of ComputingVerifierad e-postadress på kaist.ac.kr
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Ori LahavTel Aviv UniversityVerifierad e-postadress på tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Azalea RaadImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Peter O'HearnLacework and University College LondonVerifierad e-postadress på ucl.ac.uk
- Josh BerdineFacebookVerifierad e-postadress på fb.com
- Jules VillardImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Simon SpiesMPI-SWSVerifierad e-postadress på mpi-sws.org
- Thanh-Hai TranConsenSysVerifierad e-postadress på consensys.net
- Michael SammlerMPI-SWSVerifierad e-postadress på mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Jaemin ChoiKAISTVerifierad e-postadress på kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoVerifierad e-postadress på uic.edu