| 2008 |
|---|
| 9 | EE | François Boulier,
François Lemaire:
Differential Algebra and System Modeling in Cellular Biology.
AB 2008: 22-39 |
| 8 | EE | 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 | EE | François Lemaire,
Marc Moreno Maza,
Wei Pan,
Yuzhen Xie:
When does (T) equal sat(T)?
ISSAC 2008: 207-214 |
| 2007 |
|---|
| 6 | EE | 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 | EE | Changbo Chen,
Oleg Golubitsky,
François Lemaire,
Marc Moreno Maza,
Wei Pan:
Comprehensive Triangular Decomposition.
CASC 2007: 73-101 |
| 4 | EE | 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 | EE | 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 | EE | François Boulier,
François Lemaire,
Marc Moreno Maza:
PARDI!.
ISSAC 2001: 38-47 |
| 2000 |
|---|
| 1 | EE | François Boulier,
François Lemaire:
Computing canonical representatives of regular differential ideals.
ISSAC 2000: 38-47 |
