Get my own profile
Public access
View all33 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Christel BaierTU DresdenVerified email at tu-dresden.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
Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
Anni-Yasmin TurhanPaderborn UniversityVerified email at uni-paderborn.de
Patrick KoopmannVrije Universiteit AmsterdamVerified email at vu.nl
Simon JantschTechnische Universität DresdenVerified email at tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Kallistos WeisSaarland UniversityVerified email at cs.uni-saarland.de
Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenVerified email at tu-dresden.de
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Andrey MorozovUniversity of StuttgartVerified email at ias.uni-stuttgart.de
Klaus JanschekTU DresdenVerified email at tu-dresden.de
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Ľuboš KorenčiakFaculty of Informatics, Masaryk University, BrnoVerified email at fi.muni.cz
A FehnkerMacquarie UniversityVerified email at mq.edu.au
Maximilian A. KöhlSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Nikolai KäferTU DresdenVerified email at tu-dresden.de
Follow![Clemens Dubslaff](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=T6Y70LMAAAAJ&citpid=7)
Clemens Dubslaff
Eindhoven University of Technology | CeTI (TU Dresden)
Verified email at tue.nl - Homepage