Bio-PEPA
From MaRDI portal
Software:14101
swMATH1361MaRDI QIDQ14101FDOQ14101
Author name not available (Why is that?)
Cited In (89)
- nano\(\kappa\): A calculus for the modeling and simulation of nano devices
- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- An algorithm for the identification of components in biochemical pathways
- Inferring bi-directional interactions between circadian clock genes and metabolism with model ensembles
- Gene regulatory networks. Methods and protocols
- Symbolic computation of differential equivalences
- A Framework for Modelling and Simulating Networks of Cells
- 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
- Model Checking of Biological Systems
- How adaptive and reliable is your program?
- 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
- Transactions on Computational Systems Biology XII. Special issue on modeling methodologies
- A Language for Biochemical Systems: Design and Formal Specification
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Formal biochemical space with semantics in Kappa and BNGL
- Title not available (Why is that?)
- Transactions on Computational Systems Biology XI
- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Membrane automata for modeling biomolecular processes
- Approximate analysis of biological systems by hybrid switching jump diffusion
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks
- Statistical inference of regulatory networks for circadian regulation
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- 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
- Component identification in biochemical pathways
- Approximate Bayesian inference in semi-mechanistic models
- Mean-Field Limits Beyond Ordinary Differential Equations
- Hybrid semantics for Bio-PEPA
- Executable biochemical space for specification and analysis of biochemical systems
- Model Checking Probabilistic Systems
- A Declarative View of Signaling Pathways
- 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
- Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
- Symbolic computation of differential equivalences
- Process Algebra Modelling Styles for Biomolecular Processes
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- The Attributed Pi-Calculus with Priorities
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Formalisms for Specifying Markovian Population Models
- On reaction-diffusion equations derived from a PEPA model
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- A Petri net view of covalent bonds
- Proceedings of the first workshop ``From biology to concurrency and back (FBTC 2007), Lisbon, Portugal, September 8, 2007
- Modelling patterns of gene regulation in the bond-calculus
- Fundamental results on the reactionâdiffusion equations associated with a PEPA model
- A process algebra framework for multi-scale modelling of biological systems
- Process Algebra with Hooks for Models of Pattern Formation
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- External Control in Process Algebra for Systems Biology
- Modelling Biological Compartments in Bio-PEPA
- Analysing Biochemical Oscillation through Probabilistic Model Checking
- Targeting Bayes factors with direct-path non-equilibrium thermodynamic integration
- A Model and Analysis of the AKAP Scaffold
- Differential Bisimulation for a Markovian Process Algebra
- Unwinding biological systems
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra
- Qualitative analysis of gene regulatory networks by temporal logic
- Applying Mean-Field Approximation to Continuous Time Markov Chains
- Bone Remodelling in BioShape
- Quantitative Abstractions for Collective Adaptive Systems
- Modelling of DNA mismatch repair with a reversible process calculus
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- A unified framework for differential aggregations in Markovian process algebra
- Bio-PEPA with Events
- Modular Verification of Interactive Systems with an Application to Biology
- Exact fluid lumpability in Markovian process algebra
- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
- The BlenX Language with Biological Transactions
- Fluid approximation of broadcasting systems
- A general overview of formal languages for individual-based modelling of ecosystems
This page was built for software: Bio-PEPA
