Pages that link to "Item:Q5452054"
From MaRDI portal
The following pages link to A Hybrid Approach to Modeling Biological Systems (Q5452054):
Displaying 20 items.
- Modeling membrane systems using colored stochastic Petri nets (Q269787) (← links)
- Implementing biological hybrid systems: allowing composition and avoiding stiffness (Q907533) (← links)
- Cellular modelling using P systems and process algebra (Q952187) (← links)
- Hybrid Petri net based modeling for biological pathway simulation (Q1761686) (← links)
- A hybrid agent-based approach for modeling microbiological systems (Q1798182) (← links)
- Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Concurrency in biological modeling: behavior, execution and visualization (Q2870303) (← links)
- Formal Verification of P Systems with Active Membranes through Model Checking (Q2890294) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- An Approach to the Engineering of Cellular Models Based on P Systems (Q3576075) (← links)
- MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USING<font>P</font>SYSTEMS (Q3636155) (← links)
- (Q4552454) (← links)
- Hybrid Systems: Computation and Control (Q5307959) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- External Interactions on Hybrid Models of Biological Systems (Q5500401) (← links)
- Computational Methods in Systems Biology (Q5712395) (← links)
- Deterministic and stochastic P systems for modelling cellular processes (Q5962070) (← links)