Francois Boulier

professeur des universités - Informatique
CNU : SECTION 27 - INFORMATIQUE
francois_boulier.png

Francois Boulier

professeur des universités - Informatique

Publications


Journaux

2020

  • François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. A Short Contribution to the Theory of Regular Chains. Mathematics in Computer Science, presented at CASC 2019, Moscow, August 26-30, 2019. hal.

2019

  • François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem for Regular Differential Chains. Journal of Symbolic Computation, 93, pp 34-55. bib doi hal.

2016

  • François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz. Additive Normal Forms and Integration of Differential Fractions. Journal of Symbolic Computation, 77, pp. 16-38, 2016. bib doi hal.

2015

  • François Boulier, M. Han, François Lemaire, Valery G. Romanovski. Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms. Programming and Computer Software, vol. 41(2):105-111, 2015. bib springerlink

2014

  • François Boulier, Changbo Chen, François Lemaire and Marc Moreno-Maza. Real Root Isolation of Regular Chains. Computer Mathematics, pages 33-38, 2014. bib springerlink.

2011

  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. Mathematics in Computer Science, vol 5:289-301, 2011. bib springerlink

2010

  • François Boulier and François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, vol. 4(2):185-201, 2010. bib springerlink hal
  • François Boulier, François Lemaire, and Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, vol. 45(1):124-149, 2010. bib doi hal

Conférences sélectives

2020

  • Sebastian Falkensteiner and Cristhian Garay-López and Mercedes Haiech and Marc Paul Noordman and Zeinab Toghani and François Boulier. The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. Proceedings of the International Symposium on Symbolic and Algebraic Computation 2020, pages 178-185, Kalamata, Greece, July 2020. arxiv doi hal

2018

  • François Boulier and Hélène Castel and Nathalie Corson and Valentina Lanza and François Lemaire and Adrien Poteaux and Alban Quadrat and Nathalie Verdière. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. Proceedings of Computer Algebra in Scientific Computing 2018, number 11077 in LNCS, pages 82-98, Villeneuve d'Ascq, France, September 2018. bib hal

2015

  • François Boulier and François Lemaire. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. Proceedings of Computer Algebra in Scientific Computing 2015, number 9301 in LNCS, pages 101-118, Aachen, Germany, September 2015. bib springerlink

2014

  • François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux and Rosane Ushirobira. An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. Proceedings of Computer Algebra in Scientific Computing 2014, number 8660 in LNCS, pages 28-43, Warsaw, Poland, September 2014. bib springerlink hal

2013

  • François Boulier, François Lemaire, Georg Regensburger and Markus Rosenkranz. On the Integration of Differential Fractions. Proceedings of the International Symposium on Symbolic and Algebraic Computation 2013, pages 101-108, Boston, USA, June 2013. bib

2011

  • François Boulier, François Lemaire and Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. Proceedings of Computer Algebra in Scientific Computing 2011, number 6885 in LNCS, pages 61-72, Kassel, Germany, September 2011. bib hal

2010

  • Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, and Céline Kuttler. Models of Stochastic Gene Expression and Weyl Algebra. In Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov, editors, Proceedings of Algebraic and Numeric Biology 2010, pages 50-67, Castle of Hagenberg, Austria, August 2010. bib hal
  • Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier and Asli Ürgüplü. A General Procedure for the Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. In Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov, editors, Proceedings of Algebraic and Numeric Biology 2010, page 101, Castle of Hagenberg, Austria, August 2010. bib

Chapitres de livres, articles invités, tutoriaux

2020

  • François Boulier and François Lemaire and Markus Rosenkranz and Rosane Ushirobira and Nathalie Verdière. On Symbolic Approaches to Integro-Differential Equations. Chapter in Algebraic and Symbolic Computation Methods in Dynamical Systems. Series Advances in Delay and Dynamics, vol. 9, pages 161-182, 2020. hal

2019

  • François Boulier. A Differential Algebra Introduction For Tropical Differential Geometry. Lecture Notes for the workshop on Tropical Differential Geometry, Queen Mary College of the University of London. Dec. 2-7, 2019. hal

2018

  • François Boulier. The Management of Parameters in the MAPLE DifferentialAlgebra Package. Preprint, June 2018. hal
  • François Boulier. On the Parameter Estimation Problem for Integro-Differential Models. Presented in the AADIOS session of ACA 2018, Santiago de Compostela, June 2018. hal.

2017

  • François Boulier and François Lemaire and Adrien Poteaux and Alban Quadrat and Nathalie Verdière and Nathalie Corson and Valentina Lanza and Hélène Castel and Vincent Compère and Pierrick Gandolfo and Emmanuel Gérardin. Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes. Journées Annuelles du GT BIOSS, 2017. hal bib

2012

  • François Boulier and Nicolas M. Thiéry. A Differential Algebra Package in Sage. Presented in the AADIOS session of the ACA 2012 conference, Sofia, Bulgaria, June 2012 bib

2011

  • François Boulier, François Lemaire, Michel Petitot and Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. Computer Algebra and Scientific Computing, number 6885 in LNCS, pages 73-87, Kassel, Germany, September 2011. bib hal