Kristopher Brown

According to our database, Kristopher Brown authored at least 8 papers between 2019 and 2023.

Collaborative distances:

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

2023

Computational category-theoretic rewriting.

Kristopher Brown, Evan Patterson, Tyler Hanks, James P. Fairbanks

J. Log. Algebraic Methods Program., August, 2023

Dynamic Tracing: a graphical language for rewriting protocols.

Kristopher Brown, David I. Spivak

CoRR, 2023

2022

Compositional Exploration of Combinatorial Scientific Models.

Kristopher Brown, Tyler Hanks, James P. Fairbanks

CoRR, 2022

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

Double pushout rewriting of C-sets.

Kristopher Brown, Evan Patterson, James P. Fairbanks

CoRR, 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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Categorical Data Integration for Computational Science.

Kristopher Brown, David I. Spivak, Ryan Wisnesky

CoRR, 2019