Induction as the Basis for Program Verification (Abstract). - Charles Reynolds; Raymond T. Yeh (ICSE, 1976)

Induction as the Basis for Program Verification. - Charles Reynolds; Raymond T. Yeh (IEEE Trans. Software Eng., 1976)

Requirements for a computer science curriculum emphasizing information technology: subject area curriculum issues. - Charles Reynolds; Christopher J. Fox (SIGCSE, 1996)

Information Security Education for the Next Millennium: Building the Next Generation of Practitioners (Forum). - Ron Ross; Cynthia E. Irvine; Charles Reynolds; Ravi S. Sandhu; Blaine Burnham; Rayford B. Vaughn (ACSAC, 1999)

An Undergraduate Information Assurance Curriculum. - Charles Reynolds (IAW, 2003)

E-mail programming with perl. - Nicholas Karlson; Charles Reynolds (J. Comput. Sci. Coll., 2003)

Automated data verification in a format-free environment. - Michael Collins; Charles Reynolds; Christine Le; Cihan Varol; Coskun Bayrak (ACM SIGSOFT Softw. Eng. Notes, 2006)

Joint Training of Neural Network Ensembles. - Andrew M. Webb; Charles Reynolds; Dan-Andrei Iliescu; Henry W. J. Reeve; Mikel Luján; Gavin Brown 001 (CoRR, 2019)

To Ensemble or Not Ensemble: When Does End-to-End Training Fail? - Andrew M. Webb; Charles Reynolds; Wenlin Chen; Henry W. J. Reeve; Dan-Andrei Iliescu; Mikel Luján; Gavin Brown 001 (ECML/PKDD (3), 2020)