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