Eigenes Profil erstellen
Öffentlicher Zugriff
Alle anzeigen81 Artikel
10 Artikel
verfügbar
nicht verfügbar
Basierend auf Fördermandaten
Koautoren
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteBestätigte E-Mail-Adresse bei cs.rwth-aachen.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenBestätigte E-Mail-Adresse bei tcs.inf.tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusBestätigte E-Mail-Adresse bei cs.uni-saarland.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Bestätigte E-Mail-Adresse bei tue.nl
Joachim KleinTU Dresden (formerly)Bestätigte E-Mail-Adresse bei automata.tools
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityBestätigte E-Mail-Adresse bei uvt.nl
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordBestätigte E-Mail-Adresse bei comlab.ox.ac.uk
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISABestätigte E-Mail-Adresse bei inria.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityBestätigte E-Mail-Adresse bei liacs.nl
Simon JantschTechnische Universität DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
Steffen MärckerFaculty of Computer Science, TU DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
Marjan SirjaniMälardalen UniversityBestätigte E-Mail-Adresse bei mdh.se
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusBestätigte E-Mail-Adresse bei dfki.de
Jan RuttenCWIBestätigte E-Mail-Adresse bei cwi.nl
Sascha WunderlichTU DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityBestätigte E-Mail-Adresse bei cs.cmu.edu
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayBestätigte E-Mail-Adresse bei lsv.fr
Thomas BrihayeUMONSBestätigte E-Mail-Adresse bei umons.ac.be
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Bestätigte E-Mail-Adresse bei cwi.nl
Hermann HärtigProfessor Computer Science, Technische Universität DresdenBestätigte E-Mail-Adresse bei tu-dresden.de