Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 952 | 181 |
Índice h | 14 | 7 |
Índice i10 | 18 | 5 |
Acesso público
Ver tudo2 artigos
0 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- Roderick BloemGraz University of TechnologyEmail confirmado em iaik.tugraz.at
- Barbara JobstmannScientist at EPFLEmail confirmado em epfl.ch
- Alessio R LomuscioImperial College LondonEmail confirmado em imperial.ac.uk
- axel legayUCLouvainEmail confirmado em uclouvain.be
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail confirmado em univ-grenoble-alpes.fr
- Byron CookProfessor of Computer Science, UCL, AmazonEmail confirmado em cs.ucl.ac.uk
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email confirmado em cwi.nl
- Joseph SifakisReseracher at Verimag laboratory, GrenobleEmail confirmado em imag.fr
- Charles MorissetReader in Security, Newcastle UniversityEmail confirmado em ncl.ac.uk
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityEmail confirmado em cs.biu.ac.il