Publications

Table des matières

Journaux

2017

  • François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem for Regular Differential Chains. Submitted to the Journal of Symbolic Computation. 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.

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
  • 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 sciencedirect

2009

  • François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. Journal of AAECC, vol. 20(1):73-121, 2009. bib springerlink
  • François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü. Towards an automated reduction method for polynomial ODE models in cellular biology. Mathematics in Computer Science, Special Issue on Symbolic Computation in Biology, vol. 2(3):443-464, 2009. bib springerlink

1996

  • François Boulier. An optimization of Seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib

Conférences sélectives

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

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

2009

  • François Boulier, Changbo Chen, François Lemaire, and Marc Moreno Maza. Real root isolation of regular chains. In ASCM-MACIS 09, Asian Symposium on Computer Mathematics, Fukuoka, Japan, 2009. bib

2008

  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. In K. Horimoto et al., editor, Proceedings of Algebraic Biology 2008, number 5147 in LNCS, pages 56-64. Springer Verlag Berlin Heidelberg, 2008. bib hal
  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. In Prooceedings of Journées Ouvertes Biologie Informatique Mathématiques, pages 77-82, 2008. bib

2007

  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. 2007. Presented at the international conference MACIS 2007. bib hal
  • François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, and Asli Ürgüplü. On proving the absence of oscillations in models of genetic circuits. In K. Horimoto H. Anai and T. Kutsia, editors, Proceedings of Algebraic Biology 2007, volume 4545 of LNCS, pages 66-80. Springer Verlag Berlin Heidelberg, 2007. bib hal

2006

  • François Boulier, François Lemaire, and Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. In Proceedings of Transgressive Computing 2006, pages 79-91, Granada, Spain, 2006. bib hal

2004

  • François Boulier, Lilianne Denis-Vidal, Thibaut Henin, and François Lemaire. LÉPISME. In Proceedings of the ICPSS conference, 2004. bib hal
  • François Boulier, Marc Moreno Maza, and Cosmin Oancea. A new henselian construction and its application to polynomial gcds over direct products of fields. In proceedings of EACA'04, Universidad de Santander, Spain, 2004. bib

2001

  • François Boulier and Sylvain Neut. Cartan's characters and stairs of characteristic sets. In Proceedings of AAECC 11, pages 363-372, Sydney, Australia, 2001. bib
  • François Boulier, François Lemaire, and Marc Moreno Maza. PARDI!. In ISSAC'01: Proceedings of the 2001 international symposium on Symbolic and algebraic computation, pages 38-47, New York, NY, USA, 2001. ACM Press. bib hal
  • François Boulier, Florent Hivert, Daniel Krob, and Jean-Christophe Novelli. Pseudo-permutations. II. Geometry and representation theory. Discrete Mathematics and Theoretical Computer Science Proceedings, AA(DM-CCG):123-132, 2001. bib

2000

  • François Boulier and François Lemaire. Computing canonical representatives of regular differential ideals. In ISSAC'00: Proceedings of the 2000 international symposium on Symbolic and algebraic computation, pages 38-47, New York, NY, USA, 2000. ACM Press. bib hal

1999

  • François Boulier. Efficient computation of regular differential systems by change of rankings using Kähler differentials. Technical report, Université Lille I, 59655, Villeneuve d'Ascq, France, November 1999. Ref. LIFL 1999-14, presented at the MEGA 2000 conference. bib hal

1995

  • François Boulier, Daniel Lazard, François Ollivier, and Michel Petitot. Representation for the radical of a finitely generated differential ideal. In ISSAC'95: Proceedings of the 1995 international symposium on Symbolic and algebraic computation, pages 158-166, New York, NY, USA, 1995. ACM Press. bib hal
  • François Boulier and Michel Petitot. Complete computation of the relations for implicit dynamical systems. In Proceedings of IFAC95, System Structure and Control, pages 635-639, Nantes, France, 1995. bib

Articles invités, tutoriaux, chapitres de livres

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
  • 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, Springer, 2017. hal

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

2009

  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009. bib
  • François Boulier. On applications of differential elimination to modeling problems in biology. In Proceedings of ICMM09, may 2009. bib

2008

  • François Boulier and François Lemaire. Differential algebra and system modeling in cellular biology. In K. Horimoto et al., editor, Proceedings of Algebraic Biology 2008, volume 5147 of LNCS, pages 22-39. Springer Verlag Berlin Heidelberg, 2008. bib
  • François Boulier. On the role of differential algebra in biological modeling. Le Matematiche, LXIII(1):39-44, 2008. Proceedings of the conference in the honor of Giuseppa Carrà-Ferro: Differential Algebra and Related Computer Algebra bib

2007

  • François Boulier. Differential Elimination and Biological Modelling. Radon Series on Computational and Applied Mathematics (Gröbner Bases in Symbolic Analysis), 2:111-139, October 2007. bib hal

2000

  • François Boulier. Triangularisation de systèmes de polynômes différentiels. série IC2 (Information, Commande, Communication). Hermès, 2000. Never published. In French. bib hal.

Mémoires

2006

  • François Boulier. Réécriture algébrique dans les systèmes d'équations différentielles polynomiales en vue d'applications dans les Sciences du Vivant. May 2006. Mémoire d'habilitation à diriger des recherches. Université Lille I, LIFL, 59655 Villeneuve d'Ascq, France. bib hal

1994

  • François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle. PhD thesis, Université Lille I, 59655, Villeneuve d'Ascq, France, 1994. bib hal