Crea il mio profilo
Accesso pubblico
Visualizza tutto34 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Josef WidderInformal SystemsEmail verificata su informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail verificata su forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenEmail verificata su in.tum.de
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusEmail verificata su cispa.saarland
- Ayrat KhalimovTU ClausthalEmail verificata su tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienEmail verificata su forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityEmail verificata su cs.aau.dk
- Tomer KotekTU WienEmail verificata su forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreEmail verificata su inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleEmail verificata su imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Email verificata su lvk.cs.msu.su
Segui
Igor Konnov
Altri nomiIgor V. Konnov
Independent Security and Formal Methods Researcher
Email verificata su konnov.phd - Home page