Buat profil saya
Akses publik
Lihat semua5 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail yang diverifikasi di rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Murat CubuktepeUniversity of Texas at AustinEmail yang diverifikasi di utexas.edu
- Ufuk TopcuThe University of Texas at AustinEmail yang diverifikasi di utexas.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail yang diverifikasi di ru.nl
- David ParkerProfessor of Computer Science, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyEmail yang diverifikasi di tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityEmail yang diverifikasi di ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenEmail yang diverifikasi di tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Email yang diverifikasi di tue.nl
- Christel BaierTU DresdenEmail yang diverifikasi di tu-dresden.de
- Arnd HartmannsUniversity of TwenteEmail yang diverifikasi di utwente.nl
Ikuti