Založit si vlastní profil
Veřejný přístup
Zobrazit všechny67 článků
5 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Enno RuijtersUniversiteit TwenteE-mailová adresa ověřena na: utwente.nl
- Luca de AlfaroProfessor, UC Santa CruzE-mailová adresa ověřena na: acm.org
- Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsE-mailová adresa ověřena na: utwente.nl
- Jaco van de PolProfessor of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
- Dennis GuckTWT GmbHE-mailová adresa ověřena na: twt-gmbh.de
- Pepijn CrouzenGoogle inc.E-mailová adresa ověřena na: google.com
- Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyE-mailová adresa ověřena na: unina.it
- Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Frits W. VaandragerProfessor of Computer Science, Radboud UniversityE-mailová adresa ověřena na: cs.ru.nl
- Rajesh KumarAssistant Professor, BITS-Pilani | PhD, University of Twente | MS, Scuola Superiore Sant Anna, PisaE-mailová adresa ověřena na: pilani.bits-pilani.ac.in
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyE-mailová adresa ověřena na: unitn.it
- Arend RensinkProfessor in Computer Science, University of TwenteE-mailová adresa ověřena na: utwente.nl
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityE-mailová adresa ověřena na: uvt.nl
- Waheed AhmadApplied MaterialsE-mailová adresa ověřena na: amat.com
- Judi RomijnSabbatical, career switchE-mailová adresa ověřena na: xs4all.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
Sledovat
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
E-mailová adresa ověřena na: utwente.nl - Domovská stránka