Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 84 | 80 |
Índice h | 6 | 6 |
Índice i10 | 1 | 1 |
Acesso público
Ver todos3 artigos
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKE-mail confirmado em cs.ox.ac.uk
- Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberE-mail confirmado em matematika.its.ac.id
- Alessandro CimattiFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Andrea MicheliFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Lei BuNanjing UniversityE-mail confirmado em nju.edu.cn
- Stefano TonettaFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Anna BecchiFondazione Bruno KesslerE-mail confirmado em fbk.eu
- Mirco GiacobbeUniversity of BirminghamE-mail confirmado em bham.ac.uk
- Alberto GriggioResearcher, Fondazione Bruno KesslerE-mail confirmado em fbk.eu
- Goran FrehseProfessor of Computer Science, ENSTA ParisE-mail confirmado em ensta-paris.fr
- Idriss RiouakLund UniversityE-mail confirmado em cs.lth.se
- Sergio MoverÉcole Polytechnique and LIXE-mail confirmado em polytechnique.edu
- SubionoMathematics Department, Institut Teknologi Sepuluh Nopember, SurabayaE-mail confirmado em matematika.its.ac.id