Hannah Miller

According to our database, Hannah Miller authored at least 12 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using Knot Mosaics to Introduce Undergraduates to SAT.

Hannah Miller

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Feedback Tools and Motivation to Persist in Intro CS Theory.

Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Counting Knot Mosaics with ALLSAT (Student Abstract).

Hannah Miller

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

GRASMOS: Graph Signage Model Selection for Gene Regulatory Networks.

Angelina Brilliantova, Hannah Miller, Ivona Bezáková

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Pencil Puzzles as a Context for Introductory Computing Assignments in Diverse Settings.

Zack Butler, Ivona Bezáková, Angelina Brilliantova, Hannah Miller, Kimberly Fluet

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Effective Succinct Feedback for Intro CS Theory: A JFLAP Extension.

Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Remote Early Research Experiences for Undergraduate Students in Computing.

Cecilia O. Alm, Reynold Bailey, Hannah Miller

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract).

Hannah Miller

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Witness Feedback for Introductory CS Theory Assignments.

Ivona Bezáková, Kimberly Fluet, Edith Hemaspaandra, Hannah Miller, David E. Narváez

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Toward Determining NFA Equivalence via QBFs (Student Abstract).

Hannah Miller, David E. Narváez

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Prototype of an Automated Feedback Tool for Intro CS Theory.

Ivona Bezáková, Edith Hemaspaandra, Aryeh Lieberman, Hannah Miller, David E. Narváez

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020