Mijn eigen profiel maken
Openbare toegang
Alles bekijken7 artikelen
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Geverifieerd e-mailadres voor lmf.cnrs.fr
- Jules VillardImperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselGeverifieerd e-mailadres voor uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Geverifieerd e-mailadres voor univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor cs.unibo.it
- Laetitia LaversaPostdoc, INRAEGeverifieerd e-mailadres voor inrae.fr
- Alain FinkelLSV ENS Paris SaclayGeverifieerd e-mailadres voor lsv.fr
- Florian BruseUniversity of KasselGeverifieerd e-mailadres voor uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteGeverifieerd e-mailadres voor imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaGeverifieerd e-mailadres voor tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyGeverifieerd e-mailadres voor unige.it
- Naoki KobayashiThe University of TokyoGeverifieerd e-mailadres voor is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioGeverifieerd e-mailadres voor kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayGeverifieerd e-mailadres voor lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayGeverifieerd e-mailadres voor ens-paris-saclay.fr
- Florent JacquemardInriaGeverifieerd e-mailadres voor inria.fr
- ludovic henrioCNRSGeverifieerd e-mailadres voor ens-lyon.fr