Создать свой профиль
Процитировано
Все | Начиная с 2019 г. | |
---|---|---|
Статистика цитирования | 17513 | 5651 |
h-индекс | 55 | 25 |
i10-индекс | 124 | 65 |
Общий доступ
Просмотреть все78 статей
11 статей
доступно
недоступно
На основе финансирования
Соавторы
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteПодтвержден адрес электронной почты в домене cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusПодтвержден адрес электронной почты в домене cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenПодтвержден адрес электронной почты в домене tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Подтвержден адрес электронной почты в домене tue.nl
- Joachim KleinTU Dresden (formerly)Подтвержден адрес электронной почты в домене automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityПодтвержден адрес электронной почты в домене uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordПодтвержден адрес электронной почты в домене comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAПодтвержден адрес электронной почты в домене inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityПодтвержден адрес электронной почты в домене liacs.nl
- Simon JantschTechnische Universität DresdenПодтвержден адрес электронной почты в домене tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenПодтвержден адрес электронной почты в домене tu-dresden.de
- Marjan SirjaniMälardalen UniversityПодтвержден адрес электронной почты в домене mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusПодтвержден адрес электронной почты в домене cs.uni-saarland.de
- Jan RuttenCWIПодтвержден адрес электронной почты в домене cwi.nl
- Sascha WunderlichTU DresdenПодтвержден адрес электронной почты в домене tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityПодтвержден адрес электронной почты в домене cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Подтвержден адрес электронной почты в домене cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayПодтвержден адрес электронной почты в домене lsv.fr
- Thomas BrihayeUMONSПодтвержден адрес электронной почты в домене umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenПодтвержден адрес электронной почты в домене tu-dresden.de
Подписаться
Christel Baier
Подтвержден адрес электронной почты в домене tu-dresden.de - Главная страница