Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 17493 | 5631 |
indeks-h | 55 | 25 |
indeks-i10 | 124 | 65 |
Akses publik
Lihat semua78 artikel
11 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail yang diverifikasi di cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail yang diverifikasi di cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenEmail yang diverifikasi di tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Email yang diverifikasi di tue.nl
- Joachim KleinTU Dresden (formerly)Email yang diverifikasi di automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityEmail yang diverifikasi di uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail yang diverifikasi di comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAEmail yang diverifikasi di inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityEmail yang diverifikasi di liacs.nl
- Simon JantschTechnische Universität DresdenEmail yang diverifikasi di tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenEmail yang diverifikasi di tu-dresden.de
- Marjan SirjaniMälardalen UniversityEmail yang diverifikasi di mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail yang diverifikasi di cs.uni-saarland.de
- Jan RuttenCWIEmail yang diverifikasi di cwi.nl
- Sascha WunderlichTU DresdenEmail yang diverifikasi di tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email yang diverifikasi di cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayEmail yang diverifikasi di lsv.fr
- Thomas BrihayeUMONSEmail yang diverifikasi di umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenEmail yang diverifikasi di tu-dresden.de