Obter o meu próprio perfil
Acesso público
Ver tudo5 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail confirmado em rub.de
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail confirmado em tue.nl
Murat CubuktepeUniversity of Texas at AustinEmail confirmado em utexas.edu
Ufuk TopcuThe University of Texas at AustinEmail confirmado em utexas.edu
Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail confirmado em ru.nl
David ParkerProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyEmail confirmado em tue.nl
Thom BadingsPhD Candidate, Radboud UniversityEmail confirmado em ru.nl
Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenEmail confirmado em tu-dresden.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Email confirmado em tue.nl
Christel BaierTU DresdenEmail confirmado em tu-dresden.de
Arnd HartmannsUniversity of TwenteEmail confirmado em utwente.nl
Eline M. BovyPhD student, Radboud UniversityEmail confirmado em ru.nl
Marck van der VegtRadboud UniversityEmail confirmado em ru.nl
Seguir![Marnix Suilen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=8sS0Vv0AAAAJ&citpid=1)