自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Ralf JungAssistant Professor, ETH Zürich確認したメール アドレス: inf.ethz.ch
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Xavier LeroyCollège de France確認したメール アドレス: college-de-france.fr
- François PottierInria Paris確認したメール アドレス: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMF確認したメール アドレス: lri.fr
- David PichardieProfessor, ENS Rennes, France確認したメール アドレス: inria.fr
- Sandrine BlazyProfessor of Computer Science, University of Rennes確認したメール アドレス: irisa.fr
- Arthur CharguéraudInria確認したメール アドレス: inria.fr
- Guillaume MelquiondInria, University Paris Saclay確認したメール アドレス: inria.fr
- Sylvie BoldoInria, LMF, University Paris Saclay確認したメール アドレス: inria.fr
- Claude MarchéSenior Research Scientist, Inria確認したメール アドレス: inria.fr
- Stéphane CaronResearch Scientist, Inria – École Normale Supérieure, Paris確認したメール アドレス: inria.fr
- Marie-Karelle RIVIERESaryga
- Armaël GuéneauAarhus University