建立我自己的個人學術檔案
公開取用
查看全部16 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- John C MitchellProfessor of Computer Science, Stanford University在 Stanford.edu 的電子郵件地址已通過驗證
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory在 nrl.navy.mil 的電子郵件地址已通過驗證
- Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMU在 cmu.edu 的電子郵件地址已通過驗證
- Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter Institute在 quantinuum.com 的電子郵件地址已通過驗證
- Michael MisloveTulane University在 tulane.edu 的電子郵件地址已通過驗證
- James WorrellProfessor of Computer Science, Oxford University在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UK在 cs.bham.ac.uk 的電子郵件地址已通過驗證
- Jamie VicaryUniversity of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University在 cmu.edu 的電子郵件地址已通過驗證
- Paul SyversonMathematician, U.S. Naval Research Laboratory在 nrl.navy.mil 的電子郵件地址已通過驗證
- Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, Seattle在 uw.edu 的電子郵件地址已通過驗證
- Samson AbramskyProfessor of Computer Science, UCL在 ucl.ac.uk 的電子郵件地址已通過驗證
- Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University Nijmegen在 ru.nl 的電子郵件地址已通過驗證
- Trajce DimkovPhD Researcher, University of Twente在 utwente.nl 的電子郵件地址已通過驗證
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的電子郵件地址已通過驗證
- Sava KrsticResearch Scientist, Intel Corp.在 intel.com 的電子郵件地址已通過驗證
- John LaunchburyChief Scientist, Galois在 galois.com 的電子郵件地址已通過驗證
- Bertfried FauserKonstanz Germany