建立我自己的個人學術檔案
公開取用
查看全部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 的電子郵件地址已通過驗證