The following pages link to Bio-PEPA (Q14101):
Displaying 50 items.
- Identification of components in biochemical pathways: extensive aqpplication to SBML models (Q256973) (← links)
- Hybrid behaviour of Markov population models (Q259041) (← links)
- Smoothed model checking for uncertain continuous-time Markov chains (Q259074) (← links)
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- General patterns of interaction in stochastic fusion (Q272780) (← links)
- An algorithm for the identification of components in biochemical pathways (Q276001) (← links)
- Fundamental results on the reactionâdiffusion equations associated with a PEPA model (Q350350) (← links)
- Proceedings of the first workshop ``From biology to concurrency and back (FBTC 2007)'', Lisbon, Portugal, September 8, 2007 (Q382751) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) (← links)
- Statistical inference of regulatory networks for circadian regulation (Q461673) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Transactions on Computational Systems Biology XIII (Q532791) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Probabilistic approximations of ODEs based bio-pathway dynamics (Q533363) (← links)
- Equivalences for a biological process algebra (Q652149) (← links)
- On reaction-diffusion equations derived from a PEPA model (Q654250) (← links)
- Modular modelling of signalling pathways and their cross-talk (Q714863) (← links)
- Transactions on Computational Systems Biology XI (Q731476) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Transactions on Computational Systems Biology XII. Special issue on modeling methodologies (Q847459) (← links)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
- Approximate Bayesian inference in semi-mechanistic models (Q1703816) (← links)
- Gene regulatory networks. Methods and protocols (Q1721981) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models (Q1982975) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Modelling patterns of gene regulation in the bond-calculus (Q2229141) (← links)
- A unified framework for differential aggregations in Markovian process algebra (Q2258842) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Membrane automata for modeling biomolecular processes (Q2311302) (← links)
- Inferring bi-directional interactions between circadian clock genes and metabolism with model ensembles (Q2344256) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Approximate analysis of biological systems by hybrid switching jump diffusion (Q2348027) (← links)
- Component identification in biochemical pathways (Q2348029) (← links)
- Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) (← links)
- Targeting Bayes factors with direct-path non-equilibrium thermodynamic integration (Q2358945) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Exact fluid lumpability in Markovian process algebra (Q2453115) (← links)
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays (Q2453210) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
