Publications

Main.Publications History

Hide minor edits - Show changes to markup

May 19, 2012, at 02:46 PM by François Boulier -
Added lines 72-73:

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
Restore
January 05, 2012, at 08:51 AM by Boulier -
Changed line 16 from:
  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. To appear in Mathematics in Computer Science.
to:
  • 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
Restore
October 19, 2011, at 11:13 AM by Boulier -
Added lines 14-16:

2011

  • François Boulier, Marc Lefranc, François Lemaire, and Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. To appear in Mathematics in Computer Science.
Restore
July 25, 2011, at 10:24 AM by F Boulier -
Changed lines 32-33 from:
  • 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, Kassel, Germany, September 2011. bib hal
to:
  • 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
Changed line 70 from:
  • François Boulier, François Lemaire, Michel Petitot and Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. Computer Algebra and Scientific Computing, Kassel, Germany, September 2011. bib hal
to:
  • 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
Restore
June 24, 2011, at 03:25 PM by François Boulier -
Added lines 69-70:

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, Kassel, Germany, September 2011. bib hal
Changed line 72 from:
  • 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
to:
  • 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
Restore
June 24, 2011, at 09:44 AM by François Boulier -
Changed line 40 from:
  • 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
to:
  • 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
Restore
June 24, 2011, at 09:40 AM by François Boulier -
Changed lines 35-36 from:
  • 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
to:
  • 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
Restore
June 09, 2011, at 05:47 PM by F Boulier -
Changed line 22 from:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
to:
  • François Boulier. An optimization of Seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
Restore
June 09, 2011, at 05:46 PM by F Boulier -
Changed line 32 from:
  • 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, Kassel, Germany, September 2011.
to:
  • 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, Kassel, Germany, September 2011. bib hal
Restore
June 09, 2011, at 05:25 PM by F Boulier -
Added lines 30-32:

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, Kassel, Germany, September 2011.
Restore
March 07, 2011, at 08:50 AM by F Boulier -
Changed line 20 from:
  • 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
to:
  • 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
Restore
March 07, 2011, at 08:45 AM by F Boulier -
Changed line 19 from:
  • 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
to:
  • 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
Restore
March 07, 2011, at 08:41 AM by F Boulier -
Changed lines 17-18 from:
  • 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

to:
  • 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
Restore
March 07, 2011, at 08:40 AM by F Boulier -
Added line 18:

sciencedirect

Restore
March 05, 2011, at 05:27 PM by F Boulier -
Deleted lines 14-15:

2011

  • François Boulier and François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, vol. 4(2):185-201, 2011. bib springerlink
Added line 16:
  • 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
Restore
March 05, 2011, at 05:23 PM by F Boulier -
Added lines 15-16:

2011

  • François Boulier and François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, vol. 4(2):185-201, 2011. bib springerlink
Deleted line 17:
  • François Boulier and François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, vol. 4(2-3):185-201, 2010. bib
Restore
March 03, 2011, at 11:53 AM by F Boulier -
Changed lines 16-17 from:
  • 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
to:
  • François Boulier and François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, vol. 4(2-3):185-201, 2010. bib
  • 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
Changed lines 19-20 from:
  • 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
  • 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
to:
  • 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
  • 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
Changed lines 22-23 from:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
to:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
Changed line 32 from:
  • 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
to:
  • 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
Changed line 34 from:
  • 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
to:
  • 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
Changed lines 36-37 from:
  • 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
  • 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
to:
  • 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
  • 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
Changed lines 39-40 from:
  • 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
to:
  • 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
Changed line 42 from:
  • 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
to:
  • 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
Changed lines 44-45 from:
  • 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
to:
  • 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
Changed lines 47-49 from:
  • 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
to:
  • 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
Changed line 51 from:
  • 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
to:
  • 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
Changed line 53 from:
  • 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
to:
  • 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
Changed lines 55-57 from:
  • 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
to:
  • 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
Changed line 66 from:
  • 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
to:
  • 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
Changed lines 68-69 from:
  • 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
to:
  • 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
Changed lines 71-72 from:
  • 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
to:
  • 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
Changed line 74 from:
  • 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
to:
  • 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
Changed line 76 from:
  • 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.
to:
  • 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.
