Mauricio Toro
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mean-field semantics for a process calculus for spatially-explicit ecological models (available as arXiv preprint) | 2021-12-02 | Paper |
| Mean-field semantics for a process calculus for spatially-explicit ecological models | 2021-12-02 | Paper |
| A general overview of formal languages for individual-based modelling of ecosystems Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Simulation and verification in a process calculus for spatially-explicit ecological models Scientific Annals of Computer Science | 2019-02-08 | Paper |
| The use of sofware as a methodological proposal for the teaching of differential equations | 2018-02-28 | Paper |
| Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios Journal of Mathematics and Music | 2015-11-24 | Paper |
| Synchronous parallel composition in a process calculus for ecological models Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Research outcomes over time
This page was built for person: Mauricio Toro
