自分のプロフィールを作成
オープン アクセス
すべて表示3 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Arthur CharguéraudInria確認したメール アドレス: inria.fr
- Vincent SimonetGoogle, France確認したメール アドレス: vtst.net
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Jonathan ProtzenkoMicrosoft Research確認したメール アドレス: ens-lyon.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Christian SkalkaAssociate Professor of Computer Science, University of Vermont確認したメール アドレス: uvm.edu
- Didier RémyINRIA確認したメール アドレス: inria.fr
- Scott F. SmithProfessor of Computer Science, The Johns Hopkins University確認したメール アドレス: cs.jhu.edu
- Xavier LeroyCollège de France確認したメール アドレス: college-de-france.fr
- Lars BirkedalDept. of Computer Science, Aarhus University確認したメール アドレス: cs.au.dk
- Hongseok YangProfessor, School of Computing, KAIST確認したメール アドレス: kaist.ac.kr
- Bernhard ReusUniversity of Sussex確認したメール アドレス: sussex.ac.uk
- Jean-Christophe FilliâtreCNRS確認したメール アドレス: lri.fr
- Alexandre MoineInria Paris確認したメール アドレス: inria.fr
- Roberto Di CosmoProfessor of Computer Science, University Paris Diderot確認したメール アドレス: dicosmo.org
- Mário PereiraAssistant Professor, NOVA School of Science and Technology確認したメール アドレス: fct.unl.pt
- Jean-Marie MadiotPrinceton University確認したメール アドレス: cs.princeton.edu