Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra). - François Boulier (1994)

Representation for the Radical of a Finitely Generated Differential Ideal. - François Boulier; Daniel Lazard; François Ollivier; Michel Petitot (ISSAC, 1995)

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

Cartan's Characters and Stairs of Characteristic Sets. - François Boulier; Sylvain Neut (AAECC, 2001)

Pseudo-Permutations II: Geometry and Representation Theory. - François Boulier; Florent Hivert; Daniel Krob; Jean-Christophe Novelli (DM-CCG, 2001)

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

Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant. (Algebraic rewriting in systems of polynomial differential equations with a view towards applications in life sciences). - François Boulier (2006)

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)

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)

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

Foreword to the article: Computing representations for radicals of finitely generated differential ideals. - François Boulier (Appl. Algebra Eng. Commun. Comput., 2009)

Computing representations for radicals of finitely generated differential ideals. - François Boulier; Daniel Lazard; François Ollivier; Michel Petitot (Appl. Algebra Eng. Commun. Comput., 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)

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)

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)

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

Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). - François Boulier; Anne Shiu; Thomas Sturm 001; Andreas Weber 004 (Dagstuhl Reports, 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)

Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. - François Boulier; François Lemaire (CASC, 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)

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)

The SYMBIONT project: symbolic methods for biological networks. - François Boulier; François Fages; Ovidiu Radulescu; Satya Swarup Samal; Andreas Schuppert; Werner M. Seiler; Thomas Sturm 001; Sebastian Walcher; Andreas Weber 004 (ACM Commun. Comput. Algebra, 2018)

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

The fundamental theorem of tropical partial differential algebraic geometry. - Sebastian Falkensteiner; Cristhian Garay-López; Mercedes Haiech; Marc Paul Noordman; Zeinab Toghani; François Boulier (ISSAC, 2020)

Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. - François Boulier; José Cano; Sebastian Falkensteiner; J. Rafael Sendra (MC, 2020)

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. - François Boulier; Sebastian Falkensteiner; Marc Paul Noordman; Omar León Sánchez (CASC, 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)

Foreword, with a Dedication to Vladimir Gerdt. - Matthew England 001; François Boulier; Timur M. Sadykov 001; Thomas Sturm 001 (Math. Comput. Sci., 2021)

Foreword. - Matthew England 001; François Boulier; Timur M. Sadykov 001; Thomas Sturm 001 (Math. Comput. Sci., 2022)

On initials and the fundamental theorem of tropical partial differential algebraic geometry. - Sebastian Falkensteiner; Cristhian Garay-López; Mercedes Haiech; Marc Paul Noordman; François Boulier; Zeinab Toghani (J. Symb. Comput., 2023)

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