Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1025 | 689 |
indice h | 17 | 15 |
indice i10 | 24 | 21 |
Accès public
Tout afficher34 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Josef WidderInformal SystemsAdresse e-mail validée de informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienAdresse e-mail validée de forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenAdresse e-mail validée de in.tum.de
- Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusAdresse e-mail validée de cispa.saarland
- Ayrat KhalimovTU ClausthalAdresse e-mail validée de tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienAdresse e-mail validée de forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityAdresse e-mail validée de cs.aau.dk
- Tomer KotekTU WienAdresse e-mail validée de forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreAdresse e-mail validée de inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleAdresse e-mail validée de imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Adresse e-mail validée de lvk.cs.msu.su
Suivre
Igor Konnov
Autres nomsIgor V. Konnov
Independent Security and Formal Methods Researcher
Adresse e-mail validée de konnov.phd - Page d'accueil