Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 1085 | 633 |
Índice h | 17 | 13 |
Índice i10 | 42 | 17 |
Acceso público
Ver todo50 artículos
2 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- John DerrickUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgDirección de correo verificada de uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandDirección de correo verificada de uq.edu.au
- Simon DohertyUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseDirección de correo verificada de dalvandi.com
- Georg StruthUniversity of SheffieldDirección de correo verificada de sheffield.ac.uk
- Graeme SmithThe University of QueenslandDirección de correo verificada de itee.uq.edu.au
- Ori LahavTel Aviv UniversityDirección de correo verificada de tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornDirección de correo verificada de zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonDirección de correo verificada de imperial.ac.uk
- John WickersonImperial College LondonDirección de correo verificada de imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
- Victor GomesResearch Associate, University of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Dirección de correo verificada de depaul.edu
- James RielyProfessor of Computing, DePaul UniversityDirección de correo verificada de cs.depaul.edu
- Tsz Yiu LamBrunel University LondonDirección de correo verificada de alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKDirección de correo verificada de ncl.ac.uk
- Alan BurnsUniversity of York, UKDirección de correo verificada de york.ac.uk
- Peter Gorm LarsenAarhus UniversityDirección de correo verificada de ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksDirección de correo verificada de sweetgeeks.dk