Skapa en profil
Offentlig åtkomst
Visa alla17 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerifierad e-postadress på mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerifierad e-postadress på normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Joseph TassarottiAssistant Professor, New York UniversityVerifierad e-postadress på nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at ConcordiumVerifierad e-postadress på alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verifierad e-postadress på mpi-sws.org
- Hai DangBedRock Systems. IncVerifierad e-postadress på mpi-sws.org
- Filip SieczkowskiHeriot-Watt UniversityVerifierad e-postadress på hw.ac.uk
- Aaron TuronMPI-SWSVerifierad e-postadress på mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus UniversityVerifierad e-postadress på itu.dk
- Jeehoon KangAssistant Professor of KAIST School of ComputingVerifierad e-postadress på kaist.ac.kr
- Amin TimanyAarhus UniversityVerifierad e-postadress på cs.au.dk
- Nickolai ZeldovichVerifierad e-postadress på csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)Verifierad e-postadress på mit.edu
- Simon SpiesMPI-SWSVerifierad e-postadress på mpi-sws.org
- Arthur CharguéraudInriaVerifierad e-postadress på inria.fr
- John RegehrProfessor, School of Computing, University of UtahVerifierad e-postadress på cs.utah.edu
- Zhengyang LiuUniversity of UtahVerifierad e-postadress på cs.utah.edu
- Chung-Kil HurSeoul National UniversityVerifierad e-postadress på sf.snu.ac.kr