Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 17513 | 5651 |
h-index | 55 | 25 |
i10-indeks | 124 | 65 |
Offentlig adgang
Se alle78 artikler
11 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerificeret mail på cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerificeret mail på tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verificeret mail på tue.nl
- Joachim KleinTU Dresden (formerly)Verificeret mail på automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerificeret mail på uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerificeret mail på comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerificeret mail på inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerificeret mail på liacs.nl
- Simon JantschTechnische Universität DresdenVerificeret mail på tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenVerificeret mail på tu-dresden.de
- Marjan SirjaniMälardalen UniversityVerificeret mail på mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerificeret mail på cs.uni-saarland.de
- Jan RuttenCWIVerificeret mail på cwi.nl
- Sascha WunderlichTU DresdenVerificeret mail på tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerificeret mail på cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verificeret mail på cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerificeret mail på lsv.fr
- Thomas BrihayeUMONSVerificeret mail på umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerificeret mail på tu-dresden.de