自分のプロフィールを作成
オープン アクセス
すべて表示1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Xavier LeroyCollège de France確認したメール アドレス: college-de-france.fr
- Jérôme VouillonCNRS, Université Paris Diderot確認したメール アドレス: pps.univ-paris-diderot.fr
- Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya University確認したメール アドレス: math.nagoya-u.ac.jp
- Didier RémyINRIA確認したメール アドレス: inria.fr
- Stephan MerzSenior Researcher, INRIA確認したメール アドレス: inria.fr
- Kaustuv ChaudhuriINRIA確認したメール アドレス: chaudhuri.info
- Olivier HermantCRI, MINES ParisTech確認したメール アドレス: inria.fr
- Pierre HalmagrandTotalEnergies Gas & Power Limited確認したメール アドレス: tgptrading.com
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Gilles MullerSenior Research Scientist, INRIA確認したメール アドレス: inria.fr
- Daniel RickettsPhD Student, University of California, San Diego確認したメール アドレス: cs.ucsd.edu
- Rene Rydhof HansenAalborg University確認したメール アドレス: cs.aau.dk
- Julien BrunelONERA確認したメール アドレス: onera.fr
- Julia L. Lawall確認したメール アドレス: diku.edu
- Tomer LibalUniversity of Luxembourg確認したメール アドレス: uni.lu
- Blandine DoligezCNRS - Université Lyon 1確認したメール アドレス: univ-lyon1.fr
- Heinz RichnerProfessor emeritus of Biology, University of Bern, Switzerland確認したメール アドレス: iee.unibe.ch
- Charles MorissetReader in Security, Newcastle University確認したメール アドレス: ncl.ac.uk
- Guillaume BuryR&D Engineer, OCamlPro確認したメール アドレス: ocamlpro.com
- Manuel MaarekHeriot-Watt University確認したメール アドレス: hw.ac.uk