Get my own profile
Public access
View all34 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at itee.uq.edu.au- Alexander RomanovskyEmeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
- Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
- Kevin D JonesUniversity of PlymouthVerified email at plymouth.ac.uk
- John S. FitzgeraldNewcastle University, UKVerified email at ncl.ac.uk
- Elena TroubitsynaAssoc. Prof. at KTH -- Royal Institute of Technology, Stockholm, SwedenVerified email at kth.se
- Joey W. ColemanIndependent/Kira Fellow, Kira SystemsVerified email at acm.org
- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityVerified email at ncl.ac.uk
- Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
- Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayVerified email at lri.fr
- Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
- Robin E BloomfieldCity University and Adelard LLPVerified email at csr.city.ac.uk
- Nisansala YatapanageResearch Fellow, Australian National UniversityVerified email at acm.org
- Ken PierceNewcastle UniversityVerified email at ncl.ac.uk
- Kees MiddelburgGuest Researcher, Informatics Institute, University of AmsterdamVerified email at uva.nl
- Alan BurnsUniversity of York, UKVerified email at york.ac.uk
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
Verified email at ncl.ac.uk - Homepage