François Boulier

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 15

Top Venues

CASC

Math. Comput. Sci.

J. Symb. Comput.

CoRR

Lille University of Science and Technology, France (PHD)

Education History

Lille University of Science and Technology, France

PHD

Publications

François Boulier, François Lemaire
On Formal Power Series Solutions of Regular Differential Chains. CASC (2024)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword. Math. Comput. Sci. 17 (3) (2023)
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, François Boulier, Zeinab Toghani
On initials and the fundamental theorem of tropical partial differential algebraic geometry. J. Symb. Comput. 115 (2023)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword. Math. Comput. Sci. 16 (2) (2022)
François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux
A Short Contribution to the Theory of Regular Chains. Math. Comput. Sci. 15 (2) (2021)
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
Foreword, with a Dedication to Vladimir Gerdt. Math. Comput. Sci. 15 (3) (2021)
François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. CoRR (2021)
François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. CASC (2021)
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier
The fundamental theorem of tropical partial differential algebraic geometry. ISSAC (2020)
François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package. MC (2020)
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. CoRR (2020)
François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza
An equivalence theorem for regular differential chains. J. Symb. Comput. 93 (2019)
François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. CASC (2018)
François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52 (3) (2018)
François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77 (2016)
François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski
Qualitative investigation of a gene model using computer algebra algorithms. Program. Comput. Softw. 41 (2) (2015)
François Boulier, François Lemaire
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. CASC (2015)
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. CASC (2014)
François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz
On the integration of differential fractions. ISSAC (2013)
François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). Dagstuhl Reports 2 (11) (2012)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
Model Reduction of Chemical Reaction Systems using Elimination. Math. Comput. Sci. 5 (3) (2011)
François Boulier, François Lemaire, Alexandre Sedoglavic
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. CASC (2011)
François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). CASC (2011)
François Boulier, François Lemaire
A Normal Form Algorithm for Regular Differential Chains. Math. Comput. Sci. 4 (2-3) (2010)
François Boulier, François Lemaire, Marc Moreno Maza
Computing differential characteristic sets by change of ordering. J. Symb. Comput. 45 (1) (2010)
Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, Katsuhisa Horimoto
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. ANB (2010)
Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler
Models of Stochastic Gene Expression and Weyl Algebra. ANB (2010)
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Eng. Commun. Comput. 20 (1) (2009)
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
Real Root Isolation of Regular Chains. ASCM (2009)
François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. Math. Comput. Sci. 2 (3) (2009)
François Boulier
Foreword to the article: Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Eng. Commun. Comput. 20 (1) (2009)
François Boulier, François Lemaire
Differential Algebra and System Modeling in Cellular Biology. AB (2008)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. AB (2008)
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü
On Proving the Absence of Oscillations in Models of Genetic Circuits. AB (2007)
François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli
Pseudo-Permutations II: Geometry and Representation Theory. DM-CCG (2001)
François Boulier, Sylvain Neut
Cartan's Characters and Stairs of Characteristic Sets. AAECC (2001)
François Boulier, François Lemaire, Marc Moreno Maza
PARDI!. ISSAC (2001)
François Boulier, François Lemaire
Computing canonical representatives of regular differential ideals. ISSAC (2000)
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
Representation for the Radical of a Finitely Generated Differential Ideal. ISSAC (1995)

François Boulier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Boulier