15 citations · 15 across the 6 of their papers we have counts for
8 papers
On the Boolean Network Theory of Datalog
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman +1
Datalog is a central formalism used in a variety of domains ranging from deductive databases and abstract argumentation frameworks to answer set programming. Its model theor…
Graphical Conditions for the Existence, Unicity and Number of Regular Models
Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman +1
The regular models of a normal logic program are a particular type of partial (i.e. 3-valued) models which correspond to stable partial models with minimal undefinedness. In this p…
Graphical Conditions ensuring Equality between Differential and Mean Stochastic Dynamics
Hugo Buscemi, François Fages
Complex systems can be advantageously modeled by formal reaction systems (RS), a.k.a. chemical reaction networks in chemistry. Reaction-based models can indeed be interpreted in a…
On Estimating Derivatives of Input Signals in Biochemistry
Mathieu Hemery, François Fages
The online estimation of the derivative of an input signal is widespread in control theory and engineering. In the realm of chemical reaction networks (CRN), this raises however a…
Reactmine: a statistical search algorithm for inferring chemical reactions from time series data
Julien Martinelli, Jeremy Grignard, Sylvain Soliman +2
Inferring chemical reaction networks (CRN) from concentration time series is a challenge encouragedby the growing availability of quantitative temporal data at the cellular level.…
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs
Mathieu Hemery, François Fages, Sylvain Soliman
The Turing completeness result for continuous chemical reaction networks (CRN) shows that any computable function over the real numbers can be computed by a CRN over a finite set o…