Steve Earth

According to our database, Steve Earth authored at least 5 papers between 2020 and 2024.

Collaborative distances:

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

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

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