| Machine improvisation with formal specifications A Donzé, R Valle, I Akkaya, S Libkind, SA Seshia, D Wessel Ann Arbor, MI: Michigan Publishing, University of Michigan Library, 2014 | 40 | 2014 |
| Control improvisation with application to music A Donzé, S Libkind, SA Seshia, D Wessel EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS …, 2013 | 28 | 2013 |
| Operadic modeling of dynamical systems: mathematics and computation S Libkind, A Baas, E Patterson, J Fairbanks arXiv preprint arXiv:2105.12282, 2021 | 22 | 2021 |
| 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 | 15 | 2022 |
| Compositional modeling with stock and flow diagrams J Baez, X Li, S Libkind, N Osgood, E Patterson arXiv preprint arXiv:2205.08373, 2022 | 10 | 2022 |
| An algebra of resource sharing machines S Libkind arXiv preprint arXiv:2007.14442, 2020 | 4 | 2020 |
| An Algebraic Framework for Stock & Flow Diagrams and Dynamical Systems Using Category Theory X Li, J Baez, S Libkind, E Redekopp, L Pham, ND Osgood arXiv e-prints, arXiv: 2211.01290, 2022 | 1 | 2022 |
| A Categorical Framework for Modeling with Stock and Flow Diagrams JC Baez, X Li, S Libkind, ND Osgood, E Redekopp Mathematics of Public Health: Mathematical Modelling from the Next …, 2023 | | 2023 |
| SOFTWARE FOR COMPOSITIONAL MODELING IN EPIDEMIOLOGY J Baez, X LI, S LIBKIND, ND OSGOOD, E REDEKOPP | | 2023 |
| Additive Invariants of Open Petri Nets BM Bumpus, S Libkind, JL Garcia, L Sorkatti, S Tenka arXiv preprint arXiv:2303.01643, 2023 | | 2023 |
| Additive Invariants of Open Petri Nets B Merlin Bumpus, S Libkind, J Lopez Garcia, L Sorkatti, S Tenka arXiv e-prints, arXiv: 2303.01643, 2023 | | 2023 |
| Control Improvisation with Applications to Music S Libkind, A Donzé, S Seshia, D Wessel Talk or presentation 29, 2013 | | 2013 |
| Additive invariants of Monic open Petri nets LHM Sorkatti, S Libkind, BM Bumpus, JL Garcia, S Tenka 2023 Joint Mathematics Meetings (JMM 2023), 0 | | |
| Functors on Open Petri Nets JL Garcia, S Libkind, BM Bumpus, LHM Sorkatti, S Tenka 2023 Joint Mathematics Meetings (JMM 2023), 0 | | |
| Individual. jl: Rewriting individual-based models for epidemiology using graph rewriting SL Wu, S Libkind, K Brown, E Patterson, J Fairbanks | | |
| Typed and Stratified Models with Slice Categories S Libkind, A Baas, M Halter, E Patterson, J Fairbanks | | |
