Stephen Tate

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Tutoring System

Linear Time Temporal Logic

Natural Deduction

Student Modelling

Top Venues

Distributed Ledger Technol. Res. Pract.

Publications

Larry Joshua Crotts, Stephen Tate
Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems. ICEEL (2022)
Larry Joshua Crotts, Stephen Tate
Promoting a Common Testbed for Natural Deduction Tutoring Systems. ICEEL (2022)
Franklin Wei, Stephen Tate, Mahalingam Ramkumar, Somya D. Mohanty
A Scalable Trustworthy Infrastructure for Collaborative Container Repositories. Distributed Ledger Technol. Res. Pract. 1 (1) (2022)
Stephen Tate, Moulika Bollinadi, Joshua Moore
Characterizing Vulnerabilities in a Major Linux Distribution. SEKE (2020)