Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 2091 | 1814 |
h-indeks | 15 | 15 |
i10-indeks | 17 | 17 |
Dostęp publiczny
Wyświetl wszystko17 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenZweryfikowany adres z cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesZweryfikowany adres z normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityZweryfikowany adres z nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumZweryfikowany adres z alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Zweryfikowany adres z mpi-sws.org
- Hai DangBedRock Systems. IncZweryfikowany adres z mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityZweryfikowany adres z hw.ac.uk
- Aaron TuronMPI-SWSZweryfikowany adres z mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityZweryfikowany adres z itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingZweryfikowany adres z kaist.ac.kr
- Amin TimanyAarhus UniversityZweryfikowany adres z cs.au.dk
- Nickolai ZeldovichZweryfikowany adres z csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Zweryfikowany adres z mit.edu
- Simon SpiesMPI-SWSZweryfikowany adres z mpi-sws.org
- Arthur CharguéraudInriaZweryfikowany adres z inria.fr
- John RegehrProfessor, School of Computing, University of UtahZweryfikowany adres z cs.utah.edu
- Zhengyang LiuUniversity of UtahZweryfikowany adres z cs.utah.edu
- Chung-Kil HurSeoul National UniversityZweryfikowany adres z sf.snu.ac.kr