Skapa en profil
Offentlig åtkomst
Visa alla7 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Verifierad e-postadress på lmf.cnrs.fr
- Jules VillardImperial College LondonVerifierad e-postadress på imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselVerifierad e-postadress på uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verifierad e-postadress på univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Laetitia LaversaPostdoc, INRAEVerifierad e-postadress på inrae.fr
- Alain FinkelLSV ENS Paris SaclayVerifierad e-postadress på lsv.fr
- Florian BruseUniversity of KasselVerifierad e-postadress på uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteVerifierad e-postadress på imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyVerifierad e-postadress på unige.it
- Naoki KobayashiThe University of TokyoVerifierad e-postadress på is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioVerifierad e-postadress på kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerifierad e-postadress på lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayVerifierad e-postadress på ens-paris-saclay.fr
- Florent JacquemardInriaVerifierad e-postadress på inria.fr
- ludovic henrioCNRSVerifierad e-postadress på ens-lyon.fr