Отримати власний профіль
Посилання
Усі | З 2019 | |
---|---|---|
Цитування | 1090 | 638 |
h-індекс | 17 | 13 |
i10-індекс | 42 | 18 |
Доступні для всіх
Переглянути всі50 статей
2 статті
доступні
недоступні
За умовами фінансування
Співавтори
- John DerrickUniversity of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgПідтверджена електронна адреса в uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandПідтверджена електронна адреса в uq.edu.au
- Simon DohertyUniversity of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseПідтверджена електронна адреса в dalvandi.com
- Georg StruthUniversity of SheffieldПідтверджена електронна адреса в sheffield.ac.uk
- Graeme SmithThe University of QueenslandПідтверджена електронна адреса в itee.uq.edu.au
- Ori LahavTel Aviv UniversityПідтверджена електронна адреса в tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornПідтверджена електронна адреса в zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonПідтверджена електронна адреса в imperial.ac.uk
- John WickersonImperial College LondonПідтверджена електронна адреса в imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkПідтверджена електронна адреса в york.ac.uk
- Victor GomesResearch Associate, University of CambridgeПідтверджена електронна адреса в cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Підтверджена електронна адреса в depaul.edu
- James RielyProfessor of Computing, DePaul UniversityПідтверджена електронна адреса в cs.depaul.edu
- Tsz Yiu LamBrunel University LondonПідтверджена електронна адреса в alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKПідтверджена електронна адреса в ncl.ac.uk
- Alan BurnsUniversity of York, UKПідтверджена електронна адреса в york.ac.uk
- Peter Gorm LarsenAarhus UniversityПідтверджена електронна адреса в ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksПідтверджена електронна адреса в sweetgeeks.dk