Nombre de documents

38

liste de publications


Article dans une revue7 documents

  • François Boulier, Joseph Lallemand, François Lemaire, Georg Regensburger, Markus Rosenkranz. Additive Normal Forms and Integration of Differential Fractions. Journal of Symbolic Computation, Elsevier, 2016. <hal-01245378>
  • François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli. Pseudo-Permutations II: Geometry and Representation Theory. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2016, DMTCS Proceedings, DMTCS Proceedings vol. AA, Discrete Models: Combinatorics, Computation, and Geometry (DM-CCG 2001), pp.123-132. <hal-01182979>
  • François Boulier, François Lemaire, Markus Rosenkranz, Joseph Lallemand, Georg Regensburger. Additive Normal Forms and Integration of Differential Fractions. Journal of Symbolic Computation, Elsevier, 2016. <hal-01407031>
  • François Boulier, François Lemaire, Valery Romanovski, M. Han. Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms. Programming and Computer Software, MAIK Nauka/Interperiodica, 2015, 41 (2), pp.105-111. <hal-01234977>
  • François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. Mathematics in Computer Science, Springer, 2011, 5, pp.289-301. <hal-00824993>
  • François Boulier, François Lemaire, Marc Moreno Maza. Computing Differential Characteristic Sets by Change of Ordering. Journal of Symbolic Computation, Elsevier, 2010, 45, pp.124-149. <hal-00824984>
  • 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, Springer, 2009, 2 (3), pp.443-464. <10.1007/s11786-008-0062-6>. <hal-00307915v2>

Communication dans un congrès21 documents

  • François Boulier, François Lemaire. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. Computer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. Springer, LNCS 9301, pp.101-118, 2015, Computer Algebra in Scientific Computing. <hal-01234982>
  • François Boulier, François Lemaire. On the Integration of Differential Fractions. Differential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France. <hal-00825862>
  • François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz. On the integration of differential fractions. ISSAC'13, 2013, Boston, United States. pp.1-8, 2013. <hal-00825855>
  • François Boulier, Nicolas Thiéry. A Differential Algebra Package in Sage. AADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria. <hal-00825118>
  • François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. Computer Algebra and Scientific Computing, Sep 2011, Kassel, Germany. <hal-00603290>
  • François Boulier. The FreeMABSys project and the BLAD libraries. MAGIX@LIX, 2011, Palaiseau, France. <hal-00825861>
  • François Boulier, François Lemaire, Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12, 2011. <hal-00599440>
  • Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Celine Kuttler. Models of stochastic gene expression and Weyl algebra. Algebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97, 2010. <hal-00492438v2>
  • Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, et al.. A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. 4th International Conference, ANB 2010, 2010, Hagenberg, Austria. 6479, pp.149-166, 2012, Lecture Notes in Computer Science. <hal-00824995>
  • François Boulier, François Lemaire. Differential Algebra and QSSA methods in biochemistry. International Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6, 2009. <hal-00842562>
  • François Boulier. On applications of differential elimination to modeling problems in biology. International Conference in the Honor of Wu Wen-Tsun 90th birthday, 2009, China. 2009. <hal-00825859>
  • François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. Katsuhisa Horimoto; Georg Regensburger; Markus Rosenkranz; Hiroshi Yoshida. AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. Springer, 5147, pp.56-64, 2008, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-540-85101-1_5>. <hal-00213327v2>
  • François Boulier, François Lemaire. Differential algebra and system modeling in cellular biology. AB 2008, 2008, Hagenberg, Austria. 5147, pp.22-39, 2008. <hal-00274689>
  • François Boulier. On the role of differential algebra in biological modeling. Università degli studi di Catania. Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro, Mar 2008, Catania, Italy. LXIII (1), pp.39-44, 2008, Le Matematiche. <hal-00274685>
  • François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü. On proving the absence of oscillations in models of genetic circuits. Hirokazu Anai, Katsuhisa Horimoto and Temur Kutsia. Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. Springer Verlag, 4545, pp.66-80, 2007, LNCS. <10.1007/978-3-540-73433-8>. <hal-00139667>
  • François Boulier, François Lemaire, Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. Transgressive Computing 2006, Apr 2006, France. J.-G. Dumas, Université Joseph Fourier, Grenoble, France, pp.79-91, 2006. <hal-00137158>
  • François Boulier. Differential Elimination and Biological Modelling. Markus Rosenkranz and Dongming Wang. Workshop D2.2 of the Special Semester on Gröbner Bases and Related Methods, May 2006, Hagenberg, Austria. de Gruyter, 2, pp.111-139, 2007, Radon Series Comp. Appl. Math. <hal-00139364>
  • François Boulier, François Lemaire, Marc Moreno Maza. PARDI !. international symposium on Symbolic and algebraic computation 2001, 2001, France. ACM Press, pp.38-47, 2001, <10.1145/384101.384108>. <hal-00139354>
  • François Boulier. Efficient computation of regular differential systems by change of rankings using Kähler differentials. MEGA 2000, 2000, Bath, United Kingdom. 2000. <hal-00139738>
  • François Boulier, François Lemaire. Computing Canonical Representatives of Regular Differential Ideals. International Symposium on Symbolic and Algebraic Computation, 2000, France. Association for Computing Machinery, pp.37-46, 2000, <10.1145/345542.345571>. <hal-00139177>
  • François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. Association for Computing Machinery, pp.158-166, 1995, <10.1145/220346.220367>. <hal-00138020v2>

Pré-publication, Document de travail8 documents

  • François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. 2016. <hal-01391768>
  • François Boulier, François Lemaire, Markus Rosenkranz, Rosane Ushirobira, Nathalie Verdière. On Symbolic Approaches to Integro-Differential Equations. 2016. <hal-01367138v2>
  • François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. submitted to MACIS 2007. 2007. <hal-00184558>
  • François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. submitted to the Journal of Symbolic Computation. 2007. <hal-00141095v2>
  • François Boulier, François Lemaire. A computer scientist point of view on Hilbert's differential theorem of zeros. 2007. <hal-00170091v2>
  • François Boulier, François Lemaire, Lilianne Denis-Vidal, Thibaut Henin. LEPISME. 2005. <hal-00140368>
  • François Boulier. Triangularisation de systèmes de polynômes différentiels. chapitre d'un Traité Hermès qui n'a jamais été publié. 40 pages. 2000. <hal-00140006>
  • François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. technical report IT306 of the LIFL. 1999. <hal-00139061>

Thèse1 document

  • François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle. Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. <tel-00137866>

HDR1 document

  • 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. Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006. <tel-00137153>