Categorical Data Integration for Computational Science. - Kristopher Brown; David I. Spivak; Ryan Wisnesky (CoRR, 2019)

Pono: A Flexible and Extensible SMT-Based Model Checker. - Makai Mann; Ahmed Irfan; Florian Lonsing; Yahan Yang; Hongce Zhang; Kristopher Brown; Aarti Gupta; Clark W. Barrett (CAV (2), 2021)

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. - Makai Mann; Amalee Wilson; Yoni Zohar; Lindsey Stuntz; Ahmed Irfan; Kristopher Brown; Caleb Donovick; Allison Guman; Cesare Tinelli; Clark W. Barrett (SAT, 2021)

Double pushout rewriting of C-sets. - Kristopher Brown; Evan Patterson; James P. Fairbanks (CoRR, 2021)

MCML: Combining physical constraints with experimental data for a multi-purpose meta-generalized gradient approximation. - Kristopher Brown; Yasheng Maimaiti; Kai Trepte; Thomas Bligaard; Johannes Voss (J. Comput. Chem., 2021)

Compositional Exploration of Combinatorial Scientific Models. - Kristopher Brown; Tyler Hanks; James P. Fairbanks (CoRR, 2022)

Dynamic Tracing: a graphical language for rewriting protocols. - Kristopher Brown; David I. Spivak (CoRR, 2023)

Computational category-theoretic rewriting. - Kristopher Brown; Evan Patterson; Tyler Hanks; James P. Fairbanks (J. Log. Algebraic Methods Program., 2023)

GATlab: Modeling and Programming with Generalized Algebraic Theories. - Owen Lynch; Kristopher Brown; James P. Fairbanks; Evan Patterson (CoRR, 2024)