Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 1083 | 631 |
h-index | 17 | 13 |
i10-index | 42 | 17 |
Nyilvános hozzáférés
Összes megtekintése50 cikk
2 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- John DerrickUniversity of SheffieldE-mail megerősítve itt: sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgE-mail megerősítve itt: uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandE-mail megerősítve itt: uq.edu.au
- Simon DohertyUniversity of SheffieldE-mail megerősítve itt: sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseE-mail megerősítve itt: dalvandi.com
- Georg StruthUniversity of SheffieldE-mail megerősítve itt: sheffield.ac.uk
- Graeme SmithThe University of QueenslandE-mail megerősítve itt: itee.uq.edu.au
- Ori LahavTel Aviv UniversityE-mail megerősítve itt: tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornE-mail megerősítve itt: zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonE-mail megerősítve itt: imperial.ac.uk
- John WickersonImperial College LondonE-mail megerősítve itt: imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkE-mail megerősítve itt: york.ac.uk
- Victor GomesResearch Associate, University of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.E-mail megerősítve itt: depaul.edu
- James RielyProfessor of Computing, DePaul UniversityE-mail megerősítve itt: cs.depaul.edu
- Tsz Yiu LamBrunel University LondonE-mail megerősítve itt: alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKE-mail megerősítve itt: ncl.ac.uk
- Alan BurnsUniversity of York, UKE-mail megerősítve itt: york.ac.uk
- Peter Gorm LarsenAarhus UniversityE-mail megerősítve itt: ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksE-mail megerősítve itt: sweetgeeks.dk