Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 2535 | 1948 |
indice h | 32 | 27 |
indice i10 | 56 | 54 |
Accès public
Tout afficher57 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteAdresse e-mail validée de cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenAdresse e-mail validée de ru.nl
- Ufuk TopcuThe University of Texas at AustinAdresse e-mail validée de utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyAdresse e-mail validée de informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at AustinAdresse e-mail validée de utexas.edu
- Christian DehnertRWTH Aachen UniversityAdresse e-mail validée de cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityAdresse e-mail validée de ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
- Steven CarrUniversity of Texas at AustinAdresse e-mail validée de utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityAdresse e-mail validée de science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonAdresse e-mail validée de cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyAdresse e-mail validée de iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteAdresse e-mail validée de utwente.nl
- Federico OlmedoUniversity of ChileAdresse e-mail validée de dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKAdresse e-mail validée de cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichAdresse e-mail validée de fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpAdresse e-mail validée de uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
Suivre
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Adresse e-mail validée de rub.de - Page d'accueil