自分のプロフィールを作成
オープン アクセス
すべて表示35 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Chung-Kil HurSeoul National University確認したメール アドレス: sf.snu.ac.kr
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Hai DangBedRock Systems. Inc確認したメール アドレス: mpi-sws.org
- Aaron TuronMPI-SWS確認したメール アドレス: mpi-sws.org
- Jeehoon KangAssistant Professor of KAIST School of Computing確認したメール アドレス: kaist.ac.kr
- Amal AhmedNortheastern University確認したメール アドレス: ccs.neu.edu
- Michael SammlerMPI-SWS確認したメール アドレス: mpi-sws.org
- Robert HarperProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Aleš BizjakFormerly postdoctoral researcher, Aarhus University, currently software architect at Concordium確認したメール アドレス: alesb.com
- Neelakantan R. KrishnaswamiUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Ori LahavTel Aviv University確認したメール アドレス: tau.ac.il
- Beta ZilianiFAMAF, UNC and Manas.Tech確認したメール アドレス: mpi-sws.org
- David SwaseyMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Karl CraryCarnegie Mellon University確認したメール アドレス: cs.cmu.edu
- Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Aleksandar NanevskiIMDEA Software Institute確認したメール アドレス: imdea.org
フォロー
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
確認したメール アドレス: mpi-sws.org - ホームページ