Hannah Miller

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Theoretical Basis

Computer Science

Undergraduate Students

Top Venues

Publications

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