Skapa en profil
Offentlig åtkomst
Visa alla34 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Josef WidderInformal SystemsVerifierad e-postadress på informal.systems
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenVerifierad e-postadress på in.tum.de
- Roderick BloemGraz University of TechnologyVerifierad e-postadress på iaik.tugraz.at
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusVerifierad e-postadress på cispa.saarland
- Ayrat KhalimovTU ClausthalVerifierad e-postadress på tu-clausthal.de
- Florian ZulegerAssociate Professor, TU WienVerifierad e-postadress på forsyte.tuwien.ac.at
- Peter Bulychevpostdoc at Aalborg UniversityVerifierad e-postadress på cs.aau.dk
- Tomer KotekTU WienVerifierad e-postadress på forsyte.at
- Simon BliudzeComputer Science researcher, University of Lille Inria Research CentreVerifierad e-postadress på inria.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerifierad e-postadress på imag.fr
- VASILY PASHKOV (Пашков Василий,...Moscow State University (МГУ имени М.В. Ломоносова)Verifierad e-postadress på lvk.cs.msu.su
Följ
Igor Konnov
Andra namnIgor V. Konnov
Independent Security and Formal Methods Researcher
Verifierad e-postadress på konnov.phd - Startsida