Component identification in biochemical pathways

DOI10.1016/J.TCS.2015.03.013MaRDI QIDQ2348029zbMATH OpenOpenAlexFDO

Authors Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini

Publication date 10 June 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.03.013

zbMATH Keywords

biochemical pathwaysformal methodsmodular modeling

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biochemistry, molecular biology (92C40)

Recommendations

• An algorithm for the identification of components in biochemical pathways
• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• Logics in Artificial Intelligence
• Formal methods for biochemical signalling pathways
• Graph Transformations

Cites work

• A Compositional Semantics of Reaction Systems with Restriction
• An algorithm for the identification of components in biochemical pathways
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Bisimulation Congruences in the Calculus of Looping Sequences
• Compositional semantics and behavioral equivalences for P systems
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• Modular verification of interactive systems with an application to biology
• Modular verification of qualitative pathway models with fairness
• On process rate semantics
• Probabilistic model checking of complex biological pathways
• Processes in space
• Spatial calculus of looping sequences
• Spatial P systems

Cited in

(2)

• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• An algorithm for the identification of components in biochemical pathways

Describes a project that uses

Uses Software

• Celldesigner
• PEPA
• Bio-PEPA
• BIOCHAM

This page was built for publication: Component identification in biochemical pathways

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348029)