Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 948 | 319 |
Índice h | 18 | 9 |
Índice i10 | 30 | 8 |
Acesso público
Ver tudo7 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Stéphane DemriCNRS, Laboratoire Méthodes Formelles (LMF)Email confirmado em lmf.cnrs.fr
- Jules VillardImperial College LondonEmail confirmado em imperial.ac.uk
- Martin LangeProfessor of Computer Science, University of KasselEmail confirmado em uni-kassel.de
- Cinzia Di GiustoLaboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MDSC (C&A))Email confirmado em univ-cotedazur.fr
- Davide SangiorgiProfessor of Computer Science, University of BolognaEmail confirmado em cs.unibo.it
- Laetitia LaversaPostdoc, INRAEEmail confirmado em inrae.fr
- Alain FinkelLSV ENS Paris SaclayEmail confirmado em lsv.fr
- Florian BruseUniversity of KasselEmail confirmado em uni-kassel.de
- Alessio MansuttiIMDEA Software InstituteEmail confirmado em imdea.org
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaEmail confirmado em tecnico.ulisboa.pt
- Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyEmail confirmado em unige.it
- Naoki KobayashiThe University of TokyoEmail confirmado em is.s.u-tokyo.ac.jp
- Kshitij Bansalkshitij.ioEmail confirmado em kshitij.io
- Benedikt BolligCNRS, LMF, ENS Paris-Saclay, Université Paris-SaclayEmail confirmado em lsv.ens-cachan.fr
- Amrita SureshPhD student, ENS Paris SaclayEmail confirmado em ens-paris-saclay.fr
- Florent JacquemardInriaEmail confirmado em inria.fr
- ludovic henrioCNRSEmail confirmado em ens-lyon.fr