Get my own profile
Public access
View all40 articles
3 articles
available
not available
Based on funding mandates
Co-authors
- Aniello MuranoFull Professor in Computer Science, Università degli Studi di Napoli Federico IIVerified email at unina.it
- Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCVerified email at uestc.edu.cn
- Bastien MaubertUniversità degli Studi di Napoli Federico IIVerified email at unina.it
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
- Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerified email at cispa.saarland
- Florian ZulegerAssociate Professor, TU WienVerified email at forsyte.tuwien.ac.at
- Josef WidderInformal SystemsVerified email at informal.systems
- Alessio R LomuscioImperial College LondonVerified email at imperial.ac.uk
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
- Francesco BelardinelliImperial College LondonVerified email at imperial.ac.uk
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Igor KonnovIndependent Security and Formal Methods ResearcherVerified email at konnov.phd
- Vadim MalvoneTélécom ParisVerified email at telecom-paris.fr
- Antonio Di StasioLecturer (Assistant Professor) in Computer ScienceVerified email at city.ac.uk
- Francesco SpegniUniversita` Politecnica delle MarcheVerified email at univpm.it
- Giuseppe PerelliAssociate Professor at Sapienza University of RomeVerified email at di.uniroma1.it
- Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz