16 citations · 72 across the 14 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Compositional Exploration of Combinatorial Scientific Models
Kristopher Brown, Tyler Hanks, James Fairbanks
We implement a novel representation of model search spaces as diagrams over a category of models, where we have restricted attention to a broad class of models whose structure is p…
cs.LO2021
Computational category-theoretic rewriting
Kristopher Brown, Evan Patterson, Tyler Hanks +1
We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph rewriting. By examples…