Stephen Tate

According to our database, Stephen Tate authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems.

Larry Joshua Crotts, Stephen Tate

Proceedings of the 2022 6th International Conference on Education and E-Learning, 2022

Promoting a Common Testbed for Natural Deduction Tutoring Systems.

Larry Joshua Crotts, Stephen Tate

Proceedings of the 2022 6th International Conference on Education and E-Learning, 2022

2020

Characterizing Vulnerabilities in a Major Linux Distribution.

Stephen Tate, Moulika Bollinadi, Joshua Moore

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020