Changed line 86 from:
  • 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
to:
  • 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
Changed line 88 from:
  • 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
to:
  • 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
Restore
September 08, 2010, at 02:31 PM by F Boulier -
Changed line 65 from:

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

to:
  • 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
Restore
September 08, 2010, at 02:30 PM by F Boulier -
Added lines 30-31:

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
Added lines 64-65:

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

Restore
September 08, 2010, at 11:36 AM by F Boulier -
Changed line 67 from:
  • François Boulier. On the role of differential algebra in biological modeling. Le Matematiche, LXIII(1):39-44, 2008. bib
to:
  • 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
Restore
September 08, 2010, at 11:31 AM by F Boulier -
Changed lines 71-72 from:
  • François Boulier
to:
  • 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.
Restore
September 08, 2010, at 11:24 AM by F Boulier -
Added line 34:
  • 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
Restore
September 08, 2010, at 11:16 AM by F Boulier -
Added line 63:
  • François Boulier. On applications of differential elimination to modeling problems in biology. In Proceedings of ICMM09, may 2009. bib
Changed lines 69-70 from:
to:

2000

  • François Boulier
Restore
September 08, 2010, at 10:55 AM by F Boulier -
Changed line 16 from:
  • 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
to:
  • 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
Changed lines 18-19 from:
  • 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
  • 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
to:
  • 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
  • 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
Changed lines 21-22 from:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
to:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib
Changed line 31 from:
  • 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
to:
  • 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
Changed line 33 from:
  • 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
to:
  • 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
Changed lines 35-36 from:
  • 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
to:
  • 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
Changed line 38 from:
  • 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
to:
  • 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
Changed lines 40-41 from:
  • 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
to:
  • 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
Changed lines 43-45 from:
  • 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
to:
  • 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
Changed line 47 from:
  • 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
to:
  • 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
Changed line 49 from:
  • 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
to:
  • 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
Changed lines 51-53 from:
  • 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
to:
  • 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
Changed line 62 from:
  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009. bib
to:
  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009. bib
Changed lines 64-65 from:
  • 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. bib
to:
  • 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. bib
Changed lines 67-68 from:
  • 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
to:
  • 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
Changed line 77 from:
  • 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
to:
  • 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
Changed line 79 from:
  • 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
to:
  • 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
Restore
September 07, 2010, at 06:53 PM by François Boulier -
Changed line 17 from:

2009

to:

2009

Changed line 20 from:

1996

to:

1996

Changed line 30 from:

2009

to:

2009

Changed line 32 from:

2008

to:

2008

Changed line 34 from:

2007

to:

2007

Changed line 37 from:

2006

to:

2006

Changed line 39 from:

2004

to:

2004

Changed line 42 from:

2001

to:

2001

Changed line 46 from:

2000

to:

2000

Changed line 48 from:

1999

to:

1999

Changed line 50 from:

1995

to:

1995

Changed line 61 from:

2009

to:

2009

Changed line 63 from:

2008

to:

2008

Changed line 66 from:

2007

to:

2007

Changed line 76 from:

2006

to:

2006

Changed line 78 from:

1994

to:

1994

Restore
September 07, 2010, at 06:52 PM by François Boulier -
Changed line 15 from:

2010

to:

2010

Restore
September 07, 2010, at 06:51 PM by François Boulier -
Added line 15:

2010

Added line 17:

2009

Added line 20:

1996

Added line 46:

2000

Added line 48:

1999

Added line 50:

1995

Added line 61:

2009

Added line 63:

2008

Added line 66:

2007

Added line 76:

2006

Added line 78:

1994

Restore
September 07, 2010, at 06:49 PM by François Boulier -
Changed line 9 from:

Page en construction

to:

Journaux

Changed line 12 from:

Page under construction

to:

Journals

Deleted lines 14-15:

Journaux

Changed lines 18-20 from:
to:
  • François Boulier. An optimization of seidenberg's elimination algorithm in differential algebra. Mathematics and Computers in Simulation, 42:439-448, 1996. bib

(:if userlang fr:)

Changed lines 22-27 from:
to:

(:if:) (:if userlang en:)

Conferences with selection

(:if:)

2009

Added line 29:

2008

Added line 31:

2007

Added line 34:

