Characterizing Vulnerabilities in a Major Linux Distribution. - Stephen Tate; Moulika Bollinadi; Joshua Moore (SEKE, 2020)

Promoting a Common Testbed for Natural Deduction Tutoring Systems. - Larry Joshua Crotts; Stephen Tate (ICEEL, 2022)

Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems. - Larry Joshua Crotts; Stephen Tate (ICEEL, 2022)