Steve Earth

According to our database, Steve Earth authored at least 9 papers between 2020 and 2025.

Collaborative distances:

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

2025

From Algorithms to Axioms: Classifying Proof Errors of Novice Programmers.

Steve Earth, Bruce W. Char, Jeremy Johnson

J. Comput. Sci. Coll., 2025

2024

Programming Skills as a Gateway to Proof Writing Proficiency.

Steve Earth, Jeremy Johnson, Bruce W. Char

J. Comput. Sci. Coll., 2024

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.

Bruce W. Char, Jeremy Johnson, Steve Earth

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

Prove It with Proof Buddy: The Programmer's Sidekick for Learning Proof Writing.

Steve Earth, Jeremy Johnson, Bruce W. Char

J. Comput. Sci. Coll., 2023

A Web App for Writing with Mathematical Logic.

Bruce W. Char, Steve Earth, Jeremy Johnson

J. Comput. Sci. Coll., 2023

Proof Buddy: A Tool to Aid Students in Proof Construction.

Steve Earth, Jeremy R. Johnson, Bruce W. Char

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2022

Establishing a Connection between Programming and Proof Writing.

Steve Earth

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Retention and Transfer of Mathematical Thinking in the CS Curriculum.

Bruce W. Char, Steve Earth

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2020

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course.

Steve Earth, Bruce W. Char, Jeremy Johnson

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020