Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 2529 | 1942 |
indeks-h | 32 | 27 |
indeks-i10 | 56 | 54 |
Akses publik
Lihat semua57 artikel
0 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
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyEmail yang diverifikasi di informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgEmail yang diverifikasi di informatik.uni-freiburg.de
- Murat CubuktepeUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Christian DehnertRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityEmail yang diverifikasi di ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Steven CarrUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityEmail yang diverifikasi di science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonEmail yang diverifikasi di cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail yang diverifikasi di utwente.nl
- Federico OlmedoUniversity of ChileEmail yang diverifikasi di dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKEmail yang diverifikasi di cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichEmail yang diverifikasi di fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpEmail yang diverifikasi di uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Ikuti
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Email yang diverifikasi di rub.de - Beranda