Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 949 | 320 |
h-index | 18 | 9 |
i10-indeks | 30 | 8 |
Offentlig adgang
Se alle7 artikler
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Verificeret mail på lmf.cnrs.fr
- Jules VillardImperial College LondonVerificeret mail på imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselVerificeret mail på uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Verificeret mail på univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerificeret mail på cs.unibo.it
- Laetitia LaversaPostdoc, INRAEVerificeret mail på inrae.fr
- Alain FinkelLSV ENS Paris SaclayVerificeret mail på lsv.fr
- Florian BruseUniversity of KasselVerificeret mail på uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteVerificeret mail på imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerificeret mail på tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyVerificeret mail på unige.it
- Naoki KobayashiThe University of TokyoVerificeret mail på is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioVerificeret mail på kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayVerificeret mail på lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayVerificeret mail på ens-paris-saclay.fr
- Florent JacquemardInriaVerificeret mail på inria.fr
- ludovic henrioCNRSVerificeret mail på ens-lyon.fr