Modelling, simulation and verification of biomolecular systems
From MaRDI portal
Recommendations
- Simulation and verfication of the biomolecular systems
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Modelling biochemical pathways through enhanced -calculus
- Process Algebra Modelling Styles for Biomolecular Processes
- Design of a biomolecular device that executes process algebra
Cited in
(16)- Modelling and computer simulation of nonlinear biotechnological processes
- Monte Carlo simulation of biomolecular systems with BIOMCSIM
- Thematic issue on Biomolecular simulations
- BioMaxP: a formal approach for cellular ion pumps
- Executable biochemical space for specification and analysis of biochemical systems
- High-throughput screening: establishing mathematical and physical models for bio-target im\-mo\-bilization
- scientific article; zbMATH DE number 6488170 (Why is no real title available?)
- Biomodel Engineering – From Structure to Behavior
- Simulation and verfication of the biomolecular systems
- Computational and experimental approaches to determining the structure and interaction potentials of prototypical biological systems
- Process Algebra Modelling Styles for Biomolecular Processes
- Design of a biomolecular device that executes process algebra
- scientific article; zbMATH DE number 3968399 (Why is no real title available?)
- scientific article; zbMATH DE number 1794358 (Why is no real title available?)
- MOLECULAR MODEL CHECKING
- scientific article; zbMATH DE number 5179853 (Why is no real title available?)
This page was built for publication: Modelling, simulation and verification of biomolecular systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624198)
