Open source brain: a collaborative resource for visualizing, analyzing, simulating, and developing standardized models of neurons and circuits P Gleeson, M Cantarelli, B Marin, A Quintana, M Earnshaw, S Sadeh, ... Neuron 103 (3), 395-411. e5, 2019 | 91 | 2019 |
Geppetto: a reusable modular open platform for exploring neuroscience data and models M Cantarelli, B Marin, A Quintana, M Earnshaw, R Court, P Gleeson, ... Philosophical Transactions of the Royal Society B: Biological Sciences 373 …, 2018 | 31 | 2018 |
The produoidal algebra of process decomposition M Earnshaw, J Hefford, M Román arXiv preprint arXiv:2301.11867, 2023 | 12 | 2023 |
Regular monoidal languages M Earnshaw, P Sobociński arXiv preprint arXiv:2207.00526, 2022 | 11 | 2022 |
String diagrammatic trace theory M Earnshaw, P Sobociński arXiv preprint arXiv:2306.16341, 2023 | 9 | 2023 |
Regular planar monoidal languages M Earnshaw, P Sobociński Journal of Logical and Algebraic Methods in Programming 139, 100963, 2024 | 2 | 2024 |
Context-Free Languages of String Diagrams M Earnshaw, M Román arXiv preprint arXiv:2404.10653, 2024 | 1 | 2024 |
Presentations of Premonoidal Categories by Devices M Earnshaw, C Nester, M Román | 1 | 2023 |
Languages of String Diagrams MD Earnshaw | | 2025 |
Monoidal optics are universal M Earnshaw, J Hefford, M Román | | |
Polar Interleavings for Deadlock-Free Message-Passing M Earnshaw, C Nester, M Román | | |