* 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.

* 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. [[http://www.lifl.fr/~boulier/bib/proceedings/BLS11.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00599440 | hal]]

* 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. [[http://www.lifl.fr/~boulier/bib/tutorials/BLPS11.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00603290 | 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. [[http://www.lifl.fr/~boulier/bib/tutorials/NSLBUH10.bib | 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. [[http://www.lifl.fr/~boulier/bib/proceedings/BLLM08.bib | bib]]

* 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. [[http://www.lifl.fr/~boulier/bib/proceedings/VPBLK10.bib | bib]]

* François Boulier. ''An optimization of seidenberg's elimination algorithm in differential algebra''. Mathematics and Computers in Simulation, 42:439-448, 1996. [[http://www.lifl.fr/~boulier/bib/journals/Boulier96.bib | bib]]

* 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.

* 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. [[http://www.lifl.fr/~boulier/bib/journals/BLSU08.bib | 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. [[http://www.lifl.fr/~boulier/bib/journals/BLOP09.bib | 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. [[http://www.lifl.fr/~boulier/bib/journals/BLM10.bib | bib]]
[[http://www.sciencedirect.com/science/article/B6WM7-4X6VMFH-1/2/85464892a3bb17556015389596b0548f | sciencedirect]]

* 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. [[http://www2.lifl.fr/~boulier/bib/journals/BLM10.bib | 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. [[http://www2.lifl.fr/~boulier/bib/journals/BLOP09.bib | 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. [[http://www2.lifl.fr/~boulier/bib/journals/BLSU08.bib | bib]]

* François Boulier. ''An optimization of seidenberg's elimination algorithm in differential algebra''. Mathematics and Computers in Simulation, 42:439-448, 1996. [[http://www2.lifl.fr/~boulier/bib/journals/Boulier96.bib | bib]]

* 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/VPBLK10.bib | bib]]

* 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/bib/proceedings/BCLM09.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLLM08.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLLM08b.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLLM07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00184558 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLLMU07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139667 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLM06.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00137158 | hal]]

* François Boulier, Lilianne Denis-Vidal, Thibaut Henin, and François Lemaire. ''LÉPISME''. In Proceedings of the ICPSS conference, 2004. [[http://www2.lifl.fr/~boulier/bib/proceedings/BDVHL04.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00140368 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BMO04.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BN01b.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLM01b.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139354 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BHKN01.bib | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BL00.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139177 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/Boulier99b.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139738 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BLOP95.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00138020 | 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. [[http://www2.lifl.fr/~boulier/bib/proceedings/BP95.bib | bib]]

* 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. [[http://www2.lifl.fr/~boulier/bib/tutorials/NSLBUH10.bib | bib]]

* François Boulier and François Lemaire. ''Differential algebra and QSSA methods in biochemistry''. In Proceedings of IFAC 2009, 2009. [[http://www2.lifl.fr/~boulier/bib/tutorials/BL09b.bib | bib]]
* François Boulier. ''On applications of differential elimination to modeling problems in biology''. In Proceedings of ICMM09, may 2009. [[http://www2.lifl.fr/~boulier/bib/tutorials/BL09a.bib | 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. [[http://www2.lifl.fr/~boulier/bib/tutorials/BL08b.bib | 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 [[http://www2.lifl.fr/~boulier/bib/tutorials/Boulier08.bib | 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. [[http://www2.lifl.fr/~boulier/bib/tutorials/Boulier07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139364 | hal]]

* 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. [[http://www2.lifl.fr/~boulier/bib/tutorials/Boulier00a.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00140006 | hal]].

* 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. [[http://www2.lifl.fr/~boulier/bib/memoires/Boulier06.bib | bib]] [[http://tel.archives-ouvertes.fr/tel-00137153 | 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. [[http://www2.lifl.fr/~boulier/bib/memoires/Boulier94.bib | bib]] [[http://tel.archives-ouvertes.fr/tel-00137866 | 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. [[http://www2.lifl.fr/~boulier/bib/tutorials/NSLBUH10 | bib]]

* François Boulier. ''On the role of differential algebra in biological modeling''. Le Matematiche, LXIII(1):39-44, 2008. [[http://www2.lifl.fr/~boulier/bib/tutorials/Boulier08.bib | bib]]

* François Boulier

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLM10.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLOP09.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLSU08.bib | bib]]

* François Boulier. ''An optimization of seidenberg's elimination algorithm in differential algebra''. Mathematics and Computers in Simulation, 42:439-448, 1996. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/Boulier96.bib | bib]]

* 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 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLLM08.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLLM07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00184558 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLLMU07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139667 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLM06.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00137158 | hal]]

* François Boulier, Lilianne Denis-Vidal, Thibaut Henin, and François Lemaire. ''LÉPISME''. In Proceedings of the ICPSS conference, 2004. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BDVHL04.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00140368 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BMO04.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BN01b.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLM01b.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139354 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BHKN01.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL00.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139177 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/Boulier99b.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139738 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLOP95.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00138020 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BP95.bib | bib]]

* François Boulier and François Lemaire. ''Differential algebra and QSSA methods in biochemistry''. In Proceedings of IFAC 2009, 2009. [[http://www2.lifl.fr/~boulier/pmwiki/bib/tutorials/BL09b.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/tutorials/BL08b.bib | bib]]
* François Boulier. ''On the role of differential algebra in biological modeling''. Le Matematiche, LXIII(1):39-44, 2008. [[http://www2.lifl.fr/~boulier/pmwiki/bib/tutorials/Boulier08.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/tutorials/Boulier07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139364 | hal]]

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/theses/Boulier06.bib | bib]] [[http://tel.archives-ouvertes.fr/tel-00137153 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/theses/Boulier94.bib | bib]] [[http://tel.archives-ouvertes.fr/tel-00137866 | hal]]

!! 2009

!! 1996

!! 2009

!! 2008

!! 2007

!! 2006

!! 2004

!! 2001

!! 2000

!! 1999

!! 1995

!! 2009

!! 2008

!! 2007

!! 2006

!! 1994

!! 2010

* François Boulier and François Lemaire. ''Differential algebra and QSSA methods in biochemistry''. In Proceedings of IFAC 2009, 2009.[[http://www2.lifl.fr/~boulier/pmwiki/bib/tutorials/BL09b.bib | bib]]

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/theses/Boulier06.bib | bib]] [[http://tel.archives-ouvertes.fr/tel-00137153 | hal]]

! Conférences

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BN01b | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLM01b | bib]] [[http://hal.archives-ouvertes.fr/hal-00139354 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BHKN01 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL00 | bib]] [[http://hal.archives-ouvertes.fr/hal-00139177 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/Boulier99b | bib]] [[http://hal.archives-ouvertes.fr/hal-00139738 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLOP95 | bib]] [[http://hal.archives-ouvertes.fr/hal-00138020 | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BP95 | bib]]

! Conferences

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BLLMU07.bib | bib]] [[http://hal.archives-ouvertes.fr/hal-00139667 | hal]]

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLM10.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLOP09.bib | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLSU08.bib | bib]]

* 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]]

* (: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

* (: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]]

* (:include http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a_bib.html | bib]]

* http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a_bib.html | bib]]

* (:includeurl http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a.html:) [[http://www2.lifl.fr/~boulier/pmwiki/bib/articles/BL09a_bib.html | 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/journals/BLSU08.bib | bib]]

* 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. [[http://www2.lifl.fr/~boulier/pmwiki/bib/BLM10.bib | bib]]

(:if:)