Saját profil készítése
Nyilvános hozzáférés
Összes megtekintése5 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mail megerősítve itt: rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
- Murat CubuktepeUniversity of Texas at AustinE-mail megerősítve itt: utexas.edu
- Ufuk TopcuThe University of Texas at AustinE-mail megerősítve itt: utexas.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mail megerősítve itt: ru.nl
- David ParkerProfessor of Computer Science, University of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyE-mail megerősítve itt: tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityE-mail megerősítve itt: ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenE-mail megerősítve itt: tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)E-mail megerősítve itt: tue.nl
- Christel BaierTU DresdenE-mail megerősítve itt: tu-dresden.de
- Arnd HartmannsUniversity of TwenteE-mail megerősítve itt: utwente.nl
- Eline M. BovyPhD student, Radboud UniversityE-mail megerősítve itt: ru.nl
Követés