Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 2531 | 1944 |
h-index | 32 | 27 |
i10-index | 56 | 54 |
Nyilvános hozzáférés
Összes megtekintése57 cikk
0 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
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mail megerősítve itt: ru.nl
- Ufuk TopcuThe University of Texas at AustinE-mail megerősítve itt: utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- 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
- Murat CubuktepeUniversity of Texas at AustinE-mail megerősítve itt: utexas.edu
- Christian DehnertRWTH Aachen UniversityE-mail megerősítve itt: cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityE-mail megerősítve itt: ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
- Steven CarrUniversity of Texas at AustinE-mail megerősítve itt: utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityE-mail megerősítve itt: science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonE-mail megerősítve itt: cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyE-mail megerősítve itt: iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mail megerősítve itt: utwente.nl
- Federico OlmedoUniversity of ChileE-mail megerősítve itt: dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail megerősítve itt: cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichE-mail megerősítve itt: fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpE-mail megerősítve itt: uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
Követés
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
E-mail megerősítve itt: rub.de - Kezdőlap