activity
20002024
most citedCLPGUI: a generic graphical user interface for constraint logic programming over finite domains

6 citations · 16 across the 9 of their papers we have counts for

collaborators

9 papers

cs.LO2024

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

François Fages

Constraint logic programming emerged in the late 80's as a highly declarative class of programming languages based on first-order logic and theories with decidable constraint langu…

cs.LG2023

Neural-based classification rule learning for sequential data

Marine Collery, Philippe Bonnard, François Fages +1

Discovering interpretable patterns for classification of sequential data is of key importance for a variety of fields, ranging from genomics to fraud detection or more generally in…

q-bio.QM2022★ 1 cited

Stability versus Meta-stability in a Skin Microbiome Model

Eléa Thibault Greugny, Georgios N Stamatas, François Fages

The skin microbiome plays an important role in the maintenance of a healthy skin. It is an ecosystem, composed of several species, competing for resources and interacting with the…

q-bio.MN2022★ 2 cited

Algebraic Biochemistry: a Framework for Analog Online Computation in Cells

Mathieu Hemery, François Fages

The Turing completeness of continuous chemical reaction networks (CRNs) states that any computable real function can be computed by a continuous CRN on a finite set of molecular sp…

q-bio.QM2018

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels

Adrien Baudier, François Fages, Sylvain Soliman

Thomas's necessary conditions for the existence of multiple steady states in gene networks have been proved by Soulé with high generality for dynamical systems defined by different…

q-bio.MN2014★ 6 cited

A Constraint Solving Approach to Tropical Equilibration and Model Reduction

Sylvain Soliman, Francois Fages, Ovidiu Radulescu

Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing mul…