Bio-PEPA
From MaRDI portal
swMATH1361MaRDI QIDQ14101FDOQ14101
Author name not available (Why is that?)
Official website: http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html
Cited In (only showing first 100 items - show all)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Inferring bi-directional interactions between circadian clock genes and metabolism with model ensembles
- Gene regulatory networks. Methods and protocols
- Symbolic computation of differential equivalences
- Applying mean-field approximation to continuous time Markov chains
- Targeting Bayes factors with direct-path non-equilibrium thermodynamic integration
- Multiple verification in complex biological systems: the bone remodelling case study
- How adaptive and reliable is your program?
- Quantitative abstractions for collective adaptive systems
- Transactions on Computational Systems Biology XII. Special issue on modeling methodologies
- Formal biochemical space with semantics in Kappa and BNGL
- Unwinding biological systems
- A declarative view of signaling pathways
- Model checking probabilistic systems
- Analysing biochemical oscillation through probabilistic model checking
- Mean-field limits beyond ordinary differential equations
- Qualitative analysis of gene regulatory networks by temporal logic
- A framework for modelling and simulating networks of cells
- Transactions on Computational Systems Biology XI
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Approximate analysis of biological systems by hybrid switching jump diffusion
- A model and analysis of the AKAP scaffold
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Modelling of DNA mismatch repair with a reversible process calculus
- A unified framework for differential aggregations in Markovian process algebra
- Bio-PEPA with Events
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Categories of timed stochastic relations
- Verification of spatial and temporal modalities in biochemical systems
- Exact fluid lumpability in Markovian process algebra
- Approximate Bayesian inference in semi-mechanistic models
- Bone remodelling in \textsc{BioShape}
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
- A collective interpretation semantics for reversing Petri nets
- Rule-based modeling of transcriptional attenuation at the tryptophan operon
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
- The BlenX Language with Biological Transactions
- Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra
- Product form approximation of transient probabilities in stochastic reaction networks
- rxncon
- On reaction-diffusion equations derived from a PEPA model
- Modular verification of interactive systems with an application to biology
- Fluid approximation of broadcasting systems
- A Petri net view of covalent bonds
- Differential bisimulation for a Markovian process algebra
- Modelling patterns of gene regulation in the bond-calculus
- A general overview of formal languages for individual-based modelling of ecosystems
- Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- An algorithm for the identification of components in biochemical pathways
- Hybrid behaviour of Markov population models
- Smoothed model checking for uncertain continuous-time Markov chains
- Transactions on Computational Systems Biology XIII
- Probabilistic approximations of ODEs based bio-pathway dynamics
- Modelling and analysing neural networks using a hybrid process algebra
- Stochastic biological modelling in the presence of multiple compartments
- Equivalences for a biological process algebra
- Verification of membrane systems with delays via Petri nets with delays
- Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways
- General patterns of interaction in stochastic fusion
- Modular modelling of signalling pathways and their cross-talk
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Simulation techniques for the calculus of wrapped compartments
- HYPE Applied to the Modelling of Hybrid Biological Systems
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- Process algebra with hooks for models of pattern formation
- Title not available (Why is that?)
- Modelling biological compartments in bio-PEPA
- External control in process algebra for systems biology
- Membrane automata for modeling biomolecular processes
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Statistical inference of regulatory networks for circadian regulation
- The attributed pi-calculus with priorities
- Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework
- Model checking of biological systems
- Component identification in biochemical pathways
- SLMC
- StochKit
- BioBayes
- BioShape
- Pirlo
- BioNetGen
- SYMBA
- PARAM
- BIOCHAM
- Cellerator
- Celldesigner
- Bio-PEPAd
- PEPA
- STOCKS
- RoVerGeNe
- SpiCO
- BioSPI
- KEGG2SBML
- BioAmbient Machine
- BlenX
- LBS
- MARCIE
- SABRE
This page was built for software: Bio-PEPA
