Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 17498 | 5636 |
h-index | 55 | 25 |
i10-index | 124 | 65 |
Acces public
Afișați-le pe toate78 de articole
11 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresă de e-mail confirmată pe cs.rwth-aachen.de
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
- Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenAdresă de e-mail confirmată pe tcs.inf.tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Adresă de e-mail confirmată pe tue.nl
- Joachim KleinTU Dresden (formerly)Adresă de e-mail confirmată pe automata.tools
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityAdresă de e-mail confirmată pe uvt.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordAdresă de e-mail confirmată pe comlab.ox.ac.uk
- Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAAdresă de e-mail confirmată pe inria.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityAdresă de e-mail confirmată pe liacs.nl
- Simon JantschTechnische Universität DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Steffen MärckerFaculty of Computer Science, TU DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Marjan SirjaniMälardalen UniversityAdresă de e-mail confirmată pe mdh.se
- Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresă de e-mail confirmată pe cs.uni-saarland.de
- Jan RuttenCWIAdresă de e-mail confirmată pe cwi.nl
- Sascha WunderlichTU DresdenAdresă de e-mail confirmată pe tu-dresden.de
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityAdresă de e-mail confirmată pe cs.cmu.edu
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Adresă de e-mail confirmată pe cwi.nl
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayAdresă de e-mail confirmată pe lsv.fr
- Thomas BrihayeUMONSAdresă de e-mail confirmată pe umons.ac.be
- Hermann HärtigProfessor Computer Science, Technische Universität DresdenAdresă de e-mail confirmată pe tu-dresden.de