| 2026 | CASC | A Parametric Differential System Admitting an Integral Input-Output Equation with a Fraction. | Franois Lemaire, Louis Roussel |
| 2025 | ISSAC | Recent Advances on Integral Elimination. | Franois Lemaire, Louis Roussel |
| 2024 | CASC | On Formal Power Series Solutions of Regular Differential Chains. | Franois Boulier, Franois Lemaire |
| 2024 | CASC | Contribution to Integral Elimination. | Franois Lemaire, Louis Roussel |
| 2021 | CASC | Decoupling Multivariate Fractions. | Franois Lemaire, Adrien Poteaux |
| 2018 | CASC | Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. | Franois Boulier, Hlne Castel, Nathalie Corson, Valentina Lanza, Franois Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdire |
| 2016 | CASC | Computing Sparse Representations of Systems of Rational Fractions. | Franois Lemaire, Alexandre Temperville |
| 2015 | CASC | Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. | Franois Boulier, Franois Lemaire |
| 2014 | CASC | An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. | Franois Boulier, Anja Korporal, Franois Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira |
| 2013 | ISSAC | On the integration of differential fractions. | Franois Boulier, Franois Lemaire, Georg Regensburger, Markus Rosenkranz |
| 2011 | CASC | Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). | Franois Boulier, Franois Lemaire, Michel Petitot, Alexandre Sedoglavic |
| 2011 | CASC | On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. | Franois Boulier, Franois Lemaire, Alexandre Sedoglavic |
| 2010 | ISSAC | A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra. | Franois Lemaire, Asli rgpl |
| 2008 | ICCSA | The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. | Changbo Chen, Franois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2008 | ISSAC | When does ( | Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2007 | CASC | Comprehensive Triangular Decomposition. | Changbo Chen, Oleg Golubitsky, Franois Lemaire, Marc Moreno Maza, Wei Pan |
| 2007 | ICCS | Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. | Changbo Chen, Franois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie |
| 2001 | ISSAC | PARDI!. | Franois Boulier, Franois Lemaire, Marc Moreno Maza |
| 2000 | ISSAC | Computing canonical representatives of regular differential ideals. | Franois Boulier, Franois Lemaire |