Crea il mio profilo
Accesso pubblico
Visualizza tutto6 articoli
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Email verificata su lmf.cnrs.fr
- Jules VillardImperial College LondonEmail verificata su imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselEmail verificata su uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Email verificata su univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaEmail verificata su cs.unibo.it
- Laetitia LaversaPostdoc, INRAEEmail verificata su inrae.fr
- Alain FinkelLSV ENS Paris SaclayEmail verificata su lsv.fr
- Florian BruseUniversity of KasselEmail verificata su uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteEmail verificata su imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaEmail verificata su tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyEmail verificata su unige.it
- Naoki KobayashiThe University of TokyoEmail verificata su is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioEmail verificata su kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayEmail verificata su lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayEmail verificata su ens-paris-saclay.fr
- Florent JacquemardInriaEmail verificata su inria.fr
- ludovic henrioCNRSEmail verificata su ens-lyon.fr