Follow
Micah Halter
Micah Halter
Research Scientist, Georgia Tech Research Institute
Verified email at mehalter.com - Homepage
Title
Cited by
Cited by
Year
Compositional scientific computing with Catlab and SemanticModels
M Halter, E Patterson, A Baas, J Fairbanks
arXiv preprint arXiv:2005.04831, 2020
162020
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
142022
A compositional framework for scientific model augmentation
M Halter, C Herlihy, J Fairbanks
arXiv preprint arXiv:1907.03536, 2019
32019
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
The system can't perform the operation now. Try again later.
Articles 1–8