Seguir
Matt Earnshaw
Matt Earnshaw
Tallinn University of Technology
Dirección de correo verificada de earnshaw.org.uk - Página principal
Título
Citado por
Citado por
Año
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
String Diagrammatic Trace Theory
M Earnshaw, P Sobociński
arXiv preprint arXiv:2306.16341, 2023
72023
Regular monoidal languages
M Earnshaw, P Sobociński
arXiv preprint arXiv:2207.00526, 2022
72022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9