Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 1029 | 693 |
indeks-h | 17 | 15 |
indeks-i10 | 24 | 21 |
Akses publik
Lihat semua34 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Josef WidderInformal SystemsEmail yang diverifikasi di informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienEmail yang diverifikasi di forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenEmail yang diverifikasi di in.tum.de
- Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusEmail yang diverifikasi di cispa.saarland
- Ayrat KhalimovTU ClausthalEmail yang diverifikasi di tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienEmail yang diverifikasi di forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
- Tomer KotekTU WienEmail yang diverifikasi di forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreEmail yang diverifikasi di inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleEmail yang diverifikasi di imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Email yang diverifikasi di lvk.cs.msu.su
Ikuti
Igor Konnov
Nama lainnyaIgor V. Konnov
Independent Security and Formal Methods Researcher
Email yang diverifikasi di konnov.phd - Beranda