내 프로필 만들기
공개 액세스
모두 보기자료 35개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Ralf JungAssistant Professor, ETH Zürichinf.ethz.ch의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formellesnormalesup.org의 이메일 확인됨
- Hai DangBedRock Systems. Incmpi-sws.org의 이메일 확인됨
- Aaron TuronMPI-SWSmpi-sws.org의 이메일 확인됨
- Jeehoon KangAssistant Professor of KAIST School of Computingkaist.ac.kr의 이메일 확인됨
- Amal AhmedNortheastern Universityccs.neu.edu의 이메일 확인됨
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
- Michael SammlerMPI-SWSmpi-sws.org의 이메일 확인됨
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordiumalesb.com의 이메일 확인됨
- Neelakantan R. KrishnaswamiUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Ori LahavTel Aviv Universitytau.ac.il의 이메일 확인됨
- Beta ZilianiFAMAF, UNC and Manas.Techmpi-sws.org의 이메일 확인됨
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Karl CraryCarnegie Mellon Universitycs.cmu.edu의 이메일 확인됨
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Aleksandar NanevskiIMDEA Software Instituteimdea.org의 이메일 확인됨
팔로우
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
mpi-sws.org의 이메일 확인됨 - 홈페이지