Crea il mio profilo
Accesso pubblico
Visualizza tutto48 articoli
1 articolo
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail verificata su cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumEmail verificata su rub.de
- Tim QuatmannRWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyEmail verificata su tue.nl
- Ufuk TopcuThe University of Texas at AustinEmail verificata su utexas.edu
- Christian DehnertRWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyEmail verificata su fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinEmail verificata su utexas.edu
- Arnd HartmannsUniversity of TwenteEmail verificata su utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyEmail verificata su informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgEmail verificata su informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail verificata su utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaEmail verificata su iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyEmail verificata su vutbr.cz
- Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyEmail verificata su unitn.it
- Gereon KremerCertora LtdEmail verificata su cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityEmail verificata su cs.rwth-aachen.de
Segui
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Email verificata su ru.nl - Home page