2006

Added line 36:

2004

Added line 39:

2001

Added line 48:

(:if userlang fr:)

Changed lines 50-51 from:
  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009.bib
to:

(:if:) (:if userlang en:)

Invited papers and tutorials

(:if:)

  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009. bib
Added line 60:

(:if userlang fr:)

Added lines 62-65:

(:if:) (:if userlang en:)

Memoirs

(:if:)

Restore
September 07, 2010, at 06:43 PM by François Boulier -
Changed line 47 from:
  • François Boulier. hal
to:
  • 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
Restore
September 07, 2010, at 06:43 PM by François Boulier -
Changed lines 21-22 from:

Conférences

to:

Conférences sélectives

Added lines 37-48:

Articles invités et tutoriaux

  • François Boulier and François Lemaire. Differential algebra and QSSA methods in biochemistry. In Proceedings of IFAC 2009, 2009.bib
  • 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. bib
  • 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

Mémoires

  • François Boulier. hal
  • 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
Restore
September 07, 2010, at 06:31 PM by François Boulier -
Changed lines 30-36 from:
  • 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
  • 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
  • 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
  • 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
to:
  • 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
  • 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
  • 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
  • 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
Restore
September 07, 2010, at 06:30 PM by François Boulier -
Added lines 29-36:
  • 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
  • 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
  • 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
  • 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
  • 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
Restore
September 07, 2010, at 06:18 PM by François Boulier -
Changed lines 21-22 from:

Conferences

to:

Conférences

Changed lines 26-28 from:
  • 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
to:
  • 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
  • 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
  • François Boulier, Lilianne Denis-Vidal, Thibaut Henin, and François Lemaire. LÉPISME. In Proceedings of the ICPSS conference, 2004. bib hal
Restore
September 07, 2010, at 06:13 PM by François Boulier -
Added line 26:
  • 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
Restore
September 07, 2010, at 06:10 PM by François Boulier -
Changed lines 17-20 from:
  • François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, vol. 45(1), pages 124-149, 2010. bib
  • 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), pages 73-121, 2009. bib
  • 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), pages 443-464, 2009. bib
to:
  • 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
  • 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
  • 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
Changed lines 23-25 from:
  • 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. http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BCLM09.bib
to:
  • 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
  • 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
  • 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
Restore
September 07, 2010, at 06:04 PM by François Boulier -
Changed line 23 from:
  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html border=0:) http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a_bib.html | bib
to:
  • 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. http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BCLM09.bib
Restore
September 07, 2010, at 05:54 PM by François Boulier -
Changed line 23 from:
  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html border=0:) bib
to:
  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html border=0:) http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a_bib.html | bib
Restore
September 07, 2010, at 05:53 PM by François Boulier -
Changed line 23 from:
  • (:include http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) bib
to:
  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html border=0:) bib
Restore
September 07, 2010, at 05:52 PM by François Boulier -
Changed line 23 from:
  • http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html bib
to:
  • (:include http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) bib
Restore
September 07, 2010, at 05:51 PM by François Boulier -
Changed line 23 from:
  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) bib
to:
  • http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html bib
Restore
September 07, 2010, at 05:50 PM by François Boulier -
Changed lines 19-23 from:
  • 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), pages 443-464, 2009. bib
to:
  • 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), pages 443-464, 2009. bib

Conferences

  • (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) bib
Restore
September 07, 2010, at 04:34 PM by François Boulier -
Changed lines 17-19 from:
  • François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, vol. 45(1), pages 124-149, 2010. bib
to:
  • François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, vol. 45(1), pages 124-149, 2010. bib
  • 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), pages 73-121, 2009. bib
  • 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), pages 443-464, 2009. bib
Restore
September 07, 2010, at 04:05 PM by François Boulier -
Changed lines 13-17 from:

(:if:)

to:

(:if:)

Journaux

  • François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation, vol. 45(1), pages 124-149, 2010. bib
Restore
September 07, 2010, at 02:07 PM by François Boulier -
Added lines 1-13:

(:if userlang fr:) (:title Publications:) (:if:) (:if userlang en:) (:title Publications:) (:if:)

(:if userlang fr:) Page en construction (:if:) (:if userlang en:) Page under construction (:if:)

Restore