The following pages link to Brane Calculi (Q5712404):
Displayed 50 items.
- Modelling and verification of weighted spiking neural systems (Q264538) (← links)
- An analysis for causal properties of membrane interactions (Q275996) (← links)
- Using bigraphs to model topological graphs embedded in orientable surfaces (Q383361) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- P systems with proteins on membranes characterize PSPACE (Q388151) (← links)
- Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Typed stochastic semantics for the calculus of looping sequences (Q418845) (← links)
- Stochastic simulation of multiple process calculi for biology (Q418846) (← links)
- Constructing and visualizing chemical reaction networks from pi-calculus models (Q470031) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Enhanced mobile membranes: computability results (Q537912) (← links)
- Mutual mobile membranes with objects on surface (Q553916) (← links)
- Spatial calculus of looping sequences (Q652132) (← links)
- Universality results for P systems based on brane calculi operations (Q870259) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- Fair ambients (Q877172) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Pathway analysis for BioAmbients (Q953532) (← links)
- Bitonal membrane systems: interactions of biological membranes (Q953534) (← links)
- Membrane computing and brane calculi. Old, new, and future bridges (Q953535) (← links)
- Membrane systems with proteins embedded in membranes (Q953537) (← links)
- (Mem)brane automata (Q953539) (← links)
- A uniform family of tissue P systems with cell division solving 3-COL in a linear time (Q953542) (← links)
- On the decidability and complexity of the structural congruence for beta-binders (Q953553) (← links)
- On temporal logic constraint solving for analyzing numerical data time series (Q959788) (← links)
- Synapses as stochastic concurrent systems (Q959792) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Computational expressiveness of genetic systems (Q1004070) (← links)
- Membrane computing with transport and embedded proteins (Q1004081) (← links)
- On the computational power of BlenX (Q1044845) (← links)
- A formal approach to open multiparty interactions (Q1727996) (← links)
- Biocomputing: an insight from linguistics (Q1761720) (← links)
- Modeling innate immune response to early Mycobacterium infection (Q1929608) (← links)
- P systems with protein rules (Q2137149) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- The \texttt{link}-calculus for open multiparty interactions (Q2216110) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- A control flow analysis for Beta-binders with and without static compartments (Q2271446) (← links)
- Membrane automata for modeling biomolecular processes (Q2311302) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Causal static analysis for brane calculi (Q2348028) (← links)
- A static analysis for brane calculi providing global occurrence counting information (Q2405890) (← links)
- An efficient time-free solution to QSAT problem using P systems with proteins on membranes (Q2407106) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Simulation of spatial P system models (Q2440829) (← links)
- Abstract interpretation and types for systems biology (Q2518376) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)