The following pages link to (Q4552454):
Displayed 20 items.
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Parameter identification for stochastic hybrid systems using randomized optimization: a case study on subtilin production by Bacillus subtilis (Q534379) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- Hybrid systems: Modelling and analysis using emergent dynamics (Q2460412) (← links)
- Enumerated type semantics for the calculus of looping sequences (Q3006158) (← links)
- Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
- Type Disciplines for Analysing Biologically Relevant Properties (Q5179427) (← links)
- External Control in Process Algebra for Systems Biology (Q5179432) (← links)
- Spatial Calculus of Looping Sequences (Q5404072) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)