Bio-PEPA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- rxncon
- PRISM
- SPADES
- MRMC
- ProbDiVinE
- LiQuor
- SLMC
- Approximate Bayesian inference in semi-mechanistic models
- Gene regulatory networks. Methods and protocols
- Formal biochemical space with semantics in Kappa and BNGL
- StochKit
- A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
- BioBayes
- Pirlo
- BioShape
- SYMBA
- A Petri net view of covalent bonds
- BioNetGen
- How adaptive and reliable is your program?
- Modelling of DNA mismatch repair with a reversible process calculus
- PARAM
- Flexible nets: a modeling formalism for dynamic systems with uncertain parameters
- Cellerator
- BIOCHAM
- Celldesigner
- Executable biochemical space for specification and analysis of biochemical systems
- Modelling patterns of gene regulation in the bond-calculus
- STOCKS
- A unified framework for differential aggregations in Markovian process algebra
- Bio-PEPAd
- SpiCO
- PEPA
- Stochastic biological modelling in the presence of multiple compartments
- RoVerGeNe
- Fluid approximation of broadcasting systems
- Membrane automata for modeling biomolecular processes
- 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
- Qualitative analysis of gene regulatory networks by temporal logic
- Targeting Bayes factors with direct-path non-equilibrium thermodynamic integration
- KEGG2SBML
- BioSPI
- A general overview of formal languages for individual-based modelling of ecosystems
- LBS
- BlenX
- BioAmbient Machine
- Exact fluid lumpability in Markovian process algebra
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays
- Hybrid semantics for Bio-PEPA
- MARCIE
- SABRE
- Verification of spatial and temporal modalities in biochemical systems
- BioModels
- Identification of components in biochemical pathways: extensive aqpplication to SBML models
- Hybrid behaviour of Markov population models
- Smoothed model checking for uncertain continuous-time Markov chains
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Modelling and analysing neural networks using a hybrid process algebra
- A collective interpretation semantics for reversing Petri nets
- General patterns of interaction in stochastic fusion
- An algorithm for the identification of components in biochemical pathways
- Categories of timed stochastic relations
- Xtext
- Mean-field limits beyond ordinary differential equations
- Quantitative abstractions for collective adaptive systems
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- ARACNE
- Applying mean-field approximation to continuous time Markov chains
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Differential bisimulation for a Markovian process algebra
- Refining dynamics of gene regulatory networks in a stochastic -calculus framework
- scientific article; zbMATH DE number 5818293 (Why is no real title available?)
- 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
- Model checking probabilistic systems
- ERODE
- CARMA
- PALOMA
- SCEL
- Rabinizer
- NFsim
- A declarative view of signaling pathways
- Fundamental results on the reactionâdiffusion equations associated with a PEPA model
- Hy3S
- Smoldyn
- gptk
- 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
- 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
- StochPy
- Diurnal
- Simulation techniques for the calculus of wrapped compartments
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Ntccrt
This page was built for software: Bio-PEPA
