Mijn eigen profiel maken
Openbare toegang
Alles bekijken17 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenGeverifieerd e-mailadres voor cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesGeverifieerd e-mailadres voor normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityGeverifieerd e-mailadres voor nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumGeverifieerd e-mailadres voor alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Geverifieerd e-mailadres voor mpi-sws.org
- Hai DangBedRock Systems. IncGeverifieerd e-mailadres voor mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityGeverifieerd e-mailadres voor hw.ac.uk
- Aaron TuronMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingGeverifieerd e-mailadres voor kaist.ac.kr
- Amin TimanyAarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Nickolai ZeldovichGeverifieerd e-mailadres voor csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Geverifieerd e-mailadres voor mit.edu
- Simon SpiesMPI-SWSGeverifieerd e-mailadres voor mpi-sws.org
- Arthur CharguéraudInriaGeverifieerd e-mailadres voor inria.fr
- John RegehrProfessor, School of Computing, University of UtahGeverifieerd e-mailadres voor cs.utah.edu
- Zhengyang LiuUniversity of UtahGeverifieerd e-mailadres voor cs.utah.edu
- Chung-Kil HurSeoul National UniversityGeverifieerd e-mailadres voor sf.snu.ac.kr