Založit si vlastní profil
Veřejný přístup
Zobrazit všechny12 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)E-mailová adresa ověřena na: lmf.cnrs.fr
- Marino MiculanUniversity of Udine, ItalyE-mailová adresa ověřena na: uniud.it
- Marco PeressottiUniversity of Southern DenmarkE-mailová adresa ověřena na: imada.sdu.dk
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETE-mailová adresa ověřena na: unc.edu.ar
- Etienne LozesUniversité Côte d'AzurE-mailová adresa ověřena na: univ-cotedazur.fr
- Christoph HaaseUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Bartosz BednarczykUniwersytet Wrocławski & TU DresdenE-mailová adresa ověřena na: cs.uni.wroc.pl
- Zahra HadizadehUniversité Paris CitéE-mailová adresa ověřena na: etu.u-paris.fr
- Michael BenediktProfessor of Computer Science, Oxford UniversityE-mailová adresa ověřena na: cs.ox.ac.uk
- Angelo MontanariProfessor of Computer Science, Univ. of UdineE-mailová adresa ověřena na: uniud.it
- Luca GeattiUniversity of UdineE-mailová adresa ověřena na: uniud.it
- Amaury PoulyCNRS/IRIFE-mailová adresa ověřena na: irif.fr
- Guillermo A. PérezAssociate Professor, University of AntwerpE-mailová adresa ověřena na: uantwerp.be