Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 513 | 453 |
h-index | 10 | 9 |
i10-index | 10 | 9 |
Acces public
Afișați-le pe toate7 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusAdresă de e-mail confirmată pe mpi-sws.org
- Ralf JungAssistant Professor, ETH ZürichAdresă de e-mail confirmată pe inf.ethz.ch
- Jeehoon KangAssistant Professor of KAIST School of ComputingAdresă de e-mail confirmată pe kaist.ac.kr
- Vu NguyenUniversity of Science, Vietnam National University - HCMCAdresă de e-mail confirmată pe fit.hcmus.edu.vn
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Ori LahavTel Aviv UniversityAdresă de e-mail confirmată pe tau.ac.il
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Azalea RaadImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- Peter O'HearnLacework and University College LondonAdresă de e-mail confirmată pe ucl.ac.uk
- Josh BerdineFacebookAdresă de e-mail confirmată pe fb.com
- Jules VillardImperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
- Simon SpiesMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Thanh-Hai TranConsenSysAdresă de e-mail confirmată pe consensys.net
- Michael SammlerMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Jaemin ChoiKAISTAdresă de e-mail confirmată pe kaist.ac.kr
- William ManskyAssistant Professor, University of Illinois at ChicagoAdresă de e-mail confirmată pe uic.edu