Crea el meu perfil
Accés públic
Mostra-ho tot5 articles
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Murat CubuktepeUniversity of Texas at AustinCorreu electrònic verificat a utexas.edu
- Ufuk TopcuThe University of Texas at AustinCorreu electrònic verificat a utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityCorreu electrònic verificat a ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenCorreu electrònic verificat a tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Correu electrònic verificat a tue.nl
- Christel BaierTU DresdenCorreu electrònic verificat a tu-dresden.de
- Arnd HartmannsUniversity of TwenteCorreu electrònic verificat a utwente.nl
Segueix
Marnix Suilen
PhD Candidate, Radboud University
Correu electrònic verificat a science.ru.nl - Pàgina d'inici