 | 2011 |
| 20 |  | François Boulier,
François Lemaire,
Alexandre Sedoglavic:
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
CASC 2011: 61-72 |
| 19 |  | François Boulier,
François Lemaire,
Michel Petitot,
Alexandre Sedoglavic:
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).
CASC 2011: 73-87 |
| 18 |  | François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
When does <T> equal sat(T)?
J. Symb. Comput. 46(12): 1291-1305 (2011) |
| 17 |  | François Boulier,
Marc Lefranc,
François Lemaire,
Pierre-Emmanuel Morant:
Model Reduction of Chemical Reaction Systems using Elimination.
Mathematics in Computer Science 5(3): 289-301 (2011) |
| 2010 |
| 16 |  | Masahiko Nakatsui,
Alexandre Sedoglavic,
François Lemaire,
François Boulier,
Asli Ürgüplü,
Katsuhisa Horimoto:
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors.
ANB 2010: 149-166 |
| 15 |  | François Lemaire,
Asli Ürgüplü:
MABSys: Modeling and Analysis of Biological Systems.
ANB 2010: 57-75 |
| 14 |  | Samuel Vidal,
Michel Petitot,
François Boulier,
François Lemaire,
Céline Kuttler:
Models of Stochastic Gene Expression and Weyl Algebra.
ANB 2010: 76-97 |
| 13 |  | François Lemaire,
Asli Ürgüplü:
A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra.
ISSAC 2010: 85-92 |
| 12 |  | François Boulier,
François Lemaire,
Marc Moreno Maza:
Computing differential characteristic sets by change of ordering.
J. Symb. Comput. 45(1): 124-149 (2010) |
| 11 |  | François Boulier,
François Lemaire:
A Normal Form Algorithm for Regular Differential Chains.
Mathematics in Computer Science 4(2-3): 185-201 (2010) |
| 2009 |
| 10 |  | François Boulier,
François Lemaire,
Alexandre Sedoglavic,
Asli Ürgüplü:
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems.
Mathematics in Computer Science 2(3): 443-464 (2009) |
| 2008 |
| 9 |  | François Boulier,
François Lemaire:
Differential Algebra and System Modeling in Cellular Biology.
AB 2008: 22-39 |
| 8 |  | 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: 56-64 |
| 7 |  | François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
When does (T) equal sat(T)?
ISSAC 2008: 207-214 |
| 2007 |
| 6 |  | 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.
AB 2007: 66-80 |
| 5 |  | Changbo Chen,
Oleg Golubitsky,
François Lemaire,
Marc Moreno Maza,
Wei Pan:
Comprehensive Triangular Decomposition.
CASC 2007: 73-101 |
| 4 |  | Changbo Chen,
François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
International Conference on Computational Science (2) 2007: 268-271 |
| 2003 |
| 3 |  | François Lemaire:
An orderly linear PDE system with analytic initial conditions with a non-analytic solution.
J. Symb. Comput. 35(5): 487-498 (2003) |
| 2001 |
| 2 |  | François Boulier,
François Lemaire,
Marc Moreno Maza:
PARDI!.
ISSAC 2001: 38-47 |
| 2000 |
| 1 |  | François Boulier,
François Lemaire:
Computing canonical representatives of regular differential ideals.
ISSAC 2000: 38-47 |