Get my own profile
Public access
View all19 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Matthijs T. J. SpaanDelft University of TechnologyVerified email at tudelft.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
- Qisong YangDelft University of TechnologyVerified email at tudelft.nl
- Simon TindemansTU DelftVerified email at tudelft.nl
- Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
- Remi Tachet des CombesVerified email at alpacaml.com
- Romain LarocheMicrosoft ResearchVerified email at polytechnique.org
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Danial KamranInstitute for Measurement and Control Systems, Karlsruhe Institute of TechnologyVerified email at kit.edu
- Canmanie Teresa PonnambalamTUDelftVerified email at tudelft.nl
- Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
- Tal KachmanRadboud UniversityVerified email at donders.ru.nl
- Merlijn KralePhD, Radboud University NijmegenVerified email at ru.nl
- Martin LauerKarlsruhe Institute of TechnologyVerified email at kit.edu
- Johannes FischerKarlsruhe Institute of Technology (KIT)Verified email at kit.edu
- Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
- Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenVerified email at tu-dresden.de
- Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verified email at tue.nl
- Christel BaierTU DresdenVerified email at tu-dresden.de
- Alessandro FarinelliFull professor of Computer Science, University of VeronaVerified email at univr.it
Follow
Thiago D. Simão
Assistant Professor at Eindhoven University of Technology
Verified email at tue.nl - Homepage