Založit si vlastní profil
Veřejný přístup
Zobrazit všechny34 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Josef WidderInformal SystemsE-mailová adresa ověřena na: informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenE-mailová adresa ověřena na: in.tum.de
- Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusE-mailová adresa ověřena na: cispa.saarland
- Ayrat KhalimovTU ClausthalE-mailová adresa ověřena na: tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienE-mailová adresa ověřena na: forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityE-mailová adresa ověřena na: cs.aau.dk
- Tomer KotekTU WienE-mailová adresa ověřena na: forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreE-mailová adresa ověřena na: inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleE-mailová adresa ověřena na: imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)E-mailová adresa ověřena na: lvk.cs.msu.su
Sledovat
Igor Konnov
Další jménaIgor V. Konnov
Independent Security and Formal Methods Researcher
E-mailová adresa ověřena na: konnov.phd - Domovská stránka