建立我自己的個人學術檔案
公開取用
查看全部3 篇文章
1 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的電子郵件地址已通過驗證
- Rebecca N. WrightBarnard College在 barnard.edu 的電子郵件地址已通過驗證
- Vijay RamachandranAssociate Professor of Computer Science, Colgate University在 colgate.edu 的電子郵件地址已通過驗證
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University在 cmu.edu 的電子郵件地址已通過驗證
- Joan FeigenbaumGrace Murray Hopper Professor of Computer Science, Yale University在 yale.edu 的電子郵件地址已通過驗證
- Michael SchapiraProfessor of Computer Science, The Hebrew University of Jerusalem在 huji.ac.il 的電子郵件地址已通過驗證
- Paul SyversonMathematician, U.S. Naval Research Laboratory在 nrl.navy.mil 的電子郵件地址已通過驗證
- Michael BackesChairman and Founding Director of the CISPA Helmholtz Center for Information Security在 cispa.saarland 的電子郵件地址已通過驗證
- Aaron JohnsonU.S. Naval Research Laboratory在 nrl.navy.mil 的電子郵件地址已通過驗證
- Bruno BlanchetSenior researcher, INRIA, Paris在 inria.fr 的電子郵件地址已通過驗證
- Alex FabrikantStaff research scientist, Google Research在 google.com 的電子郵件地址已通過驗證
- Timothy G. GriffinSenior Lecturer, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory在 nrl.navy.mil 的電子郵件地址已通過驗證
- Michael MisloveTulane University在 tulane.edu 的電子郵件地址已通過驗證
- Roberto SegalaUniversità di Verona在 univr.it 的電子郵件地址已通過驗證