내 프로필 만들기
공개 액세스
모두 보기자료 37개
자료 3개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIunina.it의 이메일 확인됨
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di Romadiag.uniroma1.it의 이메일 확인됨
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCuestc.edu.cn의 이메일 확인됨
- Bastien MaubertUniversità degli Studi di Napoli Federico IIunina.it의 이메일 확인됨
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Ayrat KhalimovTU Clausthaltu-clausthal.de의 이메일 확인됨
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics Campuscispa.saarland의 이메일 확인됨
- Josef WidderInformal Systemsinformal.systems의 이메일 확인됨
- Alessio R LomuscioImperial College Londonimperial.ac.uk의 이메일 확인됨
- Florian ZulegerAssociate Professor, TU Wienforsyte.tuwien.ac.at의 이메일 확인됨
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer Sciencecomp.nus.edu.sg의 이메일 확인됨
- Roderick BloemGraz University of Technologyiaik.tugraz.at의 이메일 확인됨
- Francesco BelardinelliImperial College Londonimperial.ac.uk의 이메일 확인됨
- Igor KonnovIndependent Security and Formal Methods Researcherkonnov.phd의 이메일 확인됨
- Moshe Y. VardiRice Universitycs.rice.edu의 이메일 확인됨
- Vadim MalvoneTélécom Paristelecom-paris.fr의 이메일 확인됨
- Francesco SpegniUniversita` Politecnica delle Marcheunivpm.it의 이메일 확인됨
- Antonio Di StasioSenior Research Associate, University of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Andre NiesUniversity of Aucklandcs.auckland.ac.nz의 이메일 확인됨
- Giuseppe PerelliAssistant Professor at Sapienza University of Romedi.uniroma1.it의 이메일 확인됨