Založit si vlastní profil
Veřejný přístup
Zobrazit všechny17 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusE-mailová adresa ověřena na: mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesE-mailová adresa ověřena na: normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityE-mailová adresa ověřena na: nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumE-mailová adresa ověřena na: alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)E-mailová adresa ověřena na: mpi-sws.org
- Hai DangBedRock Systems. IncE-mailová adresa ověřena na: mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityE-mailová adresa ověřena na: hw.ac.uk
- Aaron TuronMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingE-mailová adresa ověřena na: kaist.ac.kr
- Amin TimanyAarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Nickolai ZeldovichE-mailová adresa ověřena na: csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)E-mailová adresa ověřena na: mit.edu
- Simon SpiesMPI-SWSE-mailová adresa ověřena na: mpi-sws.org
- Arthur CharguéraudInriaE-mailová adresa ověřena na: inria.fr
- John RegehrProfessor, School of Computing, University of UtahE-mailová adresa ověřena na: cs.utah.edu
- Zhengyang LiuUniversity of UtahE-mailová adresa ověřena na: cs.utah.edu
- Chung-Kil HurSeoul National UniversityE-mailová adresa ověřena na: sf.snu.ac.kr
Sledovat