Создать свой профиль
Процитировано
Все | Начиная с 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 & InriaПодтвержден адрес электронной почты в домене lsv.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
Подписаться
Josef Widder
Informal Systems
Подтвержден адрес электронной почты в домене informal.systems - Главная страница