Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 1023 | 687 |
h-index | 17 | 15 |
i10-index | 24 | 21 |
Nyilvános hozzáférés
Összes megtekintése34 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Josef WidderInformal SystemsE-mail megerősítve itt: informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenE-mail megerősítve itt: in.tum.de
- Roderick BloemGraz University of TechnologyE-mail megerősítve itt: iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusE-mail megerősítve itt: cispa.saarland
- Ayrat KhalimovTU ClausthalE-mail megerősítve itt: tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienE-mail megerősítve itt: forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityE-mail megerősítve itt: cs.aau.dk
- Tomer KotekTU WienE-mail megerősítve itt: forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreE-mail megerősítve itt: inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleE-mail megerősítve itt: imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)E-mail megerősítve itt: lvk.cs.msu.su
Követés
Igor Konnov
További nevekIgor V. Konnov
Independent Security and Formal Methods Researcher
E-mail megerősítve itt: konnov.phd - Kezdőlap