내 프로필 만들기
공개 액세스
모두 보기자료 43개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Somesh JhaLubar Chair of Computer Science, University of Wisconsincs.wisc.edu의 이메일 확인됨
- Orna GrumbergProfessor of Computer Science, Technioncs.technion.ac.il의 이메일 확인됨
- Andreas HolzerUniversity of Torontocs.toronto.edu의 이메일 확인됨
- Christian SchallhartGoogleschallhart.net의 이메일 확인됨
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨
- Johannes KinderProfessor of Computer Science, LMU Munichlmu.de의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Thomas HenzingerIST Austriaist.ac.at의 이메일 확인됨
- Michael TautschnigQueen Mary University of Londonqmul.ac.uk의 이메일 확인됨
- Georg GottlobProfessor of Informatics, University of Calabriaunical.it의 이메일 확인됨
- Tomer KotekTU Wienforsyte.at의 이메일 확인됨
- Ayrat KhalimovTU Clausthaltu-clausthal.de의 이메일 확인됨
- Nicola LeoneUniversity of Calabria, Professor of Computer Scienceunical.it의 이메일 확인됨
- Mihai ChristodorescuGooglechristodorescu.org의 이메일 확인됨
- Thomas EiterVienna University of Technology (TU Wien)kr.tuwien.ac.at의 이메일 확인됨
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerlandusi.ch의 이메일 확인됨
- Erich GrädelRWTH Aachen Universitylogic.rwth-aachen.de의 이메일 확인됨
- Alex GroceAssociate Professor of Computer Science, Northern Arizona Universitynau.edu의 이메일 확인됨
- Armin BiereProfessor of Computer Science, University of Freiburginformatik.uni-freiburg.de의 이메일 확인됨
- Andreas FröhlichJKU Linzjku.at의 이메일 확인됨
팔로우
Helmut Veith
Professor of Computer Science, Vienna University of Technology / TU Wien
forsyte.tuwien.ac.at의 이메일 확인됨 - 홈페이지