自分のプロフィールを作成
オープン アクセス
すべて表示10 件の論文
1 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Jérôme FeretChargé de recherche, Inria Paris確認したメール アドレス: inria.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAG確認したメール アドレス: univ-grenoble-alpes.fr
- Bruno BlanchetSenior researcher, INRIA, Paris確認したメール アドレス: inria.fr
- Liqian ChenAssociate Professor, National University of Defense Technology, China確認したメール アドレス: nudt.edu.cn
- Omer TrippAmazon確認したメール アドレス: google.com
- Marco PistoiaHead of Global Technology Applied Research, Head of Quantum Computing, JPMorgan Chase & Co.確認したメール アドレス: jpmchase.com
- Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft Research確認したメール アドレス: fahndrich.com
- Roberto GiacobazziProfessor of Computer Science, University of Arizona確認したメール アドレス: cs.arizona.edu
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.確認したメール アドレス: ulb.ac.be
- Pierre GantyAssociate Research Professor, IMDEA Software Institute確認したメール アドレス: imdea.org
- Olivier BouissouCEA LIST確認したメール アドレス: cea.fr
フォロー
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
確認したメール アドレス: cims.nyu.edu - ホームページ