Jason Steggles
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 |
|---|---|---|
| Compositional techniques for Boolean networks and attractor analysis | 2024-06-05 | Paper |
| A Formal Framework for Composing Qualitative Models of Biological Systems Theory and Practice of Natural Computing | 2022-12-09 | Paper |
| scientific article; zbMATH DE number 7020152 (Why is no real title available?) (available as arXiv preprint) | 2019-02-08 | Paper |
| Modelling and Analysing Qualitative Biological Models using Rewriting Logic Fundamenta Informaticae | 2018-01-05 | Paper |
| Strategy based semantics for mobility with time and access permissions Formal Aspects of Computing | 2015-11-10 | Paper |
| A Timed Mobility Semantics Based on Rewriting Strategies Software Engineering and Formal Methods | 2013-01-08 | Paper |
Research outcomes over time
This page was built for person: Jason Steggles
