创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证 - 首页