Formal molecular biology

DOI10.1016/j.tcs.2004.03.065zbMath1071.68041OpenAlexW1986649132WikidataQ61458427 ScholiaQ61458427MaRDI QIDQ1884864

Publication date: 27 October 2004

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reversible causal graph dynamics: invertibility, block representation, vertex-preservation ⋮ Type inference for hierarchical multiset structures in rule-based systems ⋮ Modelling and verification of weighted spiking neural systems ⋮ Reachability analysis via orthogonal sets of patterns ⋮ A strand graph semantics for DNA-based computation ⋮ Unnamed Item ⋮ Nonlinear pattern matching in rule-based modeling languages ⋮ Towards Measurable Types for Dynamical Process Modeling Languages ⋮ Model Checking of Biological Systems ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ A Calculus for Local Reversibility ⋮ Reversible Causal Graph Dynamics ⋮ SOS formats and meta-theory: 20 years after ⋮ Programs=data=first-class citizens in a computational world ⋮ Differential Bisimulation for a Markovian Process Algebra ⋮ Model checking the evolution of gene regulatory networks ⋮ Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics ⋮ Process calculi for biological processes ⋮ Markov chain aggregation and its applications to combinatorial reaction networks ⋮ Comparing chemical reaction networks: a categorical and algorithmic perspective ⋮ Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis ⋮ Communicating by compatibility ⋮ Reachability problems in BioAmbients ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Typed stochastic semantics for the calculus of looping sequences ⋮ Adding logic to the toolbox of molecular biology ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Spatial calculus of looping sequences ⋮ Equivalences for a biological process algebra ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Hybrid semantics for Bio-PEPA ⋮ Tropical abstraction of biochemical reaction networks with guarantees ⋮ Proving the absence of unbounded polymers in rule-based models ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Turing universality of the Biochemical Ground Form ⋮ Biochemical Reaction Rules with Constraints ⋮ Bisimulations in calculi modelling membranes ⋮ Self-assembling graphs ⋮ Rule-based epidemic models ⋮ Enumerated type semantics for the calculus of looping sequences ⋮ Brane Calculi ⋮ Formal biochemical space with semantics in Kappa and BNGL ⋮ Spatial Calculus of Looping Sequences ⋮ A Process Model of Actin Polymerisation ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ Programming in Biomolecular Computation ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ Containment in Rule-Based Models ⋮ Pathway analysis for BioAmbients ⋮ Computational self-assembly ⋮ A simple calculus for proteins and cells ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ On temporal logic constraint solving for analyzing numerical data time series ⋮ Equilibrium and termination II: the case of Petri nets ⋮ Open-graphs and monoidal theories ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Stochastic Bigraphs ⋮ Expressivity in the κ Family ⋮ A Rewriting Calculus for Multigraphs with Ports ⋮ Modelling Intracellular Fate of FGF Receptors With BioAmbients ⋮ Fragments and Chemical Organisations ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ A Port Graph Calculus for Autonomic Computing and Invariant Verification ⋮ Strand algebras for DNA computing ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Translating Stochastic CLS into Maude ⋮ Type Disciplines for Analysing Biologically Relevant Properties ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ An intermediate language for the stochastic simulation of biological systems ⋮ On the Computational Power of Biochemistry ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ The Calculus of Looping Sequences for Modeling Biological Membranes ⋮ The Attributed Pi-Calculus with Priorities ⋮ Rigid geometric constraints for Kappa models ⋮ Compact representation of photosynthesis dynamics by rule-based models ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Hunting Distributed Malware with the κ-Calculus ⋮ Symbolic computation of differential equivalences ⋮ Towards Modelling of Local Reversibility ⋮ Reversibility vs Local Creation/Destruction ⋮ Deciding reachability problems in Turing-complete fragments of Mobile Ambients ⋮ A Petri net view of covalent bonds ⋮ Generalizing Gillespie's direct method to enable network-free simulations ⋮ On the computational power of BlenX ⋮ Intrinsic information carriers in combinatorial dynamical systems ⋮ Timed Concurrent Constraint Programming for Analysing Biological Systems ⋮ A Simple Calculus for Proteins and Cells ⋮ Modelling of Biochemical Reactions by Stochastic Automata Networks ⋮ A Model in κ for DNA Addition ⋮ Self-assembling Trees ⋮ Unwinding biological systems ⋮ An Intermediate Language for the Simulation of Biological Systems ⋮ Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes ⋮ MobsPy: a meta-species language for chemical reaction networks ⋮ eBCSgen 2.0: modelling and analysis of regulated rule-based systems ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models

Cites Work