Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 17864 | 5966 |
Índice h | 55 | 27 |
Índice i10 | 126 | 69 |
Acesso público
Ver tudo79 artigos
10 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail confirmado em cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail confirmado em cs.uni-saarland.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenEmail confirmado em tcs.inf.tu-dresden.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Email confirmado em tue.nl
Joachim KleinTU Dresden (formerly)Email confirmado em automata.tools
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityEmail confirmado em uvt.nl
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail confirmado em comlab.ox.ac.uk
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAEmail confirmado em inria.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.nl
Simon JantschTechnische Universität DresdenEmail confirmado em tu-dresden.de
Steffen MärckerFaculty of Computer Science, TU DresdenEmail confirmado em tu-dresden.de
Marjan SirjaniMälardalen UniversityEmail confirmado em mdh.se
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail confirmado em cs.uni-saarland.de
Jan RuttenCWIEmail confirmado em cwi.nl
Sascha WunderlichTU DresdenEmail confirmado em tu-dresden.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail confirmado em cs.cmu.edu
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayEmail confirmado em lsv.fr
Thomas BrihayeUMONSEmail confirmado em umons.ac.be
Hermann HärtigProfessor Computer Science, Technische Universität DresdenEmail confirmado em tu-dresden.de