David Scholefield

发表

Transformational vs Reactive Refinement in Real-Time Systems

Simon Atkinson, David Scholefield, 1995, Inf. Process. Lett..

Real-Time Refinement: Semantics and Application

Hussein Zedan, Jifeng He, David Scholefield, 1993, MFCS.

Real-time refinement in Manna and Pnueli's temporal logic

David Scholefield, 2005, Formal Aspects of Computing.

Book review: Specification and Proof in Real Time CSP

David Scholefield, 1994 .

A Predicative Semantics for the Refinement of Real-Time Systems

Hussein Zedan, Jifeng He, David Scholefield, 1993, MFPS.

A model to simulate the effects of different dietary strategies on the sustainability of a dairy farm system.

David Scholefield, A. Del Prado, L. Brown, 2006 .

Proving Properties of Real-Time Semaphores

David Scholefield, D. Scholefield, 1995, Sci. Comput. Program..

Compensation functions and requirements

Hussein Zedan, David Scholefield, 1990, EW 4.

Interfacing a fine resolution dataset and a one dimensional model to test quality of output with respect to preferential flow

David Scholefield, Nicholas M. Holden, A. J. Williams, 1995 .

Weakest Precondition Semantics for Time and Concurrency

Hussein Zedan, David Scholefield, 1992, Inf. Process. Lett..

A Specification-Oriented Semantics for the Refinement of Real-Time Systems

Hussein Zedan, Jifeng He, David Scholefield, 1994, Theor. Comput. Sci..

A simple process‐based model for estimating ammonia emissions from agricultural land after fertilizer applications

Mark A. Sutton, David Scholefield, Tom Misselbrook, 2004 .

Modelling Nitrogen Fluxes at the Landscape Scale

J. Webb, Mark R. Theobald, Mark A. Sutton, 2004 .

Automatic continuous river monitoring of nitrate using a novel ion-selective electrode.

David Scholefield, D. Scholefield, J. Braven, 2003, Journal of environmental monitoring : JEM.

Concerted diurnal patterns in riverine nutrient concentrations and physical conditions.

David Scholefield, D. Scholefield, J. Braven, 2005, The Science of the total environment.

Mechanistic aspects of nitrate-selective electrodes with immobilsed ion exchangers in a rubbery membrane

David Scholefield, Thierry Le Goff, D. Scholefield, 2003 .

Quantifying annual N2O emission fluxes from grazed grassland under a range of inorganic fertiliser nitrogen inputs

David Scholefield, David Chadwick, M. S. Dhanoa, 2010 .

Grazing legumes in Europe: a review of their status, management, benefits, research needs and future prospects

David Scholefield, C. J. Doyle, M. Sitzia, 2004 .

Nutrient Cycling Budgets in Managed Pastures

David Scholefield, D. Scholefield, R. Bol, 2007 .

Use of SIMSDAIRY modelling framework system to compare the scope on the sustainability of a dairy farm of animal and plant genetic-based improvements with management-based changes

David Scholefield, A. Del Prado, A. Prado, 2008, The Journal of Agricultural Science.

NGAUGE : A decision support system to optimise N fertilisation of British grassland for economic and environmental goals

David Scholefield, A. Del Prado, A. Prado, 2005 .

Phosphate-selective electrodes containing immobilised ionophores

David Scholefield, Thierry Le Goff, D. Scholefield, 2004 .

Integration for sustainable catchment management.

Christopher J A Macleod, David Scholefield, D. Scholefield, 2007, The Science of the total environment.

Estimating peak nitrate concentrations from annual nitrate loads

David Scholefield, D. Scholefield, E. Lord, 1996 .

Assessment of the nitrogen status of grassland

David Scholefield, François Gastal, F. Gastal, 2004 .