Založit si vlastní profil
Veřejný přístup
Zobrazit všechny8 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceE-mailová adresa ověřena na: irisa.fr
- Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayE-mailová adresa ověřena na: lsv.fr
- Romain BrenguierUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Dominik WojtczakDepartment of Computer Science, University of LiverpoolE-mailová adresa ověřena na: liverpool.ac.uk
- Christel BaierTU DresdenE-mailová adresa ověřena na: tu-dresden.de
- Erich GrädelRWTH Aachen UniversityE-mailová adresa ověřena na: logic.rwth-aachen.de
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderE-mailová adresa ověřena na: colorado.edu
- Aistis ŠimaitisUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonE-mailová adresa ověřena na: bbk.ac.uk
- Vojtěch ForejtDifflblueE-mailová adresa ověřena na: diffblue.com
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordE-mailová adresa ověřena na: comlab.ox.ac.uk
- Rohit ChadhaUniversity of MissouriE-mailová adresa ověřena na: missouri.edu
Sledovat
Michael Ummels
Researcher, German Aerospace Center
E-mailová adresa ověřena na: logic.rwth-aachen.de