Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. - Stéphanie Chevalier; Christine Froidevaux; Loïc Paulevé; Andrei Yu. Zinovyev (ICTAI, 2019)

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision. - Stéphanie Chevalier; Vincent Noël; Laurence Calzone; Andrei Yu. Zinovyev; Loïc Paulevé (CMSB, 2020)

Inférence logique de réseaux booléens à partir de connaissances et d'observations de processus de différenciation cellulaire. (Logical inference of Boolean networks from knowledge and observations of cellular differentiation processes). - Stéphanie Chevalier (2022)

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)