Specialized Predictor for Reaction Systems with Context Properties

DOI10.3233/FI-2016-1403zbMath1373.68217MaRDI QIDQ4589193

Francesca Levi, Roberto Barbuti, Roberta Gori, Paolo Milazzo

Publication date: 9 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (13)

Predictors for flat membrane systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Evolvability of reaction systems and the invisibility theorem ⋮ Complexity of the dynamics of reaction systems ⋮ Computing preimages and ancestors in reaction systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models ⋮ Generalized contexts for reaction systems: definition and study of dynamic causalities ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ Ranks of strictly minimal reaction systems induced by permutations ⋮ Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation ⋮ Asynchrony and persistence in reaction systems

This page was built for publication: Specialized Predictor for Reaction Systems with Context Properties