| Publication | Date of Publication | Type |
|---|
| GATlab: modeling and programming with generalized algebraic theories | 2026-04-02 | Paper |
Cartesian double theories: a double-categorical framework for categorical doctrines
Advances in Mathematics | 2024-04-24 | Paper |
A diagrammatic view of differential equations in physics
Mathematics in Engineering | 2024-03-14 | Paper |
Compositional Modeling with Stock and Flow Diagrams
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Operadic modeling of dynamical systems: mathematics and computation
(available as arXiv preprint) | 2024-02-13 | Paper |
| Operadic modeling of dynamical systems: mathematics and computation | 2024-02-13 | Paper |
Computational category-theoretic rewriting
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
| A Categorical Representation Language and Computational System for Knowledge-Based Planning | 2023-05-26 | Paper |
| Structured and Decorated Cospans from the Viewpoint of Double Category Theory | 2023-04-02 | Paper |
Categorical Data Structures for Technical Computing
Compositionality | 2023-01-12 | Paper |
| A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks | 2023-01-03 | Paper |
| Computational Category-Theoretic Rewriting | 2022-12-07 | Paper |
| An Algebraic Framework for Structured Epidemic Modeling | 2022-02-28 | Paper |
Hausdorff and Wasserstein metrics on graphs and other structured data
Information and Inference: A Journal of the IMA | 2022-02-22 | Paper |
| Wiring diagrams as normal forms for computing in symmetric monoidal categories | 2022-01-10 | Paper |
Wiring diagrams as normal forms for computing in symmetric monoidal categories
(available as arXiv preprint) | 2022-01-10 | Paper |
| The algebra and machine representation of statistical models | 2020-06-16 | Paper |
| Compositional Scientific Computing with Catlab and SemanticModels | 2020-05-10 | Paper |
Conformalized Quantile Regression
(available as arXiv preprint) | 2019-05-08 | Paper |
| Knowledge Representation in Bicategories of Relations | 2017-06-01 | Paper |
Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems
(available as arXiv preprint) | N/A | Paper |
Products in double categories, revisited
(available as arXiv preprint) | N/A | Paper |
The diagrammatic presentation of equations in categories
(available as arXiv preprint) | N/A | Paper |
Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations
(available as arXiv preprint) | N/A | Paper |
A Compositional Framework for First-Order Optimization
(available as arXiv preprint) | N/A | Paper |
Representing Knowledge and Querying Data using Double-Functorial Semantics
(available as arXiv preprint) | N/A | Paper |
Transposing cartesian and other structure in double categories
(available as arXiv preprint) | N/A | Paper |
