 | 2011 |
| 18 |  | François Boulier,
François Lemaire,
Alexandre Sedoglavic:
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
CASC 2011: 61-72 |
| 17 |  | François Boulier,
François Lemaire,
Michel Petitot,
Alexandre Sedoglavic:
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).
CASC 2011: 73-87 |
| 16 |  | 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 |
| 15 |  | 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 |
| 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 Boulier,
François Lemaire,
Marc Moreno Maza:
Computing differential characteristic sets by change of ordering.
J. Symb. Comput. 45(1): 124-149 (2010) |
| 12 |  | 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 |
| 11 |  | François Boulier:
Foreword to the article: Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput. 20(1): 5-6 (2009) |
| 10 |  | François Boulier,
Daniel Lazard,
François Ollivier,
Michel Petitot:
Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput. 20(1): 73-121 (2009) |
| 9 |  | 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 |
| 8 |  | François Boulier,
François Lemaire:
Differential Algebra and System Modeling in Cellular Biology.
AB 2008: 22-39 |
| 7 |  | 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 |
| 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 |
| 2001 |
| 5 |  | François Boulier,
Sylvain Neut:
Cartan's Characters and Stairs of Characteristic Sets.
AAECC 2001: 363-372 |
| 4 |  | François Boulier,
Florent Hivert,
Daniel Krob,
Jean-Christophe Novelli:
Pseudo-Permutations II: Geometry and Representation Theory.
DM-CCG 2001: 123-132 |
| 3 |  | François Boulier,
François Lemaire,
Marc Moreno Maza:
PARDI!.
ISSAC 2001: 38-47 |
| 2000 |
| 2 |  | François Boulier,
François Lemaire:
Computing canonical representatives of regular differential ideals.
ISSAC 2000: 38-47 |
| 1995 |
| 1 |  | François Boulier,
Daniel Lazard,
François Ollivier,
Michel Petitot:
Representation for the Radical of a Finitely Generated Differential Ideal.
ISSAC 1995: 158-166 |