Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 1080 | 628 |
indice h | 17 | 13 |
indice i10 | 42 | 17 |
Accès public
Tout afficher50 articles
2 articles
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- John DerrickUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgAdresse e-mail validée de uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandAdresse e-mail validée de uq.edu.au
- Simon DohertyUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseAdresse e-mail validée de dalvandi.com
- Georg StruthUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
- Graeme SmithThe University of QueenslandAdresse e-mail validée de itee.uq.edu.au
- Ori LahavTel Aviv UniversityAdresse e-mail validée de tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornAdresse e-mail validée de zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonAdresse e-mail validée de imperial.ac.uk
- John WickersonImperial College LondonAdresse e-mail validée de imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkAdresse e-mail validée de york.ac.uk
- Victor GomesResearch Associate, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Adresse e-mail validée de depaul.edu
- James RielyProfessor of Computing, DePaul UniversityAdresse e-mail validée de cs.depaul.edu
- Tsz Yiu LamBrunel University LondonAdresse e-mail validée de alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKAdresse e-mail validée de ncl.ac.uk
- Alan BurnsUniversity of York, UKAdresse e-mail validée de york.ac.uk
- Peter Gorm LarsenAarhus UniversityAdresse e-mail validée de ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksAdresse e-mail validée de sweetgeeks.dk