Get my own profile
Public access
View all7 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
- Jules VillardImperial College LondonVerified email at imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verified email at univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
- Laetitia LaversaATER, IRIFVerified email at irif.fr
- Alain FinkelLMF ENS Paris SaclayVerified email at ens-paris-saclay.fr
- Florian BruseUniversity of KasselVerified email at uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteVerified email at imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyVerified email at unige.it
- Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioVerified email at kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerified email at lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayVerified email at ens-paris-saclay.fr
- Florent JacquemardInriaVerified email at inria.fr
- ludovic henrioCNRSVerified email at ens-lyon.fr