| 2024 | CASC | On Formal Power Series Solutions of Regular Differential Chains. | Franois Boulier, Franois Lemaire |
| 2021 | CASC | On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. | Franois Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar Len Snchez |
| 2020 | ISSAC | The fundamental theorem of tropical partial differential algebraic geometry. | Sebastian Falkensteiner, Cristhian Garay-Lpez, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, Franois Boulier |
| 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 |
| 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 |
| 2001 | ISSAC | PARDI!. | Franois Boulier, Franois Lemaire, Marc Moreno Maza |
| 2000 | ISSAC | Computing canonical representatives of regular differential ideals. | Franois Boulier, Franois Lemaire |
| 1995 | ISSAC | Representation for the Radical of a Finitely Generated Differential Ideal. | Franois Boulier, Daniel Lazard, Franois Ollivier, Michel Petitot |