Computing canonical representatives of regular differential ideals. - François Boulier; François Lemaire (ISSAC, 2000)

PARDI!. - François Boulier; François Lemaire; Marc Moreno Maza (ISSAC, 2001)

Contribution à l'algorithmique en algèbre différentielle. - François Lemaire (2002)

An orderly linear PDE system with analytic initial conditions with a non-analytic solution. - François Lemaire (J. Symb. Comput., 2003)

The RegularChains library in MAPLE. - François Lemaire; Marc Moreno Maza; Yuzhen Xie (SIGSAM Bull., 2005)

On Proving the Absence of Oscillations in Models of Genetic Circuits. - François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant; Asli Ürgüplü (AB, 2007)

Comprehensive Triangular Decomposition. - Changbo Chen; Oleg Golubitsky; François Lemaire; Marc Moreno Maza; Wei Pan 001 (CASC, 2007)

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. - Changbo Chen; François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (International Conference on Computational Science (2), 2007)

Differential Algebra and System Modeling in Cellular Biology. - François Boulier; François Lemaire (AB, 2008)

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. - François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant (AB, 2008)

When does (T) equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (ISSAC, 2008)

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. - Changbo Chen; Marc Moreno Maza; François Lemaire; Wei Pan 001; Liyun Li; Yuzhen Xie (ACM Commun. Comput. Algebra, 2008)

Real Root Isolation of Regular Chains. - François Boulier; Changbo Chen; François Lemaire; Marc Moreno Maza (ASCM, 2009)

Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. - François Boulier; François Lemaire; Alexandre Sedoglavic; Asli Ürgüplü (Math. Comput. Sci., 2009)

MABSys: Modeling and Analysis of Biological Systems. - François Lemaire; Asli Ürgüplü (ANB, 2010)

A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. - Masahiko Nakatsui; Alexandre Sedoglavic; François Lemaire; François Boulier; Asli Ürgüplü; Katsuhisa Horimoto (ANB, 2010)

Models of Stochastic Gene Expression and Weyl Algebra. - Samuel Vidal; Michel Petitot; François Boulier; François Lemaire; Céline Kuttler (ANB, 2010)

A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. - François Lemaire; Asli Ürgüplü (ISSAC, 2010)

Computing differential characteristic sets by change of ordering. - François Boulier; François Lemaire; Marc Moreno Maza (J. Symb. Comput., 2010)

A Normal Form Algorithm for Regular Differential Chains. - François Boulier; François Lemaire (Math. Comput. Sci., 2010)

Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). - François Boulier; François Lemaire; Michel Petitot; Alexandre Sedoglavic (CASC, 2011)

On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. - François Boulier; François Lemaire; Alexandre Sedoglavic (CASC, 2011)

Computing the real solutions of polynomial systems with the RegularChains library in Maple. - Changbo Chen; James H. Davenport; François Lemaire; Marc Moreno Maza; Bican Xia; Rong Xiao 004; Yuzhen Xie (ACM Commun. Comput. Algebra, 2011)

When does <T> equal sat(T)? - François Lemaire; Marc Moreno Maza; Wei Pan 001; Yuzhen Xie (J. Symb. Comput., 2011)

Model Reduction of Chemical Reaction Systems using Elimination. - François Boulier; Marc Lefranc; François Lemaire; Pierre-Emmanuel Morant (Math. Comput. Sci., 2011)

Symmetry-Based Model Reduction for Approximate Stochastic Analysis. - Kirill Batmanov; Céline Kuttler; François Lemaire; Cédric Lhoussaine; Cristian Versari (CMSB, 2012)

On the integration of differential fractions. - François Boulier; François Lemaire; Georg Regensburger; Markus Rosenkranz (ISSAC, 2013)

An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. - François Boulier; Anja Korporal; François Lemaire; Wilfrid Perruquetti; Adrien Poteaux; Rosane Ushirobira (CASC, 2014)

On Defining and Computing "Good" Conservation Laws. - François Lemaire; Alexandre Temperville (CMSB, 2014)

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. - François Boulier; François Lemaire (CASC, 2015)

New development and application of integration of differential fractions. - François Lemaire (ACM Commun. Comput. Algebra, 2015)

Qualitative investigation of a gene model using computer algebra algorithms. - François Boulier; Maoan Han; François Lemaire; Valery G. Romanovski (Program. Comput. Softw., 2015)

Computing Sparse Representations of Systems of Rational Fractions. - François Lemaire; Alexandre Temperville (CASC, 2016)

Additive normal forms and integration of differential fractions. - François Boulier; François Lemaire; Joseph Lallemand; Georg Regensburger; Markus Rosenkranz (J. Symb. Comput., 2016)

Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. - François Boulier; Hélène Castel; Nathalie Corson; Valentina Lanza; François Lemaire; Adrien Poteaux; Alban Quadrat; Nathalie Verdière (CASC, 2018)

An equivalence theorem for regular differential chains. - François Boulier; François Lemaire; Adrien Poteaux; Marc Moreno Maza (J. Symb. Comput., 2019)

Decoupling Multivariate Fractions. - François Lemaire; Adrien Poteaux (CASC, 2021)

High-performance SIMD modular arithmetic for polynomial evaluation. - Pierre Fortin 001; Ambroise Fleury; François Lemaire; Michael B. Monagan (Concurr. Comput. Pract. Exp., 2021)

A Short Contribution to the Theory of Regular Chains. - François Boulier; François Lemaire; Marc Moreno Maza; Adrien Poteaux (Math. Comput. Sci., 2021)

Integral equation modelling and deep learning. - François Lemaire; Louis Roussel (ACM Commun. Comput. Algebra, 2022)

On Formal Power Series Solutions of Regular Differential Chains. - François Boulier; François Lemaire (CASC, 2024)

Contribution to Integral Elimination. - François Lemaire; Louis Roussel (CASC, 2024)

Parameter Estimation using Integral Equations. - François Lemaire; Louis Roussel (Maple Trans., 2024)

A Prototype for Integral Elimination. - François Lemaire; Louis Roussel (ACM Commun. Comput. Algebra, 2024)