| Issue Date | Title | Author(s) |
| 2004 | Testing from a nondeterministic finite state machine using adaptive state counting | Hierons, RM |
| 2007 | Integrating BOINC with Microsoft Excel: A case study | Zhang, J; Mustafee, N; Saville, J; Taylor, S J E |
| 2009 | An empirical investigation of inheritance trends in JAVA OSS evolution | Nasseri, Emal |
| 2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
| 2009 | Social research on neglected diseases of poverty: continuing and emerging themes | Manderson, L; Aagaard-Hansen, J; Allotey, P; Gyapong, M; Sommerfeld, J |
| 2002 | VADA: A transformation-based system for variable dependence analysis | Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J |
| 2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
| 1999 | Program simplification as a means of approximating undecidable propositions | Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S |
| 2004 | Evolving transformation sequences using genetic algorithms | Fatiregun, D; Harman, M; Hierons, RM |
| 2006 | The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph | Counsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y |
| 2008 | The precursor to an industrial software metrics program | Parkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M |
| 2008 | Organizational challenges of the semantic web in digital libraries | Bygstad, B; Ghinea, G; Klaebo, GT |
| 2009 | OntoEng: A design method for ontology engineering in information systems | Al-Debei, MM; Fitzgerald, G |
| 2008 | Supporting simulation in industry through the application of grid computing | Mustafee, N; Taylor, S J E |
| 2010 | Conceptual modelling and the quality of ontologies: A comparison between object-role modelling and the object paradigm | Al-Asswad, MM; Al-Debei, MM; de Cesare, S; Lycett, M |
| 2003 | A case study of MMO2's Madic: A framework for creating mobile internet systems | Olla, P; Patel, N; Atkinson, C |
| 2003 | Older adults' comprehension of speech as interactive domestic alarm system output: A field study | Lines, L; Hone, KS |
| 1992 | The use of non-formal information in reverse engineering and software reuse | Brown, Alan J |
| 2005 | Understanding the business-IT relationship | Coughlan, JA; Lycett, M; Macredie, RD |
| 2013 | The role of internal stakeholders and influencing factors during the phases of e-government initiative implementation | Al-Rashidi, Hajed |
| 2011 | Variation in the organization and subunit composition of the mammalian pyruvate dehydrogenase complex E2/E3BP core assembly | Vijayakrishnan, S; Callow, P; Nutley, MA; McGow, DP; Gilbert, D; Kropholler, P; Cooper, A; Byron, O; Lindsay, JG |
| 2012 | Quantized H-Infinity control for nonlinear stochastic time-delay systems with missing measurements | Wang, Z; Shen, B; Shu, H; Wei, G |
| 2010 | Perceived efficacy and attitudes towards genetic science and science governance | Knight, T; Barnett, J |
| 2007 | Adolescents' views of food and eating: Identifying barriers to healthy eating | Stevenson, C; Doherty, G; Barnett, J; Muldoon, OT; Trew, K |
| 2012 | H-infinity state estimation for discrete-time complex networks with randomly occurring sensor saturations and randomly varying sensor delays | Ding, D; Wang, Z; Shen, B; Shu, H |
| 2010 | Automated test data generation on the analyses of feature models: A metamorphic testing approach | Segura, S; Benavides, D; Ruiz-Cortés, A; Hierons, RM |
| 2002 | A separable approximation dynamic programming algorithm for economic dispatch with transmission losses | Hansen, P; Mladenović, N |
| 2007 | A grid computing framework for commercial simulation packages | Mustafee, Navonil |
| 2009 | Proximity-based systems: Incorporating mobility and scalability through proximity sensing | Umashangar, Caroline Sumathi |
| 2012 | Cloud computing and context-awareness: A study of the adapted user experience | Grønli, Tor-Morten |
| 2004 | In situ imaging and isolation of proteins using dsDNA oligonucleotides | Dellaire, G; Nisman, R; Eskiw, CH; Bazett-Jones, DP |
| 2006 | Location based mobile computing - a tuplespace perspective | Fongen, A; Larsen, C; Ghinea, G; Taylor, SJE; Serif, T |
| 2009 | Objective assessment of region of interest-aware adaptive multimedia streaming quality | Ciubotariu, B; Muntean, GM; Ghinea, G |
| 2012 | Exploring the role of commercial stakeholders in open source software evolution | Capiluppi, A; Stol, K; Boldyreff, C |
| 2009 | Special issue on "Ubiquitous e-Learning solutions over heterogeneous networks" | Ghinea, G; Stergioulas, L; Chen, S; Tiropanis, T; Tsekeridou, S |
| 2005 | The adoption of e-government in the Kingdom of Bahrain | Ebrahim, Zakareya Ahmed |
| 2011 | The effects of individual differences and instructional aids on learners' disorientation, learning performance and attitudes in a hypermedia learning system | Ruttun, Rishi |
| 2005 | Interactive learning systems for higher education: Learning styles and students' attitude | Sabry, Khaled A |
| 2011 | Discovering latent topical structure by second-order similarity analysis | Cribbin, T |
| 2004 | Pooling problem: Alternate formulations and solution methods | Audet, C; Brimberg, J; Hansen, P; Le Digabel, S; Mladenović, N |
| 2003 | An oil pipeline design problem | Brimberg, J; Hansen, P; Lih, KW; Mladenović, N; Breton, M |
| 2010 | Renewable energy and sociotechnical change: Imagined subjectivities of 'the public' and their implications | Walker, G; Cass, N; Burningham, K; Barnett, J |
| 1999 | Evolutionary approaches to robot path planning | Kent, Simon |
| 2015 | Advanced signal processing techniques for multimodal ultrasonic guided wave response | Fateri, Sina |
| 2007 | Industrial constructions of publics and public knowledge: a qualitative investigation of practice in the UK chemicals industry | Burningham, K; Barnett, J; Carr, A; Clift, R; Wehrmeyer, W |
