Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 17458 | 5599 |
h-indeks | 55 | 25 |
i10-indeks | 124 | 65 |
Dostęp publiczny
Wyświetl wszystko77 artykułów
11 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteZweryfikowany adres z cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenZweryfikowany adres z tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Zweryfikowany adres z tue.nl
- Joachim KleinTU Dresden (formerly)Zweryfikowany adres z automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityZweryfikowany adres z uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordZweryfikowany adres z comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAZweryfikowany adres z inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityZweryfikowany adres z liacs.nl
- Simon JantschTechnische Universität DresdenZweryfikowany adres z tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenZweryfikowany adres z tu-dresden.de
- Marjan SirjaniMälardalen UniversityZweryfikowany adres z mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
- Jan RuttenCWIZweryfikowany adres z cwi.nl
- Sascha WunderlichTU DresdenZweryfikowany adres z tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Zweryfikowany adres z cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayZweryfikowany adres z lsv.fr
- Thomas BrihayeUMONSZweryfikowany adres z umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenZweryfikowany adres z tu-dresden.de