Mijn eigen profiel maken
Openbare toegang
Alles bekijken78 artikelen
11 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusGeverifieerd e-mailadres voor cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenGeverifieerd e-mailadres voor tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Geverifieerd e-mailadres voor tue.nl
- Joachim KleinTU Dresden (formerly)Geverifieerd e-mailadres voor automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityGeverifieerd e-mailadres voor uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordGeverifieerd e-mailadres voor comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAGeverifieerd e-mailadres voor inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.nl
- Simon JantschTechnische Universität DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Marjan SirjaniMälardalen UniversityGeverifieerd e-mailadres voor mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusGeverifieerd e-mailadres voor cs.uni-saarland.de
- Jan RuttenCWIGeverifieerd e-mailadres voor cwi.nl
- Sascha WunderlichTU DresdenGeverifieerd e-mailadres voor tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayGeverifieerd e-mailadres voor lsv.fr
- Thomas BrihayeUMONSGeverifieerd e-mailadres voor umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenGeverifieerd e-mailadres voor tu-dresden.de