내 프로필 만들기
공개 액세스
모두 보기자료 43개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Marijana LazićPostdoc, TU Münchenin.tum.de의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Ayrat KhalimovTU Clausthaltu-clausthal.de의 이메일 확인됨
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campuscispa.saarland의 이메일 확인됨
- Martin BielyGooglegoogle.com의 이메일 확인됨
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M Universitycse.tamu.edu의 이메일 확인됨
- Matthias FüggerCNRS & LMF, ENS Paris-Saclay & Inrialsv.fr의 이메일 확인됨
- Florian ZulegerAssociate Professor, TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software Systemsmpi-sws.org의 이메일 확인됨
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLepfl.ch의 이메일 확인됨
- Thomas HenzingerIST Austriaist.ac.at의 이메일 확인됨
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074irisa.fr의 이메일 확인됨
- Srikanth SastryGoogle Inccsail.mit.edu의 이메일 확인됨