An algebraic framework for structured epidemic modelling S Libkind, A Baas, M Halter, E Patterson, JP Fairbanks Philosophical Transactions of the Royal Society A 380 (2233), 20210309, 2022 | 19 | 2022 |
Compositional scientific computing with Catlab and SemanticModels M Halter, E Patterson, A Baas, J Fairbanks arXiv preprint arXiv:2005.04831, 2020 | 15 | 2020 |
A compositional framework for scientific model augmentation M Halter, C Herlihy, J Fairbanks arXiv preprint arXiv:1907.03536, 2019 | 3 | 2019 |
SemanticModels. jl: A Julia Package for Scientific Model Augmentation M Halter, S Raparti, K Cao, C Herlihy, J Fairbanks Proceedings of the JuliaCon Conferences 1 (1), 57, 2020 | | 2020 |
Catlab. jl: A framework for applied category theory. doi: 10.17605/OSF. IO/HMNFE E Patterson, A Baas, J Fairbanks, M Halter, S Libkind, O Lynch | | 2020 |
Typed and Stratified Models with Slice Categories S Libkind, A Baas, M Halter, E Patterson, J Fairbanks Applied Category Theory 2022, 0 | | |
mehalter/Petri. jl: Release v0. 3.0 M Halter Zenodo, 0 | | |
jpfairbanks/SemanticModels. jl: Release v0. 3.0 M Halter, C Herlihy, K Cao, B Ryan, B Ide Zenodo, 0 | | |