建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證 - 首頁