创建我的个人资料
开放获取的出版物数量
查看全部14 篇文章
2 篇文章
可查看的文章
无法查看的文章
根据资助方的强制性开放获取政策
合著作者
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
- Gerard HolzmannNimble Research在 nimbleresearch.com 的电子邮件经过验证
- Moshe Y. VardiRice University在 cs.rice.edu 的电子邮件经过验证
- Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
- Anca MuschollLaBRI, Univ. of Bordeaux在 labri.fr 的电子邮件经过验证
- Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
- Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - Champaign在 illinois.edu 的电子邮件经过验证
- Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia University在 cs.columbia.edu 的电子邮件经过验证
- Marius MineaAssociate Professor, Politehnica University of Timisoara在 cs.upt.ro 的电子邮件经过验证
- Pierre WolperProfessor of Computer Science, Université de Liège, Belgium在 ulg.ac.be 的电子邮件经过验证
- Shmuel KatzComputer Science在 cs.technion.ac.il 的电子邮件经过验证
- Orna GrumbergProfessor of Computer Science, Technion在 cs.technion.ac.il 的电子邮件经过验证
- Husnu YenigunProfessor of Computer Science, Sabanci University在 sabanciuniv.edu 的电子邮件经过验证
- Sven ScheweProfessor of Computer Science, University of Liverpool在 liverpool.ac.uk 的电子邮件经过验证
- Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)在 ipipan.waw.pl 的电子邮件经过验证
- Hongyang QuResearch Fellow, University of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
- Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel University在 ti.informatik.uni-kiel.de 的电子邮件经过验证
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的电子邮件经过验证
- Edith ElkindUniversity of Oxford在 cs.ox.ac.uk 的电子邮件经过验证
- Kousha EtessamiUniversity of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证