Maxime Folschette

Interaction Graphs of Phytoplankton Species Interactions using Logical Learning

23rd International Conference on Computational Methods in Systems Biology (CMSB 2025), Sabine Pérès; François Fages, Sep 2025, Lyon, France. pp.276-296, ⟨10.1007/978-3-032-01436-8_15⟩

Madeleine Eyraud,Maxime Folschette,Katsumi Inoue,Sébastien Lefebvre,Cédric Lhoussaine

Lien : https://hal.science/hal-05065387v3

Rule-Based Counterfactual Explanations for Learning From Interpretation Transitions: A Static and Dynamic Framework

2026

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Nicolas Schwind,Katsumi Inoue,Tuan Nguyen,Kotaro Okazaki,Kuo-Yen Lo,Jeremie Poschmann,Antoine Roquilly

Lien : https://hal.science/hal-05615022v1

Conditions for cyclic attractors for a class of discrete n-dimensional repressilators

The 31st International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2025), Sara Riva; Adrien Richard, Jun 2025, Villeneuve-d'Ascq, France. pp.139-153, ⟨10.1007/978-3-032-01570-9_10⟩

Honglu Sun,Maxime Folschette,Morgan Magnin,Elisa Tonello

Lien : https://hal.science/hal-05236106v1

Learning From Interpretation Transitions with Unknowns

4th International Joint Conference on Learning & Reasoning, Sep 2024, Nanjing, China. pp.66-85, ⟨10.1007/978-3-032-09087-4_5⟩

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Kotaro Okazaki,Kuo-Yen Lo,Antoine Roquilly,Jérémie Poschmann,Katsumi Inoue

Lien : https://hal.science/hal-04634356v2

Counterfactual Explanations Under Learning From Interpretation Transitions

2025

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue,Tuan Nguyen,Kotaro Okazaki,Kuo-Yen Lo,Jeremie Poschmann,Antoine Roquilly

Lien : https://hal.science/hal-05110444v2

Counterfactual Explanations for Dynamic Multi-Valued Logic

Special Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue,Kotaro Okazaki,Kuo-Yen Lo,Tuan Nguyen,Jeremie Poschmann,Antoine Roquilly

Lien : https://hal.science/hal-05230575v1

Modeling Intestinal Glucose Absorption from D-xylose Data

15th International Conference on Bioinformatics, Models, Methods and Algorithms, Feb 2024, Rome, Italy. pp.438-445, ⟨10.5220/0012358300003657⟩

Danilo Dursoniah,Maxime Folschette,Rebecca Goutchtat,Violeta Raverdy,François Pattou,Cédric Lhoussaine

Lien : https://hal.science/hal-04329210v3

Condition for periodic attractor in 4-dimensional repressilators

21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Sep 2023, Luxembourg City, Luxembourg. pp.184-201, ⟨10.1007/978-3-031-42697-1_13⟩

Honglu Sun,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-04135182v1

Condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks

International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), Feb 2023, Lisbon, Portugal. pp.29-40, ⟨10.5220/0011614300003414⟩

Honglu Sun,Jean-Paul Comet,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-03902156v1

Reachability analysis of a class of hybrid gene regulatory networks

