2006 |
6 | EE | Michael Collins,
Charles Reynolds,
Christine Le,
Cihan Varol,
Coskun Bayrak:
Automated data verification in a format-free environment.
ACM SIGSOFT Software Engineering Notes 31(2): 1-4 (2006) |
2003 |
5 | | Charles Reynolds:
An Undergraduate Information Assurance Curriculum.
IAW 2003: 10-16 |
1999 |
4 | EE | Blaine Burnham,
Cynthia E. Irvine,
Charles Reynolds,
Ravi S. Sandhu,
Rayford B. Vaughn:
Information Security Education for the Next Millennium: Building the Next Generation of Practitioners (Forum).
ACSAC 1999: 265- |
1996 |
3 | EE | Charles Reynolds,
Christopher J. Fox:
Requirements for a computer science curriculum emphasizing information technology: subject area curriculum issues.
SIGCSE 1996: 247-251 |
1976 |
2 | | Charles Reynolds,
Raymond T. Yeh:
Induction as the Basis for Program Verification (Abstract).
ICSE 1976: 389 |
1 | | Charles Reynolds,
Raymond T. Yeh:
Induction as the Basis for Program Verification.
IEEE Trans. Software Eng. 2(4): 244-252 (1976) |