Založit si vlastní profil
Veřejný přístup
Zobrazit všechny37 článků
3 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIE-mailová adresa ověřena na: unina.it
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaE-mailová adresa ověřena na: diag.uniroma1.it
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCE-mailová adresa ověřena na: uestc.edu.cn
- Bastien MaubertUniversità degli Studi di Napoli Federico IIE-mailová adresa ověřena na: unina.it
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Ayrat KhalimovTU ClausthalE-mailová adresa ověřena na: tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusE-mailová adresa ověřena na: cispa.saarland
- Josef WidderInformal SystemsE-mailová adresa ověřena na: informal.systems
- Alessio R LomuscioImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Florian ZulegerAssociate Professor, TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceE-mailová adresa ověřena na: comp.nus.edu.sg
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Francesco BelardinelliImperial College LondonE-mailová adresa ověřena na: imperial.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherE-mailová adresa ověřena na: konnov.phd
- Moshe Y. VardiRice UniversityE-mailová adresa ověřena na: cs.rice.edu
- Vadim MalvoneTélécom ParisE-mailová adresa ověřena na: telecom-paris.fr
- Francesco SpegniUniversita` Politecnica delle MarcheE-mailová adresa ověřena na: univpm.it
- Antonio Di StasioSenior Research Associate, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Andre NiesUniversity of AucklandE-mailová adresa ověřena na: cs.auckland.ac.nz
- Giuseppe PerelliAssistant Professor at Sapienza University of RomeE-mailová adresa ověřena na: di.uniroma1.it