创建我的个人资料
开放获取的出版物数量
查看全部15 篇文章
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