Core SBML and its formal semantics

DOI10.1007/978-3-031-42697-1_9MaRDI QIDQ6199821

Cédric Lhoussaine, Joachim Niehren, Athénaïs Vaginay

Publication date: 28 February 2024

Published in: Computational Methods in Systems Biology (Search for Journal in Brave)

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42)

Cites Work

• Inferring reaction systems from ordinary differential equations
• Statecharts: a visual formalism for complex systems
• Abstract simulation of reaction networks via Boolean networks
• Computing difference abstractions of metabolic networks under kinetic constraints
• Abstract interpretation and types for systems biology
• Knockout Prediction for Reaction Networks with Partial Kinetic Information
• Julia: A Fresh Approach to Numerical Computing
• From Quantitative SBML Models to Boolean Networks
• Attractor Equivalence: An Observational Semantics for Reaction Networks

This page was built for publication: Core SBML and its formal semantics