Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 1144 | 691 |
h-index | 18 | 13 |
i10-indeks | 43 | 21 |
Offentlig adgang
Se alle52 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
Graeme SmithThe University of QueenslandVerificeret mail på itee.uq.edu.au
Georg StruthUniversity of SheffieldVerificeret mail på sheffield.ac.uk
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
Matt GriffinPhD ResearcherVerificeret mail på surrey.ac.uk
Victor GomesResearch Associate, University of CambridgeVerificeret mail på cl.cam.ac.uk
Tsz Yiu LamBrunel University LondonVerificeret mail på alumni.brunel.ac.uk
Radha JagadeesanProfessor. School of Computing.Verificeret mail på depaul.edu
James RielyProfessor of Computing, DePaul UniversityVerificeret mail på cs.depaul.edu
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