Concretizing the Process Hitting into Biological Regulatory Networks. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (CMSB, 2012)

Under-approximation of Reachability in Multivalued Asynchronous Networks. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (CS2Bio, 2013)

Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologique. (Algebraic Modeling of the Dynamics of Multi-scale Biological Regulatory Networks). - Maxime Folschette (2014)

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (BIBM, 2015)

Identification of biological regulatory networks from Process Hitting models. - Maxime Folschette; Loïc Paulevé; Katsumi Inoue; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Sufficient conditions for reachability in automata networks with priorities. - Maxime Folschette; Loïc Paulevé; Morgan Magnin; Olivier F. Roux (Theor. Comput. Sci., 2015)

Analyses statiques de la dynamique des réseaux d'automates indéterministes. - Loïc Paulevé; Maxime Folschette; Morgan Magnin; Olivier F. Roux (Tech. Sci. Informatiques, 2015)

A Hybrid Hoare Logic for Gene Network Models. - Jonathan Behaegel; Jean-Paul Comet; Maxime Folschette (CoRR, 2016)

Inductive Learning from State Transitions over Continuous Domains. - Tony Ribeiro; Sophie Tourret; Maxime Folschette; Morgan Magnin; Domenico Borzacchiello; Francisco Chinesta; Olivier F. Roux; Katsumi Inoue (ILP, 2017)

Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. - Jonathan Behaegel; Jean-Paul Comet; Maxime Folschette (TIME, 2017)

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. - Emna Ben Abdallah 001; Maxime Folschette; Olivier F. Roux; Morgan Magnin (Algorithms Mol. Biol., 2017)

Learning Dynamics with Synchronous, Asynchronous and General Semantics. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Olivier F. Roux; Katsumi Inoue (ILP, 2018)

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma. - Maxime Folschette; Vincent Legagneux; Arnaud Poret; Lokmane Chebouba; Carito Guziolowski; Nathalie Théret (BMC Bioinform., 2020)

Large-scale regulatory and signaling network assembly through linked open data. - Marie Lefebvre; Alban Gaignard; Maxime Folschette; Jérémie Bourdon; Carito Guziolowski (Database J. Biol. Databases Curation, 2021)

Limit Cycle Analysis of a Class of Hybrid Gene Regulatory Networks. - Honglu Sun; Maxime Folschette; Morgan Magnin (CMSB, 2022)

Diagnosis of Event Sequences with LFIT. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Kotaro Okazaki; Lo Kuo-Yen; Katsumi Inoue (ILP, 2022)

Learning any memory-less discrete semantics for dynamical systems represented by logic programs. - Tony Ribeiro; Maxime Folschette; Morgan Magnin; Katsumi Inoue (Mach. Learn., 2022)

Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. - Honglu Sun; Jean-Paul Comet; Maxime Folschette; Morgan Magnin (BIOINFORMATICS, 2023)

Condition for Periodic Attractor in 4-Dimensional Repressilators. - Honglu Sun; Maxime Folschette; Morgan Magnin (CMSB, 2023)

Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. - Honglu Sun; Maxime Folschette; Morgan Magnin (RP, 2023)

Modeling Intestinal Glucose Absorption from D-Xylose Data. - Danilo Dursoniah; Maxime Folschette; Rebecca Goutchtat; Violeta Raverdy; François Pattou; Cédric Lhoussaine (BIOSTEC (1), 2024)