Crea el meu perfil
Accés públic
Mostra-ho tot44 articles
5 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Dines BjornerProfessor Emeritus, DTU Informatics, DenmarkCorreu electrònic verificat a dtu.dk
- Ian James HayesProfessor of Software Engineering, The University of QueenslandCorreu electrònic verificat a uq.edu.au
- Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKCorreu electrònic verificat a ncl.ac.uk
- Peter LindsayUniversity of QueenslandCorreu electrònic verificat a uq.edu.au
- Michael ButlerProfessor of Computer Science, University of SouthamptonCorreu electrònic verificat a ecs.soton.ac.uk
- Kevin D JonesUniversity of PlymouthCorreu electrònic verificat a plymouth.ac.uk
- Elena TroubitsynaFull Professor in Computer Science specialising in Software Engineering at KTH -- Royal Institute ofCorreu electrònic verificat a kth.se
- John S. FitzgeraldNewcastle University, UKCorreu electrònic verificat a ncl.ac.uk
- Joey W. ColemanIndependent/Kira Fellow, Kira SystemsCorreu electrònic verificat a acm.org
- Jeannette M WingExecutive Vice President for Research, Professor of Computer Science, Columbia UniversityCorreu electrònic verificat a columbia.edu
- Alan BundyProfessor of Automated Reasoning, University of EdinburghCorreu electrònic verificat a ed.ac.uk
- Brian RandellEmeritus Professor of Computing Science, Newcastle UniversityCorreu electrònic verificat a ncl.ac.uk
- Jim WoodcockProfessor of Software Engineering, University of YorkCorreu electrònic verificat a york.ac.uk
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityCorreu electrònic verificat a cs.cmu.edu
- Alan BurnsUniversity of York, UKCorreu electrònic verificat a york.ac.uk
- Nisansala YatapanageLecturer, The Australian National UniversityCorreu electrònic verificat a acm.org
- Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayCorreu electrònic verificat a lri.fr
- Gudmund GrovSenior Scientist, Norwegian Defence Research EstablishmentCorreu electrònic verificat a ffi.no
- Ken PierceNewcastle UniversityCorreu electrònic verificat a ncl.ac.uk
- Leo FreitasSenior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UKCorreu electrònic verificat a newcastle.ac.uk
Segueix
Cliff B Jones
Professor of Computing Science, Newcastle University, UK
Correu electrònic verificat a ncl.ac.uk - Pàgina d'inici