Nombre de documents

44

François Lemaire - CRISTaL - CV


Article dans une revue11 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, 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, François Lemaire, Asli Ürgüplü, Alexandre Sedoglavic, Katsuhisa Horimoto, et al.. Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.. IET Systems Biology, Institution of Engineering and Technology, 2011, 5 (5), pp.287-292. <hal-00825379>
  • 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. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, Springer, 2010, 4 (2), pp.185-201. <hal-00824964>
  • François Lemaire, Marc Moreno Maza, Yuzhen Xie, Wei Pan. When does (T) equal sat(T)?. Journal of Symbolic Computation, Elsevier, 2010, 46 (12), pp.1291-1305. <hal-00825030>
  • 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>
  • Pierre-Emmanuel Morant, Quentin Thommen, François Lemaire, Constant Vandermoëre, Benjamin Parent, et al.. Oscillations in the expression of a self-repressed gene induced by a slow transcriptional dynamics. Physical Review Letters, American Physical Society, 2009, 102 (6), pp.068104. <10.1103/PhysRevLett.102.068104>. <hal-00268097v2>
  • François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}. Journal of Symbolic Computation, Elsevier, 2003, 35 (5), pp.487-498. <hal-00545215>

Communication dans un congrès25 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, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, et al.. An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. Computer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43, 2014. <hal-01114187>
  • 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>
  • Kirill Batmanov, Celine Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari. Symmetry-based model reduction for approximate stochastic analysis. Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. 7605, pp.49-68, 2012. <hal-00713386>
  • François Lemaire. Solving a Chemical Reaction System by a PDE. Functional Equations in LIMoges, 2012, Limoges, France. <hal-00825869>
  • 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 Lemaire, Changbo Chen, James H. Davenport, Marc Moreno Maza, Nalina Phisanbut, et al.. Solving semi-algebraic systems with the RegularChains library in Maple. Stefan Raschau. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51, 2011. <hal-00825013>
  • François Lemaire. The FreeMABSys Project and the MABSys Library. MAGIX@LIX, 2011, Palaiseau, France. <hal-00825863>
  • 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>
  • François Lemaire. Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and Physics. DART IV, 2010, Beijing, China. <hal-00825125>
  • François Lemaire, Asli Ürgüplü. MABSys: Modeling and Analysis of Biological Systems. Algebraic and Numerical Biology, 2010, Hagenberg, Austria. 6479, pp.57-72, 2010. <hal-00825029>
  • 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 Lemaire, Asli Ürgüplü. A Method for semi-rectifying Algebraic and Differential Systems using Scaling type Lie Point Symmetries with Linear Algebra. International Symposium on Symbolic and algebraic computation, 2010, Munich, Germany. ACM Press, pp.85--92, 2010. <hal-00825033>
  • 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, Changbo Chen, François Lemaire, Marc Moreno Maza. Real Root Isolation of Regular Chains. Asian Symposium on Computer Mathematics, 2009, France. pp.15-29, 2009. <hal-00825036>
  • 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, Marc Lefranc, Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. Journées Ouvertes Biologie Informatique Mathématiques, 2008, Lille, France. pp.77-82, 2008. <hal-00825126>
  • 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 Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie. When does (T) equal sat(T)?. International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. ACM Press, pp.207-214, 2008. <hal-00825039>
  • 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, 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, 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>

Autre publication1 document

  • François Lemaire, Alexandre Sedoglavic, Asli Urguplu. Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.. technical report. 2008. <hal-00212331>

Pré-publication, Document de travail6 documents

  • 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, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. 2016. <hal-01391768>
  • 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>

Thèse1 document

  • François Lemaire. Contribution à l'algorithmique en algèbre différentielle. Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002. Français. <tel-00001363>