Pages that link to "Item:Q2271444"

The following pages link to Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444):

Displayed 32 items.

• Bio-PEPA (Q14101) ‎ (← links)
• A process algebra framework for multi-scale modelling of biological systems (Q388145) ‎ (← links)
• Foundational aspects of multiscale modeling of biological systems with process algebras (Q418838) ‎ (← links)
• Statistical inference of regulatory networks for circadian regulation (Q461673) ‎ (← links)
• A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) ‎ (← links)
• Equivalences for a biological process algebra (Q652149) ‎ (← links)
• On reaction-diffusion equations derived from a PEPA model (Q654250) ‎ (← 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)
• A unified framework for differential aggregations in Markovian process algebra (Q2258842) ‎ (← links)
• Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) ‎ (← links)
• Inferring bi-directional interactions between circadian clock genes and metabolism with model ensembles (Q2344256) ‎ (← links)
• Unwinding biological systems (Q2348024) ‎ (← links)
• Component identification in biochemical pathways (Q2348029) ‎ (← links)
• Qualitative analysis of gene regulatory networks by temporal logic (Q2355694) ‎ (← links)
• Exact fluid lumpability in Markovian process algebra (Q2453115) ‎ (← links)
• Hybrid semantics for Bio-PEPA (Q2453221) ‎ (← links)
• Applying Mean-Field Approximation to Continuous Time Markov Chains (Q2937739) ‎ (← links)
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets (Q2941140) ‎ (← links)
• Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) ‎ (← links)
• Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon (Q3068849) ‎ (← links)
• Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) ‎ (← links)
• Bio-PEPA with Events (Q3642952) ‎ (← links)
• Formalisms for Specifying Markovian Population Models (Q3646248) ‎ (← links)
• Modelling Biological Compartments in Bio-PEPA (Q5179426) ‎ (← links)
• External Control in Process Algebra for Systems Biology (Q5179432) ‎ (← links)
• Model Checking of Biological Systems (Q5300885) ‎ (← links)
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) ‎ (← links)
• Process Algebra with Hooks for Models of Pattern Formation (Q5404085) ‎ (← links)
• Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (Q5404086) ‎ (← links)
• Modular Verification of Interactive Systems with an Application to Biology (Q5404087) ‎ (← links)
• HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) ‎ (← links)