创建我的个人资料
开放获取的出版物数量
查看全部11 篇文章
0 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt在 mathematik.tu-darmstadt.de 的电子邮件经过验证
- Dana ScottVisiting Scholar, UC Berkeley在 cs.cmu.edu 的电子邮件经过验证
- James WorrellProfessor of Computer Science, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
- dusko pavlovicProfessor at University of Hawaii在 hawaii.edu 的电子邮件经过验证
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy在 indiana.edu 的电子邮件经过验证
- Paul GastinProfessor, LMF, ENS Paris-Saclay在 lmf.cnrs.fr 的电子邮件经过验证
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surrey在 surrey.ac.uk 的电子邮件经过验证
- Samson AbramskyProfessor of Computer Science, UCL在 ucl.ac.uk 的电子邮件经过验证
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)在 uottawa.ca 的电子邮件经过验证
- Michael HuthProfessor of Computer Science, Computing, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
- Roberto SegalaUniversità di Verona在 univr.it 的电子邮件经过验证
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
- Aaron D. JaggardU.S. Naval Research Laboratory在 dimacs.rutgers.edu 的电子邮件经过验证
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate Center在 gc.cuny.edu 的电子邮件经过验证