Kristopher Brown

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Data Integration

Weighted Max Sat

Top Venues

J. Log. Algebraic Methods Program.

Publications

Owen Lynch, Kristopher Brown, James P. Fairbanks, Evan Patterson
GATlab: Modeling and Programming with Generalized Algebraic Theories. CoRR (2024)
Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks
Computational category-theoretic rewriting. J. Log. Algebraic Methods Program. 134 (2023)
Kristopher Brown, David I. Spivak
Dynamic Tracing: a graphical language for rewriting protocols. CoRR (2023)
Kristopher Brown, Tyler Hanks, James P. Fairbanks
Compositional Exploration of Combinatorial Scientific Models. CoRR (2022)
Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks
Computational Category-Theoretic Rewriting. ICGT (2022)
Kristopher Brown, Yasheng Maimaiti, Kai Trepte, Thomas Bligaard, Johannes Voss
MCML: Combining physical constraints with experimental data for a multi-purpose meta-generalized gradient approximation. J. Comput. Chem. 42 (28) (2021)
Kristopher Brown, Evan Patterson, James P. Fairbanks
Double pushout rewriting of C-sets. CoRR (2021)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
Pono: A Flexible and Extensible SMT-Based Model Checker. CAV (2) (2021)
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. SAT (2021)
Kristopher Brown, David I. Spivak, Ryan Wisnesky
Categorical Data Integration for Computational Science. CoRR (2019)