Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 2101 | 1824 |
h-index | 15 | 15 |
i10-index | 17 | 17 |
Acces public
Afișați-le pe toate17 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
- Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresă de e-mail confirmată pe cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresă de e-mail confirmată pe normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityAdresă de e-mail confirmată pe nyu.edu
- Aleą BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumAdresă de e-mail confirmată pe alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Adresă de e-mail confirmată pe mpi-sws.org
- Hai DangBedRock Systems. IncAdresă de e-mail confirmată pe mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityAdresă de e-mail confirmată pe hw.ac.uk
- Aaron TuronMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityAdresă de e-mail confirmată pe itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingAdresă de e-mail confirmată pe kaist.ac.kr
- Amin TimanyAarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
- Nickolai ZeldovichAdresă de e-mail confirmată pe csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Adresă de e-mail confirmată pe mit.edu
- Simon SpiesMPI-SWSAdresă de e-mail confirmată pe mpi-sws.org
- Arthur CharguéraudInriaAdresă de e-mail confirmată pe inria.fr
- John RegehrProfessor, School of Computing, University of UtahAdresă de e-mail confirmată pe cs.utah.edu
- Zhengyang LiuUniversity of UtahAdresă de e-mail confirmată pe cs.utah.edu
- Chung-Kil HurSeoul National UniversityAdresă de e-mail confirmată pe sf.snu.ac.kr
Urmăriți
Ralf Jung
Assistant Professor, ETH Zürich
Adresă de e-mail confirmată pe inf.ethz.ch - Pagina de pornire