Computing preimages and ancestors in reaction systems
From MaRDI portal
Publication:6073010
DOI10.1007/978-3-030-04070-3_2zbMath1522.68204OpenAlexW2901075605MaRDI QIDQ6073010
Roberta Gori, Roberto Barbuti, Anna Bernasconi, Paolo Milazzo
Publication date: 16 October 2023
Published in: Theory and Practice of Natural Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11568/943547
Analysis of algorithms and problem complexity (68Q25) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Related Items (4)
Characterization and computation of ancestors in reaction systems ⋮ Literal Selection in Switching Lattice Design ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
Cites Work
- Unnamed Item
- Unnamed Item
- Investigating dynamic causalities in reaction systems
- Minimal and almost minimal reaction systems
- An analysis for causal properties of membrane interactions
- Ancestors, descendants, and gardens of Eden in reaction systems
- Abstract interpretation based verification of temporal properties for BioAmbients
- Predictors for flat membrane systems
- Generalized contexts for reaction systems: definition and study of dynamic causalities
- Multiset patterns and their application to dynamic causalities in membrane systems
- Causal static analysis for brane calculi
- FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
- A TOUR OF REACTION SYSTEMS
- Specialized Predictor for Reaction Systems with Context Properties
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks
- Fixed Points and Attractors of Reaction Systems
- Causality in Membrane Systems
This page was built for publication: Computing preimages and ancestors in reaction systems
