Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 506 | 446 |
indeks-h | 10 | 9 |
indeks-i10 | 10 | 9 |
Akses publik
Lihat semua7 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail yang diverifikasi di mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichEmail yang diverifikasi di inf.ethz.ch
- Vu NguyenUniversity of Science, Vietnam National University - HCMCEmail yang diverifikasi di fit.hcmus.edu.vn
- Jeehoon KangAssistant Professor of KAIST School of ComputingEmail yang diverifikasi di kaist.ac.kr
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email yang diverifikasi di mpi-sws.org
- Ori LahavTel Aviv UniversityEmail yang diverifikasi di tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail yang diverifikasi di normalesup.org
- Azalea RaadImperial College LondonEmail yang diverifikasi di imperial.ac.uk
- Peter O'HearnLacework and University College LondonEmail yang diverifikasi di ucl.ac.uk
- Josh BerdineFacebookEmail yang diverifikasi di fb.com
- Jules VillardImperial College LondonEmail yang diverifikasi di imperial.ac.uk
- Simon SpiesMPI-SWSEmail yang diverifikasi di mpi-sws.org
- Thanh-Hai TranConsenSysEmail yang diverifikasi di consensys.net
- Michael SammlerMPI-SWSEmail yang diverifikasi di mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail yang diverifikasi di cs.ru.nl
- Jaemin ChoiKAISTEmail yang diverifikasi di kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoEmail yang diverifikasi di uic.edu