Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 1604 | 767 |
h-індекс | 24 | 16 |
i10-індекс | 44 | 25 |
Доступні для всіх
Переглянути всі43 статті
1 стаття
доступні
недоступні
За умовами фінансування
Співавтори
- Igor KonnovIndependent Security and Formal Methods ResearcherПідтверджена електронна адреса в konnov.phd
- Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienПідтверджена електронна адреса в forsyte.tuwien.ac.at
- Marijana LazićPostdoc, TU MünchenПідтверджена електронна адреса в in.tum.de
- Roderick BloemGraz University of TechnologyПідтверджена електронна адреса в iaik.tugraz.at
- Ayrat KhalimovTU ClausthalПідтверджена електронна адреса в tu-clausthal.de
- Swen JacobsCISPA Helmholtz Center for Information Security, Saarland Informatics CampusПідтверджена електронна адреса в cispa.saarland
- Martin BielyGoogleПідтверджена електронна адреса в google.com
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityПідтверджена електронна адреса в cse.tamu.edu
- Matthias FüggerCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayПідтверджена електронна адреса в lmf.cnrs.fr
- Florian ZulegerAssociate Professor, TU WienПідтверджена електронна адреса в forsyte.tuwien.ac.at
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsПідтверджена електронна адреса в mpi-sws.org
- Andre SchiperProfessor, School of Communication and Computer Science, EPFLПідтверджена електронна адреса в epfl.ch
- Thomas HenzingerIST AustriaПідтверджена електронна адреса в ist.ac.at
- Emmanuelle AnceaumeResearcher at CNRS - UMR 6074Підтверджена електронна адреса в irisa.fr
- Srikanth SastryGoogle IncПідтверджена електронна адреса в csail.mit.edu
Підписатись