Založit si vlastní profil
Veřejný přístup
Zobrazit všechny5 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
- Murat CubuktepeUniversity of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- Ufuk TopcuThe University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
- Ahmadreza MarandiAssistant Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)E-mailová adresa ověřena na: tue.nl
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Arnd HartmannsUniversity of TwenteE-mailová adresa ověřena na: utwente.nl
Sledovat
Marnix Suilen
PhD Candidate, Radboud University
E-mailová adresa ověřena na: science.ru.nl - Domovská stránka