Založit si vlastní profil
Veřejný přístup
Zobrazit všechny57 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteE-mailová adresa ověřena na: cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenE-mailová adresa ověřena na: ru.nl
Ufuk TopcuThe University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyE-mailová adresa ověřena na: informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
Murat CubuktepeUniversity of Texas at AustinE-mailová adresa ověřena na: utexas.edu
Christian DehnertRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
Thom BadingsPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: ru.nl
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
Steven CarrUniversity of Texas at AustinE-mailová adresa ověřena na: utexas.edu
Marnix SuilenPhD Candidate, Radboud UniversityE-mailová adresa ověřena na: science.ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonE-mailová adresa ověřena na: cs.uni-saarland.de
Roderick BloemGraz University of TechnologyE-mailová adresa ověřena na: iaik.tugraz.at
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mailová adresa ověřena na: utwente.nl
Federico OlmedoUniversity of ChileE-mailová adresa ověřena na: dcc.uchile.cl
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mailová adresa ověřena na: cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichE-mailová adresa ověřena na: fi.muni.cz
Guillermo A. PérezAssociate Professor, University of AntwerpE-mailová adresa ověřena na: uantwerp.be
David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
Sledovat![Nils Jansen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=zUavkyEAAAAJ&citpid=6)
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
E-mailová adresa ověřena na: rub.de - Domovská stránka