Get my own profile
Public access
View all37 articles
5 articles
available
not available
Based on funding mandates
Co-authors
Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkVerified email at dtu.dk- Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
- Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKVerified email at ncl.ac.uk
- Peter LindsayUniversity of QueenslandVerified email at uq.edu.au
- 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
- Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
- Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityVerified email at ncl.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
- Alan BundyProfessor of Automated Reasoning, University of EdinburghVerified email at ed.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
- Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentVerified email at ffi.no
- Alan BurnsUniversity of York, UKVerified email at york.ac.uk
- Nisansala YatapanageLecturer, Australian National UniversityVerified email at acm.org
- Ken PierceNewcastle UniversityVerified email at ncl.ac.uk
Follow
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
Verified email at ncl.ac.uk - Homepage