Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 17480 | 5619 |
indeks h | 55 | 25 |
indeks i10 | 124 | 65 |
Javni dostop
Prikaži vse77 člankov
11 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenPreverjeni e-poštni naslov na tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Preverjeni e-poštni naslov na tue.nl
- Joachim KleinTU Dresden (formerly)Preverjeni e-poštni naslov na automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityPreverjeni e-poštni naslov na uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordPreverjeni e-poštni naslov na comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAPreverjeni e-poštni naslov na inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityPreverjeni e-poštni naslov na liacs.nl
- Simon JantschTechnische Universität DresdenPreverjeni e-poštni naslov na tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenPreverjeni e-poštni naslov na tu-dresden.de
- Marjan SirjaniMälardalen UniversityPreverjeni e-poštni naslov na mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
- Jan RuttenCWIPreverjeni e-poštni naslov na cwi.nl
- Sascha WunderlichTU DresdenPreverjeni e-poštni naslov na tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Preverjeni e-poštni naslov na cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayPreverjeni e-poštni naslov na lsv.fr
- Thomas BrihayeUMONSPreverjeni e-poštni naslov na umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenPreverjeni e-poštni naslov na tu-dresden.de