Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 17376 | 5516 |
h-индекс | 55 | 25 |
i10-индекс | 123 | 63 |
Публичен достъп
Преглед на всички77 статии
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