Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 2811 | 2311 |
indeks-h | 28 | 25 |
indeks-i10 | 49 | 47 |
Akses publik
Lihat semua48 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
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail yang diverifikasi di rub.de
- Tim QuatmannRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
- Christian DehnertRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyEmail yang diverifikasi di fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Arnd HartmannsUniversity of TwenteEmail yang diverifikasi di utwente.nl
- 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
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail yang diverifikasi di eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail yang diverifikasi di utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaEmail yang diverifikasi di iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyEmail yang diverifikasi di vutbr.cz
- Roderick BloemGraz University of TechnologyEmail yang diverifikasi di iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyEmail yang diverifikasi di unitn.it
- Gereon KremerCertora LtdEmail yang diverifikasi di cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
Ikuti
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Email yang diverifikasi di ru.nl - Beranda