Crea el meu perfil
Accés públic
Mostra-ho tot37 articles
3 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IICorreu electrònic verificat a unina.it
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaCorreu electrònic verificat a diag.uniroma1.it
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCCorreu electrònic verificat a uestc.edu.cn
- Bastien MaubertUniversità degli Studi di Napoli Federico IICorreu electrònic verificat a unina.it
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Ayrat KhalimovTU ClausthalCorreu electrònic verificat a tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusCorreu electrònic verificat a cispa.saarland
- Josef WidderInformal SystemsCorreu electrònic verificat a informal.systems
- Alessio R LomuscioImperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Florian ZulegerAssociate Professor, TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceCorreu electrònic verificat a comp.nus.edu.sg
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Francesco BelardinelliImperial College LondonCorreu electrònic verificat a imperial.ac.uk
- Igor KonnovIndependent Security and Formal Methods ResearcherCorreu electrònic verificat a konnov.phd
- Moshe Y. VardiRice UniversityCorreu electrònic verificat a cs.rice.edu
- Vadim MalvoneTélécom ParisCorreu electrònic verificat a telecom-paris.fr
- Francesco SpegniUniversita` Politecnica delle MarcheCorreu electrònic verificat a univpm.it
- Antonio Di StasioSenior Research Associate, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Andre NiesUniversity of AucklandCorreu electrònic verificat a cs.auckland.ac.nz
- Giuseppe PerelliAssistant Professor at Sapienza University of RomeCorreu electrònic verificat a di.uniroma1.it