Crea el meu perfil
Accés públic
Mostra-ho tot78 articles
11 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusCorreu electrònic verificat a cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenCorreu electrònic verificat a tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Correu electrònic verificat a tue.nl
- Joachim KleinTU Dresden (formerly)Correu electrònic verificat a automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityCorreu electrònic verificat a uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordCorreu electrònic verificat a comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISACorreu electrònic verificat a inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityCorreu electrònic verificat a liacs.nl
- Simon JantschTechnische Universität DresdenCorreu electrònic verificat a tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenCorreu electrònic verificat a tu-dresden.de
- Marjan SirjaniMälardalen UniversityCorreu electrònic verificat a mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusCorreu electrònic verificat a cs.uni-saarland.de
- Jan RuttenCWICorreu electrònic verificat a cwi.nl
- Sascha WunderlichTU DresdenCorreu electrònic verificat a tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Correu electrònic verificat a cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayCorreu electrònic verificat a lsv.fr
- Thomas BrihayeUMONSCorreu electrònic verificat a umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenCorreu electrònic verificat a tu-dresden.de