Crea il mio profilo
Accesso pubblico
Visualizza tutto37 articoli
3 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIEmail verificata su unina.it
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaEmail verificata su diag.uniroma1.it
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCEmail verificata su uestc.edu.cn
- Bastien MaubertUniversità degli Studi di Napoli Federico IIEmail verificata su unina.it
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail verificata su forsyte.tuwien.ac.at
- Ayrat KhalimovTU ClausthalEmail verificata su tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusEmail verificata su cispa.saarland
- Josef WidderInformal SystemsEmail verificata su informal.systems
- Alessio R LomuscioImperial College LondonEmail verificata su imperial.ac.uk
- Florian ZulegerAssociate Professor, TU WienEmail verificata su forsyte.tuwien.ac.at
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceEmail verificata su comp.nus.edu.sg
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
- Francesco BelardinelliImperial College LondonEmail verificata su imperial.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherEmail verificata su konnov.phd
- Moshe Y. VardiRice UniversityEmail verificata su cs.rice.edu
- Vadim MalvoneTélécom ParisEmail verificata su telecom-paris.fr
- Francesco SpegniUniversita` Politecnica delle MarcheEmail verificata su univpm.it
- Antonio Di StasioSenior Research Associate, University of OxfordEmail verificata su cs.ox.ac.uk
- Andre NiesUniversity of AucklandEmail verificata su cs.auckland.ac.nz
- Giuseppe PerelliAssistant Professor at Sapienza University of RomeEmail verificata su di.uniroma1.it