Obtenir mon propre profil
Accès public
Tout afficher5 articles
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumAdresse e-mail validée de rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
- Murat CubuktepeUniversity of Texas at AustinAdresse e-mail validée de utexas.edu
- Ufuk TopcuThe University of Texas at AustinAdresse e-mail validée de utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenAdresse e-mail validée de ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyAdresse e-mail validée de tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityAdresse e-mail validée de ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenAdresse e-mail validée de tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Adresse e-mail validée de tue.nl
- Christel BaierTU DresdenAdresse e-mail validée de tu-dresden.de
- Arnd HartmannsUniversity of TwenteAdresse e-mail validée de utwente.nl
Suivre
Marnix Suilen
PhD Candidate, Radboud University
Adresse e-mail validée de science.ru.nl - Page d'accueil