François Boulier

48 papers B 18Journal 19Unranked 9
YearRankTypeTitle / Venue / Authors
2026 B ed.
Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings
CASC
François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov
2025 J jnl
The DenefLipshitz Algorithm: (Software Demonstration Support).
ACM Commun. Comput. Algebra
François Boulier
2024 B ed.
Computer Algebra in Scientific Computing - 26th International Workshop, CASC 2024, Rennes, France, September 2-6, 2024, Proceedings
CASC
François Boulier, Chenqi Mou, Timur M. Sadykov, Evgenii V. Vorozhtsov
2024 B conf
On Formal Power Series Solutions of Regular Differential Chains.
CASC
François Boulier, François Lemaire
2023 B ed.
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
CASC
François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov
2023 J jnl
Foreword.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2023 J jnl
On initials and the fundamental theorem of tropical partial differential algebraic geometry.
J. Symb. Comput.
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, François Boulier, Zeinab Toghani
2022 B ed.
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2022 J jnl
Foreword.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2021 J jnl
A Short Contribution to the Theory of Regular Chains.
Math. Comput. Sci.
François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux
2021 B ed.
Computer Algebra in Scientific Computing - 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2021 J jnl
Foreword, with a Dedication to Vladimir Gerdt.
Math. Comput. Sci.
Matthew England, François Boulier, Timur M. Sadykov, Thomas Sturm
2021 B conf
On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.
CASC
François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez
2021 J jnl
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package.
CoRR
François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra
2020 B ed.
Computer Algebra in Scientific Computing - 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020, Proceedings
CASC
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
2020 — conf
Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs - A MAPLE Package.
MC
François Boulier, José Cano, Sebastian Falkensteiner, J. Rafael Sendra
2020 J jnl
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry.
CoRR
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier
2020 B conf
The fundamental theorem of tropical partial differential algebraic geometry.
ISSAC
Sebastian Falkensteiner, Cristhian Garay-López, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, François Boulier
2019 J jnl
An equivalence theorem for regular differential chains.
J. Symb. Comput.
François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza
2018 B conf
Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling.
CASC
François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière
2018 J jnl
The SYMBIONT project: symbolic methods for biological networks.
ACM Commun. Comput. Algebra
François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
2016 J jnl
Additive normal forms and integration of differential fractions.
J. Symb. Comput.
François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz
2015 B conf
Finding First Integrals Using Normal Forms Modulo Differential Regular Chains.
CASC
François Boulier, François Lemaire
2015 J jnl
Qualitative investigation of a gene model using computer algebra algorithms.
Program. Comput. Softw.
François Boulier, Maoan Han, François Lemaire, Valery G. Romanovski
2014 B conf
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data.
CASC
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, Rosane Ushirobira
2013 B conf
On the integration of differential fractions.
ISSAC
François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz
2012 J jnl
Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462).
Dagstuhl Reports
François Boulier, Anne Shiu, Thomas Sturm, Andreas Weber
2011 B conf
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk).
CASC
François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic
2011 J jnl
Model Reduction of Chemical Reaction Systems using Elimination.
Math. Comput. Sci.
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
2011 B conf
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains.
CASC
François Boulier, François Lemaire, Alexandre Sedoglavic
2010 — conf
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors.
ANB
Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, Katsuhisa Horimoto
2010 J jnl
A Normal Form Algorithm for Regular Differential Chains.
Math. Comput. Sci.
François Boulier, François Lemaire
2010 J jnl
Computing differential characteristic sets by change of ordering.
J. Symb. Comput.
François Boulier, François Lemaire, Marc Moreno Maza
2010 — conf
Models of Stochastic Gene Expression and Weyl Algebra.
ANB
Samuel Vidal, Michel Petitot, François Boulier, François Lemaire, Céline Kuttler
2009 J jnl
Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput.
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
2009 J jnl
Foreword to the article: Computing representations for radicals of finitely generated differential ideals.
Appl. Algebra Eng. Commun. Comput.
François Boulier
2009 — conf
Real Root Isolation of Regular Chains.
ASCM
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
2009 J jnl
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems.
Math. Comput. Sci.
François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü
2008 — conf
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits.
AB
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant
2008 — conf
Differential Algebra and System Modeling in Cellular Biology.
AB
François Boulier, François Lemaire
2007 — conf
On Proving the Absence of Oscillations in Models of Genetic Circuits.
AB
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü
2006 — book
Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant. (Algebraic rewriting in systems of polynomial differential equations with a view towards applications in life sciences).
François Boulier
2001 — conf
Cartan's Characters and Stairs of Characteristic Sets.
AAECC
François Boulier, Sylvain Neut
2001 B conf
PARDI!.
ISSAC
François Boulier, François Lemaire, Marc Moreno Maza
2001 — conf
Pseudo-Permutations II: Geometry and Representation Theory.
DM-CCG
François Boulier, Florent Hivert, Daniel Krob, Jean-Christophe Novelli
2000 B conf
Computing canonical representatives of regular differential ideals.
ISSAC
François Boulier, François Lemaire
1995 B conf
Representation for the Radical of a Finitely Generated Differential Ideal.
ISSAC
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot
1994 — —
Étude et implantation de quelques algorithmes en algèbre différentielle. (Study and implementation of some algorithms in differential algebra).
François Boulier