An extension of ERODE to reduce Boolean networks by backward Boolean equivalence

DOI10.1007/978-3-031-15034-0_16zbMath1505.92069OpenAlexW4292227681MaRDI QIDQ2112170

Georgios Argyris, Alberto Lluch Lafuente, Andrea Vandin, Mirco Tribastone, Max Tschaikowski

Publication date: 18 January 2023

Full work available at URL: https://doi.org/10.1007/978-3-031-15034-0_16

zbMATH Keywords

reductionBoolean networkbackward equivalence

Mathematics Subject Classification ID

System structure simplification (93B11) Software, source code, etc. for problems pertaining to biology (92-04) Systems biology, networks (92C42) Switching theory, applications of Boolean algebras to circuits and networks (94C11)

Uses Software

• z3
• BoolNet
• Ginsim
• BioModels
• ERODE
• CoLoMoTo

Cites Work

• Dynamically consistent reduction of logical regulatory graphs
• Reduction of Boolean network models
• Reducing Boolean networks with backward Boolean equivalence
• Three Partition Refinement Algorithms

This page was built for publication: An extension of ERODE to reduce Boolean networks by backward Boolean equivalence