建立我自己的個人學術檔案
公開取用
查看全部35 篇文章
6 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- axel legayUCLouvain在 uclouvain.be 的電子郵件地址已通過驗證
- Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)在 laas.fr 的電子郵件地址已通過驗證
- Doron A. PeledProfessor Of Computer Science, Bar Ilan University在 cs.biu.ac.il 的電子郵件地址已通過驗證
- Stavros TripakisAssociate Professor, Northeastern University在 northeastern.edu 的電子郵件地址已通過驗證
- Ahmed BouajjaniProfessor Computer Science, Université Paris Cité在 irif.fr 的電子郵件地址已通過驗證
- Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的電子郵件地址已通過驗證
- Ashish TiwariComputer Scientist, SRI International; Researcher Microsoft在 csl.sri.com 的電子郵件地址已通過驗證
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的電子郵件地址已通過驗證
- Andreas GriesmayerImperial College London在 arm.com 的電子郵件地址已通過驗證
- Grigore RosuUniversity of Illinois at Urbana Champaign在 illinois.edu 的電子郵件地址已通過驗證
- Amedeo CestaCNR -- National Research Council of Italy, ISTC在 istc.cnr.it 的電子郵件地址已通過驗證
- Barbara JobstmannScientist at EPFL在 epfl.ch 的電子郵件地址已通過驗證
- Thomas HenzingerIST Austria在 ist.ac.at 的電子郵件地址已通過驗證
- matthew hennessyProfessor of Computer Science在 cs.tcd.ie 的電子郵件地址已通過驗證
- Moshe Y. VardiRice University在 cs.rice.edu 的電子郵件地址已通過驗證
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 inf.ed.ac.uk 的電子郵件地址已通過驗證