Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 2531 | 1944 |
h-index | 32 | 27 |
i10-indeks | 56 | 54 |
Offentlig adgang
Se alle57 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerificeret mail på cs.rwth-aachen.de
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerificeret mail på ru.nl
- Ufuk TopcuThe University of Texas at AustinVerificeret mail på utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerificeret mail på informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerificeret mail på informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at AustinVerificeret mail på utexas.edu
- Christian DehnertRWTH Aachen UniversityVerificeret mail på cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityVerificeret mail på ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerificeret mail på tue.nl
- Steven CarrUniversity of Texas at AustinVerificeret mail på utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityVerificeret mail på science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerificeret mail på cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyVerificeret mail på iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerificeret mail på utwente.nl
- Federico OlmedoUniversity of ChileVerificeret mail på dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerificeret mail på cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichVerificeret mail på fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpVerificeret mail på uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
Følg
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Verificeret mail på rub.de - Startside