내 프로필 만들기
공개 액세스
모두 보기자료 17개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Joseph TassarottiAssistant Professor, New York Universitynyu.edu의 이메일 확인됨
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordiumalesb.com의 이메일 확인됨
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Hai DangBedRock Systems. Incmpi-sws.org의 이메일 확인됨
- Filip SieczkowskiHeriot-Watt Universityhw.ac.uk의 이메일 확인됨
- Aaron TuronMPI-SWSmpi-sws.org의 이메일 확인됨
- Kasper SvendsenDepartment of Computer Science, Aarhus Universityitu.dk의 이메일 확인됨
- Jeehoon KangAssistant Professor of KAIST School of Computingkaist.ac.kr의 이메일 확인됨
- Amin TimanyAarhus Universitycs.au.dk의 이메일 확인됨
- Nickolai Zeldovichcsail.mit.edu의 이메일 확인됨
- Frans KaashoekMassuchesetts Institute of Technology (MIT)mit.edu의 이메일 확인됨
- Simon SpiesMPI-SWSmpi-sws.org의 이메일 확인됨
- Arthur CharguéraudInriainria.fr의 이메일 확인됨
- John RegehrProfessor, School of Computing, University of Utahcs.utah.edu의 이메일 확인됨
- Zhengyang LiuUniversity of Utahcs.utah.edu의 이메일 확인됨
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