Crea il mio profilo
Accesso pubblico
Visualizza tutto5 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail verificata su rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyEmail verificata su tue.nl
- Murat CubuktepeUniversity of Texas at AustinEmail verificata su utexas.edu
- Ufuk TopcuThe University of Texas at AustinEmail verificata su utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenEmail verificata su ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyEmail verificata su tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityEmail verificata su ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenEmail verificata su tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Email verificata su tue.nl
- Christel BaierTU DresdenEmail verificata su tu-dresden.de
- Arnd HartmannsUniversity of TwenteEmail verificata su utwente.nl