Založit si vlastní profil
Veřejný přístup
Zobrazit všechny19 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Matthijs T. J. SpaanDelft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Qisong YangDelft University of TechnologyE-mailová adresa ověřena na: tudelft.nl
- Simon TindemansTU DelftE-mailová adresa ověřena na: tudelft.nl
- Marnix SuilenPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: science.ru.nl
- Remi Tachet des CombesE-mailová adresa ověřena na: alpacaml.com
- Romain LarocheMicrosoft ResearchE-mailová adresa ověřena na: polytechnique.org
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Danial KamranInstitute for Measurement and Control Systems, Karlsruhe Institute of TechnologyE-mailová adresa ověřena na: kit.edu
- Canmanie Teresa PonnambalamTUDelftE-mailová adresa ověřena na: tudelft.nl
- Thom BadingsPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: ru.nl
- Merlijn KralePhD, Radboud University NijmegenE-mailová adresa ověřena na: ru.nl
- Martin LauerKarlsruhe Institute of TechnologyE-mailová adresa ověřena na: kit.edu
- Johannes FischerKarlsruhe Institute of Technology (KIT)E-mailová adresa ověřena na: kit.edu
- 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
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
- Alessandro FarinelliFull professor of Computer Science, University of VeronaE-mailová adresa ověřena na: univr.it
- Alberto CastelliniUniversità degli studi di VeronaE-mailová adresa ověřena na: univr.it
Sledovat
Thiago D. Simão
Assistant Professor at Eindhoven University of Technology
E-mailová adresa ověřena na: tue.nl - Domovská stránka