Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 17535 | 5671 |
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