Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)Verified email at lmf.cnrs.fr
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Marco PeressottiUniversity of Southern DenmarkVerified email at imada.sdu.dk
Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETVerified email at unc.edu.ar
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Bartosz BednarczykUniwersytet Wrocławski & TU DresdenVerified email at cs.uni.wroc.pl
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Zahra HadizadehUniversity of RochesterVerified email at ur.rochester.edu
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it
Luca GeattiUniversity of UdineVerified email at uniud.it
Amaury PoulyCNRS/IRIFVerified email at irif.fr
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be