Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 17487 | 5625 |
h-index | 55 | 25 |
i10-index | 124 | 65 |
Nyilvános hozzáférés
Összes megtekintése78 cikk
11 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mail megerősítve itt: cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail megerősítve itt: cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenE-mail megerősítve itt: tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)E-mail megerősítve itt: tue.nl
- Joachim KleinTU Dresden (formerly)E-mail megerősítve itt: automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityE-mail megerősítve itt: uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mail megerősítve itt: comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAE-mail megerősítve itt: inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityE-mail megerősítve itt: liacs.nl
- Simon JantschTechnische Universität DresdenE-mail megerősítve itt: tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenE-mail megerősítve itt: tu-dresden.de
- Marjan SirjaniMälardalen UniversityE-mail megerősítve itt: mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mail megerősítve itt: cs.uni-saarland.de
- Jan RuttenCWIE-mail megerősítve itt: cwi.nl
- Sascha WunderlichTU DresdenE-mail megerősítve itt: tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.E-mail megerősítve itt: cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayE-mail megerősítve itt: lsv.fr
- Thomas BrihayeUMONSE-mail megerősítve itt: umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenE-mail megerősítve itt: tu-dresden.de