Crea el meu perfil
Accés públic
Mostra-ho tot67 articles
4 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Enno RuijtersUniversiteit TwenteCorreu electrònic verificat a utwente.nl
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzCorreu electrònic verificat a alumni.stanford.edu
- Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsCorreu electrònic verificat a utwente.nl
- Jaco van de PolProfessor of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Dennis GuckTWT GmbHCorreu electrònic verificat a twt-gmbh.de
- Pepijn CrouzenGoogle inc.Correu electrònic verificat a google.com
- Thomas HenzingerIST AustriaCorreu electrònic verificat a ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyCorreu electrònic verificat a unina.it
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Frits W. VaandragerProfessor of Computer Science, Radboud UniversityCorreu electrònic verificat a cs.ru.nl
- Rajesh KumarAssistant Professor, BITS-Pilani | PhD, University of Twente | MS, Scuola Superiore Sant Anna, PisaCorreu electrònic verificat a pilani.bits-pilani.ac.in
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyCorreu electrònic verificat a unitn.it
- Arend RensinkProfessor in Computer Science, University of TwenteCorreu electrònic verificat a utwente.nl
- Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityCorreu electrònic verificat a uvt.nl
- Waheed AhmadApplied MaterialsCorreu electrònic verificat a amat.com
- Judi RomijnSabbatical, career switchCorreu electrònic verificat a xs4all.nl
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
Segueix
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Correu electrònic verificat a utwente.nl - Pàgina d'inici