Automatic Synthesis of Boolean Networks from Biological Knowledge and Data. - Athénaïs Vaginay; Taha Boukhobza; Malika Smaïl-Tabbone (OLA, 2021)

Abstract Simulation of Reaction Networks via Boolean Networks. - Joachim Niehren; Athénaïs Vaginay; Cristian Versari (CMSB, 2022)

From quantitative SBML models to Boolean networks. - Athénaïs Vaginay; Taha Boukhobza; Malika Smaïl-Tabbone (Appl. Netw. Sci., 2022)

Core SBML and Its Formal Semantics. - Joachim Niehren; Cédric Lhoussaine; Athénaïs Vaginay (CMSB, 2023)

Synthesis of Boolean networks from the structure and dynamics of reaction networks. (Synthèse de réseaux booléens à partir de la structure et de la dynamique des réseaux de réactions). - Athénaïs Vaginay (2023)

BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks. - Stéphanie Chevalier; Déborah Boyenval; Gustavo Magaña López; Théo Roncalli; Athénaïs Vaginay; Loïc Paulevé (CMSB, 2024)

Looking for Signs: Reasoning About FOBNNs Using SAT. - Hans-Jörg Schurr; Athénaïs Vaginay (CMSB, 2025)