Get my own profile
Public access
View all56 articles
11 articles
available
not available
Based on funding mandates
Co-authors
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerified email at tcs.inf.tu-dresden.de
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Clemens DubslaffTU DresdenVerified email at tu-dresden.de
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Jan RuttenCWIVerified email at cwi.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Thomas BrihayeUMONSVerified email at umons.ac.be
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerified email at tu-dresden.de
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Christel Baier
Verified email at tu-dresden.de - Homepage