Checking Phylogenetic Decisiveness in Theory and in Practice. - Ghazaleh Parvini; Katherine Braught; David Fernández-Baca (ISBRA, 2020)

Checking Phylogenetics Decisiveness in Theory and in Practice. - Ghazaleh Parvini; Katherine Braught; David Fernández-Baca (IEEE ACM Trans. Comput. Biol. Bioinform., 2022)

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. - Yangge Li; Haoqing Zhu; Katherine Braught; Keyi Shen; Sayan Mitra (CAV (1), 2023)

'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 (ITiCSE (1), 2025)

Creating a Community of Graduate Student Computer Science Education Researchers. - Grace Barkhuff; Katherine Braught; Emma R. Dodoo; Michael Link; Xinying Hou; Elliot Roe (SIGCSE (2), 2025)

Novice Difficulties in Graph Layering for Algorithm Design. - Hongxuan Chen; Katherine Braught; Geoffrey L. Herman; Jeff Erickson 001 (SIGCSE (2), 2025)