Obter o meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 1080 | 628 |
Índice h | 17 | 13 |
Índice i10 | 42 | 17 |
Acesso público
Ver tudo50 artigos
2 artigos
disponível
não disponível
Com base em autorizações de financiamento
Coautores
- John DerrickUniversity of SheffieldEmail confirmado em sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgEmail confirmado em uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandEmail confirmado em uq.edu.au
- Simon DohertyUniversity of SheffieldEmail confirmado em sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseEmail confirmado em dalvandi.com
- Georg StruthUniversity of SheffieldEmail confirmado em sheffield.ac.uk
- Graeme SmithThe University of QueenslandEmail confirmado em itee.uq.edu.au
- Ori LahavTel Aviv UniversityEmail confirmado em tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornEmail confirmado em zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonEmail confirmado em imperial.ac.uk
- John WickersonImperial College LondonEmail confirmado em imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkEmail confirmado em york.ac.uk
- Victor GomesResearch Associate, University of CambridgeEmail confirmado em cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Email confirmado em depaul.edu
- James RielyProfessor of Computing, DePaul UniversityEmail confirmado em cs.depaul.edu
- Tsz Yiu LamBrunel University LondonEmail confirmado em alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKEmail confirmado em ncl.ac.uk
- Alan BurnsUniversity of York, UKEmail confirmado em york.ac.uk
- Peter Gorm LarsenAarhus UniversityEmail confirmado em ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksEmail confirmado em sweetgeeks.dk