Gauti savo profilį
Cituota
Visi | Nuo 2019 | |
---|---|---|
Šaltiniai | 17505 | 5643 |
h-rodyklė | 55 | 25 |
i10-rodyklė | 124 | 65 |
Viešas pasiekiamumas
Peržiūrėti viską78 straipsniai
11 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePatvirtintas el. paštas cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPatvirtintas el. paštas cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenPatvirtintas el. paštas tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Patvirtintas el. paštas tue.nl
- Joachim KleinTU Dresden (formerly)Patvirtintas el. paštas automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityPatvirtintas el. paštas uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordPatvirtintas el. paštas comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAPatvirtintas el. paštas inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityPatvirtintas el. paštas liacs.nl
- Simon JantschTechnische Universität DresdenPatvirtintas el. paštas tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenPatvirtintas el. paštas tu-dresden.de
- Marjan SirjaniMälardalen UniversityPatvirtintas el. paštas mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusPatvirtintas el. paštas cs.uni-saarland.de
- Jan RuttenCWIPatvirtintas el. paštas cwi.nl
- Sascha WunderlichTU DresdenPatvirtintas el. paštas tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPatvirtintas el. paštas cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Patvirtintas el. paštas cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayPatvirtintas el. paštas lsv.fr
- Thomas BrihayeUMONSPatvirtintas el. paštas umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenPatvirtintas el. paštas tu-dresden.de