Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 18608 | 5632 |
indice h | 56 | 25 |
indice i10 | 132 | 67 |
Accès public
Tout afficher81 articles
10 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresse e-mail validée de cs.rwth-aachen.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenAdresse e-mail validée de tcs.inf.tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Adresse e-mail validée de tue.nl
Joachim KleinTU Dresden (formerly)Adresse e-mail validée de automata.tools
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityAdresse e-mail validée de uvt.nl
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordAdresse e-mail validée de comlab.ox.ac.uk
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAAdresse e-mail validée de inria.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.nl
Simon JantschTechnische Universität DresdenAdresse e-mail validée de tu-dresden.de
Steffen MärckerFaculty of Computer Science, TU DresdenAdresse e-mail validée de tu-dresden.de
Marjan SirjaniMälardalen UniversityAdresse e-mail validée de mdh.se
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresse e-mail validée de dfki.de
Jan RuttenCWIAdresse e-mail validée de cwi.nl
Sascha WunderlichTU DresdenAdresse e-mail validée de tu-dresden.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresse e-mail validée de cs.cmu.edu
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayAdresse e-mail validée de lsv.fr
Thomas BrihayeUMONSAdresse e-mail validée de umons.ac.be
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresse e-mail validée de cwi.nl
Hermann HärtigProfessor Computer Science, Technische Universität DresdenAdresse e-mail validée de tu-dresden.de