Brane Calculi
From MaRDI portal
Recommendations
Cites work
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- BioAmbients: an abstraction for biological compartments
- Bitonal membrane systems: interactions of biological membranes
- Formal molecular biology
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 1950559 (Why is no real title available?)
- Mobile ambients
Cited in
(only showing first 100 items - show all)- Computational expressiveness of genetic systems
- Membrane computing with transport and embedded proteins
- On the computational power of BlenX
- A formal approach to open multiparty interactions
- Biocomputing: an insight from linguistics
- Modeling innate immune response to early Mycobacterium infection
- P systems with protein rules
- Modelling of DNA mismatch repair with a reversible process calculus
- The \texttt{link}-calculus for open multiparty interactions
- A constraint-based language for multiparty interactions
- Stochastic biological modelling in the presence of multiple compartments
- A control flow analysis for Beta-binders with and without static compartments
- Membrane automata for modeling biomolecular processes
- Unwinding biological systems
- Causal static analysis for brane calculi
- A static analysis for brane calculi providing global occurrence counting information
- An efficient time-free solution to QSAT problem using P systems with proteins on membranes
- A general overview of formal languages for individual-based modelling of ecosystems
- Simulation of spatial P system models
- Abstract interpretation and types for systems biology
- Verification of spatial and temporal modalities in biochemical systems
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Modelling and verification of weighted spiking neural systems
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- An analysis for causal properties of membrane interactions
- Membrane computing and brane calculi (some personal notes)
- Membrane systems with marked membranes
- Membrane systems with peripheral proteins: transport and evolution
- A linear-time tissue P system based solution for the 3-coloring problem
- Tissue P systems and (mem)brane systems with mate and drip operations working on strings
- Timed concurrent constraint programming for analysing biological systems
- A simple calculus for proteins and cells
- The decidability of the structural congruence for beta-binders
- Encoding catalytic P systems in {\(\pi\)}\@
- Communication via mobile vesicles in brane calculi
- A model in {\(\kappa\)} for DNA addition
- Expressiveness issues in brane calculi: a survey
- An intermediate language for the simulation of biological systems
- A static analysis for beta-binders
- Computing by endocytosis and exocytosis
- Computational power of protein networks
- Enumerated type semantics for the calculus of looping sequences
- The attributed pi-calculus with priorities
- A language for biochemical systems: design and formal specification
- P systems with proteins on membranes: a survey
- Hunting distributed malware with the \(\kappa \)-calculus
- On the expressiveness of -calculus for encoding mobile ambients
- Systemic computation: A model of interacting systems with natural characteristics
- On the Computational Power of Enhanced Mobile Membranes
- Process Algebra Modelling Styles for Biomolecular Processes
- A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions
- A higher-order graph calculus for autonomic computing
- Using bigraphs to model topological graphs embedded in orientable surfaces
- A process algebra framework for multi-scale modelling of biological systems
- P systems with proteins on membranes characterize PSPACE
- Simulation techniques for the calculus of wrapped compartments
- Measurable stochastics for Brane calculus
- Typed stochastic semantics for the calculus of looping sequences
- Stochastic simulation of multiple process calculi for biology
- A flat process calculus for nested membrane interactions
- Constructing and visualizing chemical reaction networks from pi-calculus models
- Multi-level modelling via stochastic multi-level multiset rewriting
- Translating stochastic CLS into Maude
- Control flow analysis for brane calculi
- Modelling biological compartments in bio-PEPA
- Type Disciplines for Analysing Biologically Relevant Properties
- Defining and Executing P Systems with Structured Data in K
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Enhanced mobile membranes: computability results
- Approximating probabilistic behaviors of biological systems using abstract interpretation
- Process algebra with hooks for models of pattern formation
- Modular verification of interactive systems with an application to biology
- Control Flow Analysis of Generalised Boolean Networks
- Formal Cellular Machinery
- Containment in Rule-Based Models
- Stochastic bigraphs
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- The Calculus of Looping Sequences for Modeling Biological Membranes
- Mutual mobile membranes with objects on surface
- Computational Methods in Systems Biology
- Computational Methods in Systems Biology
- A Global Occurrence Counting Analysis for Brane Calculi
- Membrane Computing
- Process calculi for biological processes
- Spatial calculus of looping sequences
- An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus
- Universality results for P systems based on brane calculi operations
- A rewriting logic framework for operational semantics of membrane systems
- Fair ambients
- Bisimulations in calculi modelling membranes
- Pathway analysis for BioAmbients
- Bitonal membrane systems: interactions of biological membranes
- Membrane computing and brane calculi. Old, new, and future bridges
- Membrane systems with proteins embedded in membranes
- (Mem)brane automata
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time
- A simple calculus for proteins and cells
- On the decidability and complexity of the structural congruence for beta-binders
- On temporal logic constraint solving for analyzing numerical data time series
- Synapses as stochastic concurrent systems
This page was built for publication: Brane Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712404)
