Katherine Braught

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Theoretical Frameworks

Cognitive Agents

Oriented Programming

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR (2023)
Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) (2023)
Ghazaleh Parvini, Katherine Braught, David Fernández-Baca
Checking Phylogenetics Decisiveness in Theory and in Practice. IEEE ACM Trans. Comput. Biol. Bioinform. 19 (6) (2022)
Ghazaleh Parvini, Katherine Braught, David Fernández-Baca
Checking Phylogenetic Decisiveness in Theory and in Practice. CoRR (2020)
Ghazaleh Parvini, Katherine Braught, David Fernández-Baca
Checking Phylogenetic Decisiveness in Theory and in Practice. ISBRA (2020)