Mijn eigen profiel maken
Openbare toegang
Alles bekijken48 artikelen
1 artikel
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumGeverifieerd e-mailadres voor rub.de
- Tim QuatmannRWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Ufuk TopcuThe University of Texas at AustinGeverifieerd e-mailadres voor utexas.edu
- Christian DehnertRWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
- Milan CeskaBrno University of TechnologyGeverifieerd e-mailadres voor fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinGeverifieerd e-mailadres voor utexas.edu
- Arnd HartmannsUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgGeverifieerd e-mailadres voor informatik.uni-freiburg.de
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteGeverifieerd e-mailadres voor utwente.nl
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaGeverifieerd e-mailadres voor iaik.tugraz.at
- Roman AndriushchenkoPh.D. student, Brno University of TechnologyGeverifieerd e-mailadres voor vutbr.cz
- Roderick BloemGraz University of TechnologyGeverifieerd e-mailadres voor iaik.tugraz.at
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyGeverifieerd e-mailadres voor unitn.it
- Gereon KremerCertora LtdGeverifieerd e-mailadres voor cs.stanford.edu
- Ulrich LoupRWTH Aachen UniversityGeverifieerd e-mailadres voor cs.rwth-aachen.de
Volgen
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Geverifieerd e-mailadres voor ru.nl - Homepage