Proving the absence of unbounded polymers in rule-based models

DOI10.1016/J.ENTCS.2020.06.003MaRDI QIDQ2229134zbMATH OpenOpenAlexWikidataFDO

Authors Pierre Boutillier, Aurélie Faure de Pebeyre, Jerome Feret

Publication date 22 February 2021

Full work available at URL https://doi.org/10.1016/j.entcs.2020.06.003

zbMATH Keywords

polymersrule-based modellingstatic analysisstrongly connected components

Mathematics Subject Classification ID

Applications of graph theory (05C90) Biochemistry, molecular biology (92C40)

Recommendations

• Sufficient conditions for uniform bounds in abstract polymer systems and explorative partition schemes
• Polymers with spatial or topological constraints: theoretical and computational results
• A proof of selection rules for critical dense polymers
• Hybrid stochastic simulation of rule-based polymerization models
• Verifying polymer reaction networks using bisimulation
• A simple inductive approach to the problem of convergence of cluster expansions of polymer models
• Abstract polymer models with general pair interactions
• scientific article; zbMATH DE number 4012617
• scientific article; zbMATH DE number 1004977
• Non-existence of bi-infinite polymers

Cites work

• Abstract Interpretation of Cellular Signalling Networks
• Constraining rule-based dynamics with types
• Depth-First Search and Linear Graph Algorithms
• Formal molecular biology
• scientific article; zbMATH DE number 1948392 (Why is no real title available?)
• Reachability analysis via orthogonal sets of patterns
• Rule-Based Modelling of Cellular Signalling

Cited in

(3)

• Reachability analysis via orthogonal sets of patterns
• Rigid geometric constraints for Kappa models
• Constraining rule-based dynamics with types

Describes a project that uses

Uses Software

• BioNetGen

This page was built for publication: Proving the absence of unbounded polymers in rule-based models

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