Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleAugust 2016
A proof theoretic view of spatial and temporal dependencies in biochemical systems
Theoretical Computer Science (TCSC), Volume 641, Issue CPages 25–42https://doi.org/10.1016/j.tcs.2016.03.029The behavior of biochemical systems such as metabolic and signaling pathways may depend on either the location of the reactants or on the time needed for a reaction to occur. In this paper we propose a formalism for specifying and verifying properties ...
- research-articleSeptember 2015
Verification of Spatial and Temporal Modalities in Biochemical Systems
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 316, Issue CPages 29–44https://doi.org/10.1016/j.entcs.2015.06.009Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in some cases, the ...