Katherine Braught

According to our database, Katherine Braught authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

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