Token-by-token Syntax-directed Editing (Using an LR Parser). - Roger G. Stone; Gada F. Kadoda (Softw. Pract. Exp., 1996)

Formal software development tools : (an investigation into usability). - Gada F. Kadoda (1997)

Desirable features of educational theorem provers - a cognitive dimensions viewpoint. - Gada F. Kadoda; Roger G. Stone; Dan Diaper (PPIG, 1999)

A Cognitive Dimensions view of the differences between designers and users of theorem proving assistants. - Gada F. Kadoda (PPIG, 2000)

On Building Prediction Systems for Software Engineers. - Martin J. Shepperd; Michelle Cartwright; Gada F. Kadoda (Empir. Softw. Eng., 2000)

An investigation of machine learning based prediction systems. - Carolyn Mair; Gada F. Kadoda; Martin Lefley; Keith Phalp; Chris Schofield; Martin J. Shepperd; Steve Webster (J. Syst. Softw., 2000)

Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. - Alan F. Blackwell; Carol Britton; Anna Louise Cox; Thomas R. G. Green; Corin A. Gurr; Gada F. Kadoda; Maria Kutar; Martin J. Loomes; Chrystopher L. Nehaniv; Marian Petre; Chris Roast; Chris Roe; et al. (Cognitive Technology, 2001)

Issues on the Effective Use of CBR Technology for Software Project Prediction. - Gada F. Kadoda; Michelle Cartwright; Martin J. Shepperd (ICCBR, 2001)

Using Simulation to Evaluate Prediction Techniques. - Martin J. Shepperd; Gada F. Kadoda (IEEE METRICS, 2001)

Comparing Software Prediction Techniques Using Simulation. - Martin J. Shepperd; Gada F. Kadoda (IEEE Trans. Software Eng., 2001)

Introducing Survival Ethics into Engineering Education and Practice. - Charles Verharen; John Tharakan; George Middendorf; M. Castro-Sitiriche; Gada F. Kadoda (Sci. Eng. Ethics, 2013)

Survival Ethics in the Real World: The Research University and Sustainable Development. - Charles Verharen; John Tharakan; Flordeliz Bugarin; Joseph Fortunak; Gada F. Kadoda; George Middendorf (Sci. Eng. Ethics, 2014)