Iegūt savu profilu
Citēts
Visi | Kopš 2019. gada | |
---|---|---|
Atsauces | 17572 | 5706 |
h rādītājs | 55 | 25 |
i10 rādītājs | 124 | 65 |
Publiskā piekļuvē
Skatīt visu78 raksti
11 raksti
pieejami
nav pieejami
Pamatojoties uz finansējuma mandātiem
Līdzautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificēta e-pasta adrese: cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerificēta e-pasta adrese: cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerificēta e-pasta adrese: tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verificēta e-pasta adrese: tue.nl
- Joachim KleinTU Dresden (formerly)Verificēta e-pasta adrese: automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerificēta e-pasta adrese: uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerificēta e-pasta adrese: comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerificēta e-pasta adrese: inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerificēta e-pasta adrese: liacs.nl
- Simon JantschTechnische Universität DresdenVerificēta e-pasta adrese: tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenVerificēta e-pasta adrese: tu-dresden.de
- Marjan SirjaniMälardalen UniversityVerificēta e-pasta adrese: mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerificēta e-pasta adrese: cs.uni-saarland.de
- Jan RuttenCWIVerificēta e-pasta adrese: cwi.nl
- Sascha WunderlichTU DresdenVerificēta e-pasta adrese: tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerificēta e-pasta adrese: cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verificēta e-pasta adrese: cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerificēta e-pasta adrese: lsv.fr
- Thomas BrihayeUMONSVerificēta e-pasta adrese: umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerificēta e-pasta adrese: tu-dresden.de