Model-Based Reasoning: A Principled Approach for Software Engineering

Lee M.H., Model-Based Reasoning: A Principled Approach for Software Engineering, Software - Concepts and Tools,19(4), pp179-189, 2000.

Estimating random transverse velocities in the fast solar wind from EISCAT Interplanetary Scintillation measurements

Canals, A.; Breen, A. R.; Ofman, L.; Moran, P. J.; Fallows, R. A., Estimating random transverse velocities in the fast solar wind from EISCAT Interplanetary Scintillation measurements, Annales Geophysicae, vol. 20, Issue 9, pp.1265-1277

Steady-state motion of a Mode-III crack on imperfect interfaces

Mishuris, Gennady; Movchan, N.V.; Movchan, A.B., (2006) 'Steady-state motion of a Mode-III crack on imperfect interfaces', Quarterly Journal of Mechanics and Applied Mathematics 59(4) pp.487-516 RAE2008

Synchrotron-laser pump-probe luminescence spectroscopy: Correlation of electronic defect states with x-ray absorption in wide-gap solids

Poolton, Nigel; Hamilton, B.; Evans, D.A., (2005) 'Synchrotron-laser pump-probe luminescence spectroscopy: Correlation of electronic defect states with x-ray absorption in wide-gap solids', Journal of Physics D: Applied Physics 38 pp.1478-1484 RAE2008

The dayside high-latitude trough under quiet geomagnetic conditions: Radio tomography and the CTIP model

Pryse, Sian; Dewis, K.L.; Middleton, H.R.; Balthazor, R.L., (2005) 'The dayside high-latitude trough under quiet geomagnetic conditions: Radio tomography and the CTIP model', Annales Geophysicae 23(4) pp.1199-1206 RAE2008

Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation

Cairns, A. J., Gallagher, J. A. (2004). Absence of turnover and futile cycling of sucrose in leaves of Lolium temulentum L.: implications for metabolic compartmentation. Planta, 219 (5), 836-846. Sponsorship: BBSRC RAE2008

The ecological effects of exotic disease resistance genes introgressed into British gooseberries

Warren, J. and James, P. (2006). The ecological effects of exotic disease resistance genes introgressed into British gooseberries. Oecologia 147(1),69-75. RAE2008

Construction of a Festuca pratensis BAC library for map-based cloning in IFestulolium substitution lines

Iain S. Donnison, Donal M. O Sullivan, Ann Thomas, Peter Canter, Beverley Moore, Ian Armstead, Howard Thomas, Keith J. Edwards and Ian P. King (2005). Construction of a Festuca pratensis BAC library for map-based cloning in Festulolium substitution lines. Theoretical and Applied Genetics, 110 (5) pp.846-851 Sponsorship: BBSRC;BBSRC RAE2008