Crea il mio profilo
Accesso pubblico
Visualizza tutto7 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail verificata su inf.ethz.ch
- Jeehoon KangAssistant Professor of KAIST School of ComputingEmail verificata su kaist.ac.kr
- Vu NguyenUniversity of Science, Vietnam National University - HCMCEmail verificata su fit.hcmus.edu.vn
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Ori LahavTel Aviv UniversityEmail verificata su tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Azalea RaadImperial College LondonEmail verificata su imperial.ac.uk
- Peter O'HearnLacework and University College LondonEmail verificata su ucl.ac.uk
- Josh BerdineFacebookEmail verificata su fb.com
- Jules VillardImperial College LondonEmail verificata su imperial.ac.uk
- Simon SpiesMPI-SWSEmail verificata su mpi-sws.org
- Thanh-Hai TranConsenSysEmail verificata su consensys.net
- Michael SammlerMPI-SWSEmail verificata su mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Jaemin ChoiKAISTEmail verificata su kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoEmail verificata su uic.edu