Получаване на мой собствен потребителски профил
Позовавания
Всички | От 2019 | |
---|---|---|
Позовавания | 1083 | 631 |
h-индекс | 17 | 13 |
i10-индекс | 42 | 17 |
Публичен достъп
Преглед на всички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