Založit si vlastní profil
Veřejný přístup
Zobrazit všechny9 č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
- Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumE-mailová adresa ověřena na: rub.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyE-mailová adresa ověřena na: tue.nl
- Tim QuatmannRWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityE-mailová adresa ověřena na: cs.rwth-aachen.de
- Ernst Moritz HahnUniversity of TwenteE-mailová adresa ověřena na: utwente.nl
- Arnd HartmannsUniversity of TwenteE-mailová adresa ověřena na: utwente.nl
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyE-mailová adresa ověřena na: informatik.uni-freiburg.de
- David ParkerProfessor of Computer Science, University of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Bernd BeckerProfessor of Computer Science, University of FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
- Ufuk TopcuThe University of Texas at AustinE-mailová adresa ověřena na: utexas.edu
- Andrea TurriniInstitute of Software, Chinese Academy of SciencesE-mailová adresa ověřena na: ios.ac.cn
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyE-mailová adresa ověřena na: unitn.it
- David N. JansenRadboud Universiteit NijmegenE-mailová adresa ověřena na: cs.ru.nl
- Daniel GeblerVU University AmsterdamE-mailová adresa ověřena na: vu.nl