建立我自己的個人學術檔案
公開取用
查看全部18 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Mike RaineyCarnegie Mellon University在 mike-rainey.site 的電子郵件地址已通過驗證
- Umut A. AcarCarnegie Mellon University, Department of Computer Science在 cs.cmu.edu 的電子郵件地址已通過驗證
- François PottierInria Paris在 inria.fr 的電子郵件地址已通過驗證
- Alan SchmittInria, IRISA在 inria.fr 的電子郵件地址已通過驗證
- Martin BodinInria在 ens-lyon.org 的電子郵件地址已通過驗證
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes Formelles在 normalesup.org 的電子郵件地址已通過驗證
- Mário PereiraAssistant Professor, NOVA School of Science and Technology在 fct.unl.pt 的電子郵件地址已通過驗證
- Jean-Christophe FilliâtreCNRS在 lri.fr 的電子郵件地址已通過驗證
- Philippa GardnerProfessor of Theoretical Computer Science, Imperial College London在 imperial.ac.uk 的電子郵件地址已通過驗證
- Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College London在 doc.ic.ac.uk 的電子郵件地址已通過驗證
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen在 cs.ru.nl 的電子郵件地址已通過驗證
- Amin TimanyAarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Joseph TassarottiAssistant Professor, New York University在 nyu.edu 的電子郵件地址已通過驗證
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Ralf JungAssistant Professor, ETH Zürich在 inf.ethz.ch 的電子郵件地址已通過驗證
- Filip SieczkowskiHeriot-Watt University在 hw.ac.uk 的電子郵件地址已通過驗證
- Alexandre MoineInria Paris在 inria.fr 的電子郵件地址已通過驗證
- Samuel GruetterMIT在 mit.edu 的電子郵件地址已通過驗證