내 프로필 만들기
공개 액세스
모두 보기자료 30개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Ayrat KhalimovTU Clausthaltu-clausthal.de의 이메일 확인됨
- Sasha RubinUniversity of Sydneysydney.edu.au의 이메일 확인됨
- Viorica Sofronie-StokkermansProfessor, University of Koblenzuni-koblenz.de의 이메일 확인됨
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Josef WidderInformal Systemsinformal.systems의 이메일 확인됨
- Leander TentrupSaarland University, Saarland Informatics Campuscs.uni-saarland.de의 이메일 확인됨
- Guillermo A. PérezAssociate Professor, University of Antwerpuantwerp.be의 이메일 확인됨
- Robert KönighoferGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg Universityuni.lu의 이메일 확인됨
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨
- Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Securitycispa.de의 이메일 확인됨
- Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.ulb.ac.be의 이메일 확인됨
- Ocan SankurCNRS, Université de Rennesirisa.fr의 이메일 확인됨
- Roopsha SamantaAssistant Professor, Purdue Universitypurdue.edu의 이메일 확인됨
- Adam WalkerNICTA/UNSWnicta.com.au의 이메일 확인됨
- Romain BrenguierUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue Universitypurdue.edu의 이메일 확인됨
- Viktor KunčakEPFLepfl.ch의 이메일 확인됨
- Christopher WagnerPurdue Universitypurdue.edu의 이메일 확인됨