Obter meu próprio perfil
Acesso público
Ver todos5 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail confirmado em rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mail confirmado em tue.nl
- Murat CubuktepeUniversity of Texas at AustinE-mail confirmado em utexas.edu
- Ufuk TopcuThe University of Texas at AustinE-mail confirmado em utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordE-mail confirmado em cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mail confirmado em ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyE-mail confirmado em tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityE-mail confirmado em ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenE-mail confirmado em tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)E-mail confirmado em tue.nl
- Christel BaierTU DresdenE-mail confirmado em tu-dresden.de
- Arnd HartmannsUniversity of TwenteE-mail confirmado em utwente.nl
Seguir