The necessity of the past and modal-tense logic incompleteness. - Michael J. White (Notre Dame J. Formal Log., 1984)

An "almost classical" period-based tense logic. - Michael J. White (Notre Dame J. Formal Log., 1988)

Stream Option Manager. - William P. Niedringhaus; Michael J. White; Patrick L. Jones (WSC, 2004)

A quantitative phosphorus loss assessment tool for agricultural fields. - Michael J. White; Daniel E. Storm; Philip R. Busteed; Michael D. Smolen; Hailin Zhang 002; Garey A. Fox (Environ. Model. Softw., 2010)

C-SWAT: The Soil and Water Assessment Tool with consolidated input files in alleviating computational burden of recursive simulations. - Haw Yen; Mehdi Ahmadi; Michael J. White; Xiuying Wang 003; Jeffrey G. Arnold (Comput. Geosci., 2014)

Design and development of a Python-based interface for processing massive data with the LOAD ESTimator (LOADEST). - Jungang Gao; Michael J. White; Katrin Bieger; Jeffrey G. Arnold (Environ. Model. Softw., 2021)