Measuring the comprehensibility of Z specifications. - Kate Finney; Keith Rennolls; Alexander M. Fedorec (J. Syst. Softw., 1998)

TREAT: A Reverse Engineering Method and Tool for Environmental Databases. - Mohamed T. Ibrahim; Alexander M. Fedorec; Keith Rennolls (DEXA, 2001)

On The Persistence of Computer Dreams - An Application Framework for Robust Adaptive Deployment. - Alun Butler; Mohamed T. Ibrahim; Keith Rennolls; Liz Bacon (DEXA Workshops, 2004)

Requirements and Design of an Integrated European Environmental Information Communication System (IEEICS). - Keith Rennolls; Tim Richards; Alexander M. Fedorec; Mohamed T. Ibrahim; Kevin McManus; Alun Butler (DEXA Workshops, 2004)

Models and Tools for an Integrated European Environmental Management and Decision Support System, (IEEMDSS). - Keith Rennolls; Tim Richards; Alexander M. Fedorec; Mohamed T. Ibrahim; Kevin McManus; Alun Butler (DEXA Workshops, 2004)

A Partial Ontology for Forest Inventory and Mensuration. - Keith Rennolls (DEXA Workshops, 2005)

An Architectural Design for a Forest Information and Communications Portal (FICP). - Keith Rennolls (DEXA Workshops, 2005)

An Intelligent Framework (O-SS-E) for Data Mining, Knowledge Discovery and Business Intelligence. - Keith Rennolls (DEXA Workshops, 2005)

Visualization and Bayesian Nets to link Business Aims. - Keith Rennolls (DEXA Workshops, 2006)

Composing simulation architectures for autonomic systems. - Alun Butler; Moh Ibrahim; Keith Rennolls; Liz Bacon (Knowl. Eng. Rev., 2006)

Formal structures for data mining, knowledge discovery and communication in a knowledge management environment. - Keith Rennolls; Abdallah Al-Shawabkeh (Intell. Data Anal., 2008)

ZEIDE'S LOGIC, AND CONCLUSION, "Falsification without verification (and hence induction) cannot exist", are invalid. - Keith Rennolls (Math. Comput. For. Nat. Resour. Sci., 2010)

Falsification and Certainty - repost. - Keith Rennolls (Math. Comput. For. Nat. Resour. Sci., 2010)