Crea el meu perfil
Accés públic
Mostra-ho tot57 articles
0 articles
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
- Sebastian JungesAssistant Professor, Radboud University, NijmegenCorreu electrònic verificat a ru.nl
- Ufuk TopcuThe University of Texas at AustinCorreu electrònic verificat a utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- 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
- Murat CubuktepeUniversity of Texas at AustinCorreu electrònic verificat a utexas.edu
- Christian DehnertRWTH Aachen UniversityCorreu electrònic verificat a cs.rwth-aachen.de
- Thom BadingsPhD Candidate, Radboud UniversityCorreu electrònic verificat a ru.nl
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyCorreu electrònic verificat a tue.nl
- Steven CarrUniversity of Texas at AustinCorreu electrònic verificat a utexas.edu
- Marnix SuilenPhD Candidate, Radboud UniversityCorreu electrònic verificat a science.ru.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonCorreu electrònic verificat a cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyCorreu electrònic verificat a iaik.tugraz.at
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
- Federico OlmedoUniversity of ChileCorreu electrònic verificat a dcc.uchile.cl
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKCorreu electrònic verificat a cs.ox.ac.uk
- Jan KřetínskýMasaryk University Brno; Technical University of MunichCorreu electrònic verificat a fi.muni.cz
- Guillermo A. PérezAssociate Professor, University of AntwerpCorreu electrònic verificat a uantwerp.be
- David ParkerProfessor of Computer Science, University of OxfordCorreu electrònic verificat a cs.ox.ac.uk
Segueix
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Correu electrònic verificat a rub.de - Pàgina d'inici