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