The following pages link to Formal molecular biology (Q1884864):
Displaying 50 items.
- Identification of components in biochemical pathways: extensive aqpplication to SBML models (Q256973) (← links)
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- A strand graph semantics for DNA-based computation (Q288814) (← links)
- Markov chain aggregation and its applications to combinatorial reaction networks (Q404799) (← links)
- Reachability problems in BioAmbients (Q418830) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Strand algebras for DNA computing (Q537852) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Computational self-assembly (Q953541) (← links)
- A simple calculus for proteins and cells (Q953549) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- Adding logic to the toolbox of molecular biology (Q1705298) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- MobsPy: a meta-species language for chemical reaction networks (Q2112164) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- Reachability analysis via orthogonal sets of patterns (Q2130568) (← links)
- Nonlinear pattern matching in rule-based modeling languages (Q2142118) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Tropical abstraction of biochemical reaction networks with guarantees (Q2229132) (← links)
- Proving the absence of unbounded polymers in rule-based models (Q2229134) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- Rule-based epidemic models (Q2235514) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- An intermediate language for the stochastic simulation of biological systems (Q2271445) (← links)
- Generalizing Gillespie's direct method to enable network-free simulations (Q2325562) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Communicating by compatibility (Q2426519) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Self-assembling graphs (Q2461296) (← links)
- Rigid geometric constraints for Kappa models (Q2520629) (← links)
- Compact representation of photosynthesis dynamics by rule-based models (Q2520664) (← links)
- An algebraic approach for inferring and using symmetries in rule-based models (Q2520668) (← links)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
- A Simple Calculus for Proteins and Cells (Q2864202) (← links)
- Modelling of Biochemical Reactions by Stochastic Automata Networks (Q2864207) (← links)
