建立我自己的個人學術檔案
公開取用
查看全部43 篇文章
3 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Somesh JhaLubar Chair of Computer Science, University of Wisconsin在 cs.wisc.edu 的電子郵件地址已通過驗證
- Orna GrumbergProfessor of Computer Science, Technion在 cs.technion.ac.il 的電子郵件地址已通過驗證
- Andreas HolzerUniversity of Toronto在 cs.toronto.edu 的電子郵件地址已通過驗證
- Christian SchallhartGoogle在 schallhart.net 的電子郵件地址已通過驗證
- Igor KonnovIndependent Security and Formal Methods Researcher在 konnov.phd 的電子郵件地址已通過驗證
- Johannes KinderProfessor of Computer Science, LMU Munich在 lmu.de 的電子郵件地址已通過驗證
- Roderick BloemGraz University of Technology在 iaik.tugraz.at 的電子郵件地址已通過驗證
- Thomas HenzingerIST Austria在 ist.ac.at 的電子郵件地址已通過驗證
- Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的電子郵件地址已通過驗證
- Georg GottlobProfessor of Informatics, University of Calabria在 unical.it 的電子郵件地址已通過驗證
- Tomer KotekTU Wien在 forsyte.at 的電子郵件地址已通過驗證
- Ayrat KhalimovTU Clausthal在 tu-clausthal.de 的電子郵件地址已通過驗證
- Nicola LeoneUniversity of Calabria, Professor of Computer Science在 unical.it 的電子郵件地址已通過驗證
- Mihai ChristodorescuGoogle在 christodorescu.org 的電子郵件地址已通過驗證
- Thomas EiterVienna University of Technology (TU Wien)在 kr.tuwien.ac.at 的電子郵件地址已通過驗證
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland在 usi.ch 的電子郵件地址已通過驗證
- Erich GrädelRWTH Aachen University在 logic.rwth-aachen.de 的電子郵件地址已通過驗證
- Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的電子郵件地址已通過驗證
- Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的電子郵件地址已通過驗證
- Andreas FröhlichJKU Linz在 jku.at 的電子郵件地址已通過驗證
追蹤
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
在 forsyte.tuwien.ac.at 的電子郵件地址已通過驗證 - 首頁