Crea il mio profilo
Accesso pubblico
Visualizza tutto17 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail verificata su mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenEmail verificata su cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail verificata su normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityEmail verificata su nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumEmail verificata su alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Email verificata su mpi-sws.org
- Hai DangBedRock Systems. IncEmail verificata su mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityEmail verificata su hw.ac.uk
- Aaron TuronMPI-SWSEmail verificata su mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityEmail verificata su itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingEmail verificata su kaist.ac.kr
- Amin TimanyAarhus UniversityEmail verificata su cs.au.dk
- Nickolai ZeldovichEmail verificata su csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Email verificata su mit.edu
- Simon SpiesMPI-SWSEmail verificata su mpi-sws.org
- Arthur CharguéraudInriaEmail verificata su inria.fr
- John RegehrProfessor, School of Computing, University of UtahEmail verificata su cs.utah.edu
- Zhengyang LiuUniversity of UtahEmail verificata su cs.utah.edu
- Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr