Crea el meu perfil
Accés públic
Mostra-ho tot34 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Josef WidderInformal SystemsCorreu electrònic verificat a informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenCorreu electrònic verificat a in.tum.de
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusCorreu electrònic verificat a cispa.saarland
- Ayrat KhalimovTU ClausthalCorreu electrònic verificat a tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienCorreu electrònic verificat a forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityCorreu electrònic verificat a cs.aau.dk
- Tomer KotekTU WienCorreu electrònic verificat a forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreCorreu electrònic verificat a inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleCorreu electrònic verificat a imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Correu electrònic verificat a lvk.cs.msu.su
Segueix
Igor Konnov
Altres nomsIgor V. Konnov
Independent Security and Formal Methods Researcher
Correu electrònic verificat a konnov.phd - Pàgina d'inici