팔로우
Matt Earnshaw
Matt Earnshaw
Tallinn University of Technology
earnshaw.org.uk의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–9