Follow
Matt Earnshaw
Matt Earnshaw
Tallinn University of Technology
Verified email at earnshaw.org.uk - Homepage
Title
Cited by
Cited by
Year
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
822019
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
302018
The produoidal algebra of process decomposition
M Earnshaw, J Hefford, M Román
arXiv preprint arXiv:2301.11867, 2023
92023
Regular monoidal languages
M Earnshaw, P Sobociński
arXiv preprint arXiv:2207.00526, 2022
72022
String Diagrammatic Trace Theory
M Earnshaw, P Sobociński
arXiv preprint arXiv:2306.16341, 2023
62023
Regular planar monoidal languages
M Earnshaw, P Sobociński
Journal of Logical and Algebraic Methods in Programming 139, 100963, 2024
12024
Context-Free Languages of String Diagrams
M Earnshaw, M Román
arXiv preprint arXiv:2404.10653, 2024
2024
Presentations of Premonoidal Categories by Devices
M Earnshaw, C Nester, M Román
2023
Polar Interleavings for Deadlock-Free Message-Passing
M Earnshaw, C Nester, M Román
The system can't perform the operation now. Try again later.
Articles 1–9