| 2023 | AAAI | GRASMOS: Graph Signage Model Selection for Gene Regulatory Networks. | Angelina Brilliantova, Hannah Miller, Ivona Bezkov |
| 2023 | AAAI | Counting Knot Mosaics with ALLSAT (Student Abstract). | Hannah Miller |
| 2023 | SIGCSE | Feedback Tools and Motivation to Persist in Intro CS Theory. | Ivona Bezkov, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narvez |
| 2023 | SIGCSE | Using Knot Mosaics to Introduce Undergraduates to SAT. | Hannah Miller |
| 2022 | AAAI | Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract). | Hannah Miller |
| 2022 | SIGCSE | Remote Early Research Experiences for Undergraduate Students in Computing. | Cecilia O. Alm, Reynold Bailey, Hannah Miller |
| 2022 | SIGCSE | Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension. | Ivona Bezkov, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narvez |
| 2022 | SIGCSE | Pencil Puzzles as a Context for Introductory Computing Assignments in Diverse Settings. | Zack Butler, Ivona Bezkov, Angelina Brilliantova, Hannah Miller, Kimberly Fluet |
| 2021 | AAAI | Toward Determining NFA Equivalence via QBFs (Student Abstract). | Hannah Miller, David E. Narvez |
| 2021 | SIGCSE | Witness Feedback for Introductory CS Theory Assignments. | Ivona Bezkov, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narvez |
| 2020 | SIGCSE | Prototype of an Automated Feedback Tool for Intro CS Theory. | Ivona Bezkov, Edith Hemaspaandra, Aryeh Lieberman, Hannah Miller, David E. Narvez |