Davide Chiarugi
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 |
|---|---|---|
| A flat process calculus for nested membrane interactions Scientific Annals of Computer Science | 2019-02-08 | Paper |
| Verification of spatial and temporal modalities in biochemical systems | 2016-12-16 | Paper |
| A proof theoretic view of spatial and temporal dependencies in biochemical systems Theoretical Computer Science | 2016-07-15 | Paper |
| A declarative view of signaling pathways Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
| Control flow analysis for brane calculi Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
| Control Flow Analysis of Generalised Boolean Networks Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Research outcomes over time
This page was built for person: Davide Chiarugi
