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