Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 1095 | 643 |
h-index | 17 | 13 |
i10-indeks | 42 | 18 |
Offentlig adgang
Se alle50 artikler
2 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- John DerrickUniversity of SheffieldVerificeret mail på sheffield.ac.uk
- Heike WehrheimUniversity of OldenburgVerificeret mail på uni-oldenburg.de
- Ian James HayesProfessor of Software Engineering, The University of QueenslandVerificeret mail på uq.edu.au
- Simon DohertyUniversity of SheffieldVerificeret mail på sheffield.ac.uk
- Sadegh DalvandiStaff Formal Verification Engineer at AxiomiseVerificeret mail på dalvandi.com
- Georg StruthUniversity of SheffieldVerificeret mail på sheffield.ac.uk
- Graeme SmithThe University of QueenslandVerificeret mail på itee.uq.edu.au
- Ori LahavTel Aviv UniversityVerificeret mail på tau.ac.il
- Oleg TravkinPhD Student, Universität PaderbornVerificeret mail på zitmail.uni-paderborn.de
- Azalea RaadImperial College LondonVerificeret mail på imperial.ac.uk
- John WickersonImperial College LondonVerificeret mail på imperial.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerificeret mail på york.ac.uk
- Victor GomesResearch Associate, University of CambridgeVerificeret mail på cl.cam.ac.uk
- Radha JagadeesanProfessor. School of Computing.Verificeret mail på depaul.edu
- James RielyProfessor of Computing, DePaul UniversityVerificeret mail på cs.depaul.edu
- Tsz Yiu LamBrunel University LondonVerificeret mail på alumni.brunel.ac.uk
- Cliff B JonesProfessor of Computing Science, Newcastle University, UKVerificeret mail på ncl.ac.uk
- Alan BurnsUniversity of York, UKVerificeret mail på york.ac.uk
- Peter Gorm LarsenAarhus UniversityVerificeret mail på ece.au.dk
- Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerificeret mail på sweetgeeks.dk