Katherine Braught

According to our database, Katherine Braught authored at least 6 papers between 2020 and 2025.

Collaborative distances:

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

2025

Novice Difficulties in Graph Layering for Algorithm Design.

Hongxuan Chen, Katherine Braught, Geoffrey L. Herman, Jeff Erickson

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

Creating a Community of Graduate Student Computer Science Education Researchers.

Grace Barkhuff, Katherine Braught, Emma R. Dodoo, Michael Link, Xinying Hou, Elliot Roe

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, 2025

'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods.

Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1, 2025

2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Checking Phylogenetics Decisiveness in Theory and in Practice.

Ghazaleh Parvini, Katherine Braught, David Fernández-Baca

IEEE ACM Trans. Comput. Biol. Bioinform., 2022

2020

Checking Phylogenetic Decisiveness in Theory and in Practice.

Ghazaleh Parvini, Katherine Braught, David Fernández-Baca

Proceedings of the Bioinformatics Research and Applications - 16th International Symposium, 2020