about this paper

presentation abstract bibitem

downloads

editor link extended version on HAL
Claudine Chaouiya, Jérôme Feret, and Patrícia Tenera Roxo.
On Model Reductions of Boolean Networks.
In Proceedings of the 23rd Conference on Computational Methods in Systems Biology (CMSB 2025), Lyon, France, September 10--12, 2025. F. Fages & S. Peres (Eds.). Lecture Notes in Computer Sciences / Lecture Notes in BioInformatics, volume 15959, pp 42--60. © 2025, Springer.

Abstract: Boolean networks are a class of qualitative models used extensively to model regulatory interactions driving biological processes. While structurally simple, their dynamics can be quite complex. One recurrent issue in studying the dynamics of these models is state explosion. To tackle this problem model reduction techniques are employed. These techniques aim at producing smaller models that behave approximately as the original model.
In this paper, we use Abstract Interpretation, a unifying framework to compare semantics of models at different levels of abstraction. Here, we relate the behaviors of the initial and reduced models for two model reduction approaches, a new method and the classical one proposed by Naldi et al.. In both cases, we formally characterize which traces are preserved by construction. 

  @InProceedings{10.1007/978-3-032-01436-8_3,
    author="Chaouiya, Claudine and Feret, J{\'e}r{\^o}me and Tenera Roxo, Patr{\'i}cia",
    editor="Fages, Fran{\c{c}}ois and P{\'e}r{\`e}s, Sabine",
    title="On Model Reductions of Boolean Networks",
    booktitle="Computational Methods in Systems Biology",
    year="2026",
    publisher="Springer Nature Switzerland",
    address="Cham",
    volume="15959",
    pages="42--60",
    isbn="978-3-032-01436-8"
    }