17th International Conference on Reachability Problems (RP'23), Oct 2023, Nice, France. pp.56-69, ⟨10.1007/978-3-031-45286-4_5⟩

Honglu Sun,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-04180870v1

Appendix of Reachability Analysis of a Class of Hybrid Gene Regulatory Networks

2023

Honglu Sun,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-04182253v1

The Challenges of Inferring Dynamic Models from Time Series

Symbolic Approaches to Modeling and Analysis of Biological Systems, Wiley, 2023, 9781789450293. ⟨10.1002/9781394229086.ch3⟩

Tony Ribeiro,Maxime Folschette,Laurent Trilling,Nicolas Glade,Katsumi Inoue,Morgan Magnin,Olivier F. Roux

Lien : https://hal.science/hal-04279657v1

Limit cycle analysis of a class of hybrid gene regulatory networks

20th International Conference on Computational Methods in Systems Biology (CMSB 2022), Sep 2022, Bucharest, Romania. pp.217-236, ⟨10.1007/978-3-031-15034-0_11⟩

Honglu Sun,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-03700025v2

Supplementary material of condition for sustained oscillations in repressilator based on a hybrid modeling of gene regulatory networks

2022

Honglu Sun,Jean-Paul Comet,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-03890505v1

Limit cycle analysis of a class of hybrid gene regulatory networks

Journées Nationales de l’Informatique Mathématique (JNIM 2022), Mar 2022, Lille, France

Honglu Sun,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-03700402v1

Analyzing Long-Term Dynamics of Biological Networks with Answer Set Programming

Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, 2022

Emna Ben Abdallah,Maxime Folschette,Morgan Magnin

Lien : https://hal.science/hal-03735849v2

Diagnosis of Event Sequences with LFIT

The 31st International Conference on Inductive Logic Programming (ILP), Sep 2022, Windsor, United Kingdom

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Kotaro Okazaki,Lo Kuo-Yen,Katsumi Inoue

Lien : https://hal.science/hal-03689936v2

Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Machine Learning, 2021, ⟨10.1007/s10994-021-06105-4⟩

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue

Lien : https://hal.science/hal-02925942v5

Large-scale regulatory and signaling network assembly through linked open data

Database - The journal of Biological Databases and Curation, 2021, 2021, pp.baaa113. ⟨10.1093/database/baaa113⟩

Marie Lefebvre,Alban Gaignard,Maxime Folschette,Jérémie Bourdon,Carito Guziolowski

Lien : https://hal.science/hal-03107317v2

Automatic Modeling of Dynamical Interactions Within Marine Ecosystems

1st International Joint Conference on Learning & Reasoning, Oct 2021, (virtual), Greece.

Omar Iken,Maxime Folschette,Tony Ribeiro

Lien : https://hal.science/hal-03347033v1

Limits of a Glucose-Insulin Model to Investigate Intestinal Absorption in Type 2 Diabetes

BIOTECHNO 2021 : The Thirteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, Birgit Gersbeck-Schierholz; Hesham H. Ali, May 2021, Valencia, Spain. pp.4-7

Danilo Dursoniah,Maxime Folschette,Cédric Lhoussaine,Rebecca Goutchtat,François Pattou,Violeta Raverdy

Lien : https://hal.science/hal-03216583v1

Polynomial Algorithm For Learning From Interpretation Transition

1st International Joint Conference on Learning & Reasoning, Oct 2021, (virtual), Greece.

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Katsumi Inoue

Lien : https://hal.science/hal-03347026v1

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma

BMC Bioinformatics, 2020, 21 (1), pp.18. ⟨10.1186/s12859-019-3316-1⟩

Maxime Folschette,Vincent Legagneux,Arnaud Poret,Lokmane Chebouba,Carito Guziolowski,Nathalie Théret

Lien : https://hal.science/hal-02095930v4

The Hoare-fol Tool

[Technical Report] Univ. Lille, CNRS, Centrale Lille, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, F-59000 Lille, France. 2019

Maxime Folschette

Lien : https://hal.science/hal-02409801v1

INEX-MED: a Knowledge Graph to explore and link heterogeneous bio-medical data

JOBIM 2019, Jul 2019, Nantes, France

Maxime Folschette,Kirsley Chennen,Alban Gaignard,Richard Redon,Hala Skaf-Molli,Olivier Poch,Jocelyn Laporte,Julie D Thompson

Lien : https://hal.science/hal-02330809v1

INEX-MED: a Knowledge Graph to explore and link heterogeneous bio-medical data

JOBIM 2019, Jul 2019, Nantes, France

Maxime Folschette,Kirsley Chennen,Alban Gaignard,Richard Redon,Hala Skaf-Molli,Olivier Poch,Jocelyn Laporte,Julie D Thompson

Lien : https://hal.science/hal-02330809v1

Learning Dynamics with Synchronous, Asynchronous and General Semantics

28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩

Tony Ribeiro,Maxime Folschette,Morgan Magnin,Olivier Roux,Katsumi Inoue

Lien : https://hal.science/hal-01826564v1

Inductive Learning from State Transitions over Continuous Domains

27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩

Tony Ribeiro,Sophie Tourret,Maxime Folschette,Morgan Magnin,Domenico Borzacchiello,Francisco Chinesta,Olivier Roux,Katsumi Inoue

Lien : https://hal.science/hal-01655644v3

ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks

Algorithms for Molecular Biology, 2017, 12 (1), ⟨10.1186/s13015-017-0111-2⟩

Emna Ben Abdallah,Maxime Folschette,Olivier Roux,Morgan Magnin

Lien : https://hal.science/hal-01654877v1

Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks

24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.5⟩

Jonathan Behaegel,Jean-Paul Comet,Maxime Folschette

Lien : https://hal.science/hal-01655310v1

Identification of Biological Regulatory Networks from Process Hitting models

Theoretical Computer Science, 2015, 568, pp.39. ⟨10.1016/j.tcs.2014.12.002⟩

Maxime Folschette,Loïc Paulevé,Katsumi Inoue,Morgan Magnin,Olivier Roux

Lien : https://hal.science/hal-01094249v1

Sufficient Conditions for Reachability in Automata Networks with Priorities

Theoretical Computer Science, 2015, ⟨10.1016/j.tcs.2015.08.040⟩

Maxime Folschette,Loïc Paulevé,Morgan Magnin,Olivier F. Roux

Lien : https://hal.science/hal-01202671v1

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming

IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Nov 2015, Washington, D.C., United States. pp.281-285, ⟨10.1109/BIBM.2015.7359694⟩

Emna Ben Abdallah,Maxime Folschette,Olivier Roux,Morgan Magnin

Lien : https://hal.science/hal-01252610v1

Analyzing Large Network Dynamics with Process Hitting

Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. ⟨10.1002/9781119005223.ch4⟩

Loïc Paulevé,Courtney Chancellor,Maxime Folschette,Morgan Magnin,Olivier Roux

Lien : https://hal.science/hal-01060490v1

Under-approximation of Reachability in Multivalued Asynchronous Networks

fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13), Jun 2013, Florence, Italy. pp.33--51, ⟨10.1016/j.entcs.2013.11.004⟩

Maxime Folschette,Loïc Paulevé,Morgan Magnin,Olivier Roux

Lien : https://hal.science/hal-00873000v1

Concretizing the Process Hitting into Biological Regulatory Networks

Computational Methods in Systems Biology, Oct 2012, London, United Kingdom. p. 166-186, ⟨10.1007/978-3-642-33636-2_11⟩

Maxime Folschette,Loïc Paulevé,Katsumi Inoue,Morgan Magnin,Olivier Roux

Lien : https://hal.science/hal-00704569v2

Abducing Biological Regulatory Networks from Process Hitting models

ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology, Sep 2012, Bristol, United Kingdom

Maxime Folschette,Loïc Paulevé,Katsumi Inoue,Morgan Magnin,Olivier F. Roux

Lien : https://hal.science/hal-01314470v1