Bio-PEPA
From MaRDI portal
Software:14101
No author found.
Related Items (89)
Modelling and analysing neural networks using a hybrid process algebra ⋮ Targeting Bayes factors with direct-path non-equilibrium thermodynamic integration ⋮ General patterns of interaction in stochastic fusion ⋮ An algorithm for the identification of components in biochemical pathways ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ Model Checking Probabilistic Systems ⋮ Transactions on Computational Systems Biology XII. Special issue on modeling methodologies ⋮ Model Checking of Biological Systems ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ A Declarative View of Signaling Pathways ⋮ Fundamental results on the reactionâdiffusion equations associated with a PEPA model ⋮ Applying Mean-Field Approximation to Continuous Time Markov Chains ⋮ Flexible nets: a modeling formalism for dynamic systems with uncertain parameters ⋮ On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets ⋮ Proceedings of the first workshop ``From biology to concurrency and back (FBTC 2007), Lisbon, Portugal, September 8, 2007 ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ Differential Bisimulation for a Markovian Process Algebra ⋮ A collective interpretation semantics for reversing Petri nets ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Simulation techniques for the calculus of wrapped compartments ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Unnamed Item ⋮ Approximate Bayesian inference in semi-mechanistic models ⋮ Statistical inference of regulatory networks for circadian regulation ⋮ Equivalences for a biological process algebra ⋮ Gene regulatory networks. Methods and protocols ⋮ On reaction-diffusion equations derived from a PEPA model ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Exact fluid lumpability in Markovian process algebra ⋮ Stochastic hybrid automata with delayed transitions to model biochemical systems with delays ⋮ Hybrid semantics for Bio-PEPA ⋮ Executable biochemical space for specification and analysis of biochemical systems ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework ⋮ Verification of membrane systems with delays via Petri nets with delays ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Formal biochemical space with semantics in Kappa and BNGL ⋮ Analysing Biochemical Oscillation through Probabilistic Model Checking ⋮ Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA ⋮ A Model and Analysis of the AKAP Scaffold ⋮ Bone Remodelling in BioShape ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration ⋮ Modular Verification of Interactive Systems with an Application to Biology ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra ⋮ Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study ⋮ nano\(\kappa\): A calculus for the modeling and simulation of nano devices ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks ⋮ Transactions on Computational Systems Biology XIII ⋮ A semantic equivalence for Bio-PEPA based on discretisation of continuous values ⋮ Probabilistic approximations of ODEs based bio-pathway dynamics ⋮ A unified framework for differential aggregations in Markovian process algebra ⋮ Modelling Biological Compartments in Bio-PEPA ⋮ External Control in Process Algebra for Systems Biology ⋮ Stochastic biological modelling in the presence of multiple compartments ⋮ Modular modelling of signalling pathways and their cross-talk ⋮ Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways ⋮ The BlenX Language with Biological Transactions ⋮ Symbolic computation of differential equivalences ⋮ Transactions on Computational Systems Biology XI ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon ⋮ Categories of Timed Stochastic Relations ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Symbolic computation of differential equivalences ⋮ Fluid approximation of broadcasting systems ⋮ Mean-Field Limits Beyond Ordinary Differential Equations ⋮ Quantitative Abstractions for Collective Adaptive Systems ⋮ Membrane automata for modeling biomolecular processes ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ Bio-PEPA with Events ⋮ Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back ⋮ Formalisms for Specifying Markovian Population Models ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ A Petri net view of covalent bonds ⋮ Inferring bi-directional interactions between circadian clock genes and metabolism with model ensembles ⋮ Unwinding biological systems ⋮ Approximate analysis of biological systems by hybrid switching jump diffusion ⋮ Component identification in biochemical pathways ⋮ Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks ⋮ Identification of components in biochemical pathways: extensive aqpplication to SBML models ⋮ Hybrid behaviour of Markov population models ⋮ Qualitative analysis of gene regulatory networks by temporal logic ⋮ Smoothed model checking for uncertain continuous-time Markov chains ⋮ How adaptive and reliable is your program?
This page was built for software: Bio-PEPA
