| 2022 | ISSAC | Algorithms for Discrete Differential Equations of Order 1. | Alin Bostan, Frdric Chyzak, Hadrien Notarantonio, Mohab Safey El Din |
| 2022 | ISSAC | Symbolic-Numeric Factorization of Differential Operators. | Frdric Chyzak, Alexandre Goyer, Marc Mezzarobba |
| 2020 | ISSAC | A Grbner-basis theory for divide-and-conquer recurrences. | Frdric Chyzak, Philippe Dumas |
| 2018 | ISSAC | Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. | Alin Bostan, Frdric Chyzak, Pierre Lairez, Bruno Salvy |
| 2014 | ITP | A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). | Frdric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi |
| 2013 | ISSAC | Hermite reduction and creative telescoping for hyperexponential functions. | Alin Bostan, Shaoshi Chen, Frdric Chyzak, Ziming Li, Guoce Xin |
| 2013 | ISSAC | Complexity estimates for two uncoupling algorithms. | Alin Bostan, Frdric Chyzak, Elie de Panafieu |
| 2012 | ISSAC | Fast computation of common left multiples of linear ordinary differential operators. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Ziming Li |
| 2011 | ICFP | Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. | Frdric Chyzak, Alexis Darrasse |
| 2011 | SYNASC | On Kahan's Rules for Determining Branch Cuts. | Frdric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy |
| 2010 | ISSAC | Complexity of creative telescoping for bivariate rational functions. | Alin Bostan, Shaoshi Chen, Frdric Chyzak, Ziming Li |
| 2009 | ISSAC | A non-holonomic systems approach to special function identities. | Frdric Chyzak, Manuel Kauers, Bruno Salvy |
| 2008 | ISSAC | Products of ordinary differential operators by evaluation and interpolation. | Alin Bostan, Frdric Chyzak, Nicolas Le Roux |
| 2007 | ISSAC | Differential equations for algebraic functions. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Grgoire Lecerf, ric Schost |
| 2007 | SODA | Fast computation of power series solutions of systems of differential equations. | Alin Bostan, Frdric Chyzak, Franois Ollivier, Bruno Salvy, ric Schost, Alexandre Sedoglavic |
| 2006 | ISSAC | Low complexity algorithms for linear recurrences. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Thomas Cluzeau |