Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 170 | 129 |
h-indeks | 7 | 6 |
i10-indeks | 6 | 3 |
Dostęp publiczny
Wyświetl wszystko12 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Zweryfikowany adres z lmf.cnrs.fr
- Marino MiculanUniversity of Udine, ItalyZweryfikowany adres z uniud.it
- Marco PeressottiUniversity of Southern DenmarkZweryfikowany adres z imada.sdu.dk
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETZweryfikowany adres z unc.edu.ar
- Etienne LozesUniversité Côte d'AzurZweryfikowany adres z univ-cotedazur.fr
- Christoph HaaseUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
- Bartosz BednarczykUniwersytet Wrocławski & TU DresdenZweryfikowany adres z cs.uni.wroc.pl
- Zahra HadizadehUniversité Paris CitéZweryfikowany adres z etu.u-paris.fr
- Michael BenediktProfessor of Computer Science, Oxford UniversityZweryfikowany adres z cs.ox.ac.uk
- Angelo MontanariProfessor of Computer Science, Univ. of UdineZweryfikowany adres z uniud.it
- Luca GeattiUniversity of UdineZweryfikowany adres z uniud.it
- Amaury PoulyCNRS/IRIFZweryfikowany adres z irif.fr
- Guillermo A. PérezAssociate Professor, University of AntwerpZweryfikowany adres z uantwerp.be