Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2839 | 2339 |
h-index | 28 | 25 |
i10-index | 49 | 47 |
Nyilvános hozzáférés
Összes megtekintése48 cikk
1 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mail megerősítve itt: cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail megerősítve itt: rub.de
- Tim QuatmannRWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
- Ufuk TopcuThe University of Texas at AustinE-mail megerősítve itt: utexas.edu
- Christian DehnertRWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyE-mail megerősítve itt: fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinE-mail megerősítve itt: utexas.edu
- Arnd HartmannsUniversity of TwenteE-mail megerősítve itt: utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyE-mail megerősítve itt: informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgE-mail megerősítve itt: informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail megerősítve itt: eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mail megerősítve itt: utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaE-mail megerősítve itt: iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyE-mail megerősítve itt: vutbr.cz
- Roderick BloemGraz University of TechnologyE-mail megerősítve itt: iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyE-mail megerősítve itt: unitn.it
- Gereon KremerCertora LtdE-mail megerősítve itt: cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
Követés
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
E-mail megerősítve itt: ru.nl - Kezdőlap