Get my own profile
Public access
View all81 articles
10 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
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verified email at tue.nl
- Joachim KleinTU Dresden (formerly)Verified email at automata.tools
- Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
- 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
- Simon JantschTechnische Universität DresdenVerified email at tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
- Marjan SirjaniMälardalen UniversityVerified email at mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at dfki.de
- Jan RuttenCWIVerified email at cwi.nl
- Sascha WunderlichTU DresdenVerified email at tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
- Thomas BrihayeUMONSVerified email at umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerified email at tu-dresden.de