Buat profil saya
Dikutip oleh
| Semua | Sejak 2020 | |
|---|---|---|
| Kutipan | 3183 | 2305 |
| indeks-h | 36 | 29 |
| indeks-i10 | 63 | 61 |
Akses publik
Lihat semua60 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail yang diverifikasi di cs.rwth-aachen.de- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail yang diverifikasi di ru.nl
- Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyEmail yang diverifikasi di informatik.uni-freiburg.de
- Thom BadingsPostdoctoral researcher, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Christian DehnertRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Marnix SuilenPostdoctoral Researcher, University of AntwerpEmail yang diverifikasi di uantwerpen.be
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail yang diverifikasi di utwente.nl
- Steven CarrUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonEmail yang diverifikasi di cs.uni-saarland.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
- Federico OlmedoUniversity of ChileEmail yang diverifikasi di dcc.uchile.cl
- Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyEmail yang diverifikasi di uky.edu
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Guillermo A. PérezAssociate Professor, University of AntwerpEmail yang diverifikasi di uantwerp.be
Ikuti
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Email yang diverifikasi di rub.de - Beranda