Journaux
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
2011
- François Boulier, François Lemaire and Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. To appear in the 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
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 et tutoriaux
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
2010
- 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 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