Hannah Miller

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