建立我自己的個人學術檔案
公開取用
查看全部15 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Martin OderskyEPFL在 epfl.ch 的電子郵件地址已通過驗證
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale Supérieure在 ens.fr 的電子郵件地址已通過驗證
- Ricardo Honorato-ZimmerSchool of Informatics, University of Edinburgh在 sms.ed.ac.uk 的電子郵件地址已通過驗證
- Gerardo SchneiderProfessor of Computer Science, University of Gothenburg在 cse.gu.se 的電子郵件地址已通過驗證
- Nada AminHarvard University在 alum.mit.edu 的電子郵件地址已通過驗證
- Tiark RompfPurdue University在 purdue.edu 的電子郵件地址已通過驗證
- Tobias HeindelTU Berlin在 tu-berlin.de 的電子郵件地址已通過驗證
- Christoph KochProfessor of Computer Science, EPFL在 epfl.ch 的電子郵件地址已通過驗證
- Samuel GruetterMIT在 mit.edu 的電子郵件地址已通過驗證
- Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State University在 msu.edu 的電子郵件地址已通過驗證
- Cesar SanchezResearch Professor, IMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Amir ShaikhhaUniversity of Edinburgh在 ed.ac.uk 的電子郵件地址已通過驗證
- Aggelos BiboudisOracle在 oracle.com 的電子郵件地址已通過驗證
- Heather MillerCarnegie Mellon University在 cs.cmu.edu 的電子郵件地址已通過驗證
- Olivier BlanvillainEPFL在 epfl.ch 的電子郵件地址已通過驗證
- Vlad UrechePhD student, LAMP, EPFL在 epfl.ch 的電子郵件地址已通過驗證
- Russ HarmerCNRS, Lyon在 ens-lyon.fr 的電子郵件地址已通過驗證
- Riccardo ScandariatoHead of the Institute of Software Security, Hamburg University of Technology (TUHH)在 tuhh.de 的電子郵件地址已通過驗證
- Katja TumaAssistant Professor at the Vrije Universiteit Amsterdam在 vu.nl 的電子郵件地址已通過驗證
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.在 tudelft.nl 的電子郵件地址已通過驗證