François Lemaire - CRIStAL - CV

Pierre Fortin, Ambroise Fleury, François Lemaire, Michael Monagan. High performance SIMD modular arithmetic for polynomial evaluation. Concurrency and Computation: Practice and Experience, Wiley, 2021, 33 (16), pp.e6270. ⟨10.1002/cpe.6270⟩. ⟨hal-02552673⟩

François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. Mathematics in Computer Science, Springer, 2021, 15 (2), pp.177-188. ⟨10.1007/s11786-020-00477-x⟩. ⟨hal-02464434⟩

François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. Journal of Symbolic Computation, Elsevier, In press, 93, pp.34-55. ⟨10.1016/j.jsc.2018.04.011⟩. ⟨hal-01391768v3⟩

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, 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, 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 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. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, Springer, 2010, 4 (2), pp.185-201. ⟨hal-00824964⟩

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. ⟨10.1016/j.jsc.2009.09.004⟩. ⟨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⟩

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⟩

François Lemaire, Adrien Poteaux. Decoupling multivariate fractions. Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.209--231. ⟨hal-03285870⟩

François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, et al.. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. ⟨10.1007/978-3-319-99639-4_6⟩. ⟨hal-01765409v2⟩

François Boulier, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière, et al.. Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes. Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France. ⟨hal-01490268⟩

François Lemaire, Alexandre Temperville. Computing Sparse Representations of Systems of Rational Fractions. Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. pp.349 - 366, ⟨10.1007/978-3-319-45641-6_23⟩. ⟨hal-01407919⟩

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. pp.101-118. ⟨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. ⟨hal-01114187⟩

François Lemaire, Alexandre Temperville. On Defining and Computing ``Good'' Conservation Laws. Computational Methods in Systems Biology, Nov 2014, Manchester, United Kingdom. pp.1 - 19, ⟨10.1007/978-3-319-12982-2_1⟩. ⟨hal-01407915⟩

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. ⟨hal-00825855⟩

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 Lemaire. Solving a Chemical Reaction System by a PDE. Functional Equations in LIMoges, 2012, Limoges, France. ⟨hal-00825869⟩

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. pp.49-68. ⟨hal-00713386⟩

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. ⟨hal-00599440⟩

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. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51. ⟨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, Michel Petitot, Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. Computer Algebra and Scientific Computing, Sep 2011, Kassel, Germany. ⟨hal-00603290⟩

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. pp.149-166. ⟨hal-00824995⟩

François Lemaire, Asli Ürgüplü. MABSys: Modeling and Analysis of Biological Systems. Algebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72. ⟨hal-00825029⟩

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ü. 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. pp.85--92. ⟨hal-00825033⟩

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. ⟨hal-00492438v2⟩

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. ⟨hal-00825036⟩

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. ⟨hal-00842562⟩

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. ⟨hal-00825126⟩

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. AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩. ⟨hal-00213327v2⟩

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. pp.207-214. ⟨hal-00825039⟩

François Boulier, François Lemaire. Differential algebra and system modeling in cellular biology. AB 2008, 2008, Hagenberg, Austria. pp.22-39. ⟨hal-00274689⟩

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. Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨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. pp.79-91. ⟨hal-00137158⟩

François Boulier, François Lemaire, Marc Moreno Maza. PARDI !. international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨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. pp.37-46, ⟨10.1145/345542.345571⟩. ⟨hal-00139177⟩

François Boulier, François Lemaire, Markus Rosenkranz, Rosane Ushirobira, Nathalie Verdière. On Symbolic Approaches to Integro-Differential Equations. Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩. ⟨hal-01367138v2⟩

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

François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. 2019. ⟨hal-02189597⟩

François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. 2007. ⟨hal-00184558⟩

François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. 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 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⟩