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