Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course. - Steve Earth; Bruce W. Char; Jeremy Johnson 001 (SIGCSE, 2020)

Retention and Transfer of Mathematical Thinking in the CS Curriculum. - Bruce W. Char; Steve Earth (SIGCSE (2), 2022)

Establishing a Connection between Programming and Proof Writing. - Steve Earth (SIGCSE (2), 2022)

Proof Buddy: A Tool to Aid Students in Proof Construction. - Steve Earth; Jeremy R. Johnson; Bruce W. Char (SIGCSE (2), 2023)

A Web App for Writing with Mathematical Logic. - Bruce W. Char; Steve Earth; Jeremy Johnson 001 (J. Comput. Sci. Coll., 2023)

Prove It with Proof Buddy: The Programmer's Sidekick for Learning Proof Writing. - Steve Earth; Jeremy Johnson 001; Bruce W. Char (J. Comput. Sci. Coll., 2023)

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. - Bruce W. Char; Jeremy Johnson 001; Steve Earth (SIGCSE (2), 2024)

Programming Skills as a Gateway to Proof Writing Proficiency. - Steve Earth; Jeremy Johnson 001; Bruce W. Char (J. Comput. Sci. Coll., 2024)

From Algorithms to Axioms: Classifying Proof Errors of Novice Programmers. - Steve Earth; Bruce W. Char; Jeremy Johnson 001 (J. Comput. Sci. Coll., 2025)