Få min egen profil
Offentlig adgang
Se alle5 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerificeret mail på rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerificeret mail på tue.nl
- Murat CubuktepeUniversity of Texas at AustinVerificeret mail på utexas.edu
- Ufuk TopcuThe University of Texas at AustinVerificeret mail på utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordVerificeret mail på cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerificeret mail på ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyVerificeret mail på tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityVerificeret mail på ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenVerificeret mail på tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verificeret mail på tue.nl
- Christel BaierTU DresdenVerificeret mail på tu-dresden.de
- Arnd HartmannsUniversity of TwenteVerificeret mail på utwente.nl