Crea el meu perfil
Accés públic
Mostra-ho tot48 articles
1 article
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteCorreu electrònic verificat a cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumCorreu electrònic verificat a rub.de
- Tim QuatmannRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Ufuk TopcuThe University of Texas at AustinCorreu electrònic verificat a utexas.edu
- Christian DehnertRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyCorreu electrònic verificat a fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinCorreu electrònic verificat a utexas.edu
- Arnd HartmannsUniversity of TwenteCorreu electrònic verificat a utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyCorreu electrònic verificat a informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgCorreu electrònic verificat a informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyCorreu electrònic verificat a eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaCorreu electrònic verificat a iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyCorreu electrònic verificat a vutbr.cz
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyCorreu electrònic verificat a unitn.it
- Gereon KremerCertora LtdCorreu electrònic verificat a cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
Segueix
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Correu electrònic verificat a ru.nl - Pàgina d'inici