自分のプロフィールを作成
オープン アクセス
すべて表示21 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Xavier RivalDirecteur de Recherche, INRIA確認したメール アドレス: inria.fr
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University確認したメール アドレス: cims.nyu.edu
- Antoine MinéSorbonne Université, LIP6, APR確認したメール アドレス: lip6.fr
- Jérôme FeretChargé de recherche, Inria Paris確認したメール アドレス: inria.fr
- Bruno BlanchetSenior researcher, INRIA, Paris確認したメール アドレス: inria.fr
- Laure GonnordUniversity of Lyon - LIP確認したメール アドレス: ens-lyon.fr
- Sylvain BoulméUniversité Grenoble Alpes, Verimag確認したメール アドレス: imag.fr
- Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-Alpes確認したメール アドレス: univ-grenoble-alpes.fr
- claire maizaUniv. Grenoble Alpes, GrenobleINP / Verimag確認したメール アドレス: univ-grenoble-alpes.fr
- Julien HenryMathworks確認したメール アドレス: mathworks.com
- Matthieu MoyUniversité Claude Bernard Lyon 1, LIP確認したメール アドレス: univ-lyon1.fr
- Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics Campus確認したメール アドレス: cs.uni-saarland.de
- George KarpenkovVERIMAG確認したメール アドレス: metaworld.me
- Hang YUVerimag確認したメール アドレス: inf.ethz.ch
- Francesco AlbertiEolo SpA確認したメール アドレス: eolo.it
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles確認したメール アドレス: normalesup.org
- Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of Sussex確認したメール アドレス: diffblue.com
- Tim KingGoogle Inc確認したメール アドレス: google.com
- Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRS確認したメール アドレス: cs.utah.edu
- Nikolaj BjornerMicrosoft Research確認したメール アドレス: cs.stanford.edu