Skapa en profil
Offentlig åtkomst
Visa alla77 artiklar
11 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerifierad e-postadress på cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerifierad e-postadress på tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verifierad e-postadress på tue.nl
- Joachim KleinTU Dresden (formerly)Verifierad e-postadress på automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerifierad e-postadress på uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerifierad e-postadress på comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerifierad e-postadress på inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.nl
- Simon JantschTechnische Universität DresdenVerifierad e-postadress på tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
- Marjan SirjaniMälardalen UniversityVerifierad e-postadress på mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerifierad e-postadress på cs.uni-saarland.de
- Jan RuttenCWIVerifierad e-postadress på cwi.nl
- Sascha WunderlichTU DresdenVerifierad e-postadress på tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerifierad e-postadress på cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerifierad e-postadress på lsv.fr
- Thomas BrihayeUMONSVerifierad e-postadress på umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerifierad e-postadress på tu-dresden.de