创建我的个人资料
开放获取的出版物数量
查看全部8 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的电子邮件经过验证
- Vincent ChevalUniversity of Oxford, United Kingdom在 cs.ox.ac.uk 的电子邮件经过验证
- Cédric FournetMicrosoft Research在 microsoft.com 的电子邮件经过验证
- Karthikeyan BhargavanINRIA在 inria.fr 的电子邮件经过验证
- David MonniauxResearcher in computer science, CNRS, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
- Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University在 cims.nyu.edu 的电子邮件经过验证
- Xavier RivalDirecteur de Recherche, INRIA在 inria.fr 的电子邮件经过验证
- Antoine MinéSorbonne Université, LIP6, APR在 lip6.fr 的电子邮件经过验证
- Jérôme FeretChargé de recherche, Inria Paris在 inria.fr 的电子邮件经过验证
- David PointchevalSenior CNRS Researcher in Computer Science, Ecole Normale Superieure/PSL University, Inria在 ens.fr 的电子邮件经过验证
- Hubert Comon-LundhComputer Science professor, ENS Cachan在 lsv.ens-cachan.fr 的电子邮件经过验证
- Andreas PodelskiProfessor of Computer Science, Freiburg University在 informatik.uni-freiburg.de 的电子邮件经过验证
- Cas CremersCISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
- Aaron D. JaggardU.S. Naval Research Laboratory在 dimacs.rutgers.edu 的电子邮件经过验证
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的电子邮件经过验证
- Benjamin LippPost-doctoral researcher, MPI-SP在 mpi-sp.org 的电子邮件经过验证
- Manuel BarbosaUniversidade do Porto (FCUP) and INESC TEC在 fc.up.pt 的电子邮件经过验证
- Bryan ParnoCarnegie Mellon University在 cmu.edu 的电子邮件经过验证
- Kevin LiaoMassachusetts Institute of Technology (MIT)在 mit.edu 的电子邮件经过验证
- Gilles BartheMPI-SP and IMDEA Software Institute在 mpi-sp.org 的电子邮件经过验证