自分のプロフィールを作成
オープン アクセス
すべて表示17 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Joseph TassarottiAssistant Professor, New York University確認したメール アドレス: nyu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium確認したメール アドレス: alesb.com
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Hai DangBedRock Systems. Inc確認したメール アドレス: mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of Computing確認したメール アドレス: kaist.ac.kr
- Filip SieczkowskiHeriot-Watt University確認したメール アドレス: hw.ac.uk
- Aaron TuronMPI-SWS確認したメール アドレス: mpi-sws.org
- Kasper SvendsenDepartment of Computer Science, Aarhus University確認したメール アドレス: itu.dk
- Amin TimanyAarhus University確認したメール アドレス: cs.au.dk
- Nickolai Zeldovich確認したメール アドレス: csail.mit.edu
- Frans KaashoekMassuchesetts Institute of Technology (MIT)確認したメール アドレス: mit.edu
- Simon SpiesMPI-SWS確認したメール アドレス: mpi-sws.org
- Arthur CharguéraudInria確認したメール アドレス: inria.fr
- John RegehrProfessor, School of Computing, University of Utah確認したメール アドレス: cs.utah.edu
- Zhengyang LiuUniversity of Utah確認したメール アドレス: cs.utah.edu
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr