Prototype of an Automated Feedback Tool for Intro CS Theory. - Ivona Bezáková; Edith Hemaspaandra; Aryeh Lieberman; Hannah Miller; David E. Narváez (SIGCSE, 2020)

Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (CoRR, 2020)

Toward Determining NFA Equivalence via QBFs (Student Abstract). - Hannah Miller; David E. Narváez (AAAI, 2021)

Witness Feedback for Introductory CS Theory Assignments. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE, 2021)

Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract). - Hannah Miller (AAAI, 2022)

Remote Early Research Experiences for Undergraduate Students in Computing. - Cecilia O. Alm; Reynold Bailey; Hannah Miller (SIGCSE (1), 2022)

Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE (1), 2022)

Pencil Puzzles as a Context for Introductory Computing Assignments in Diverse Settings. - Zack Butler 001; Ivona Bezáková; Angelina Brilliantova; Hannah Miller; Kimberly Fluet (SIGCSE (2), 2022)

GRASMOS: Graph Signage Model Selection for Gene Regulatory Networks. - Angelina Brilliantova; Hannah Miller; Ivona Bezáková (AAAI, 2023)

Counting Knot Mosaics with ALLSAT (Student Abstract). - Hannah Miller (AAAI, 2023)

Feedback Tools and Motivation to Persist in Intro CS Theory. - Ivona Bezáková; Kimberly Fluet; Edith Hemaspaandra; Hannah Miller; David E. Narváez (SIGCSE (2), 2023)

Using Knot Mosaics to Introduce Undergraduates to SAT. - Hannah Miller (SIGCSE (2), 2023)