| 2026 | ISSAC | Faster Modular Composition Using Two Relation Matrices. | Vincent Neiger, Bruno Salvy, ric Schost, Gilles Villard |
| 2024 | SODA | Positivity Certificates for Linear Recurrences. | Alaa Ibrahim, Bruno Salvy |
| 2018 | ISSAC | Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions. | Alin Bostan, Frdric Chyzak, Pierre Lairez, Bruno Salvy |
| 2018 | STACS | Recursive Combinatorial Structures: Enumeration, Probabilistic Analysis and Random Generation. | Bruno Salvy |
| 2016 | ISSAC | Efficient Algorithms for Mixed Creative Telscoping. | Alin Bostan, Louis Dumont, Bruno Salvy |
| 2016 | ISSAC | Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables. | Stephen Melczer, Bruno Salvy |
| 2015 | ISSAC | Algebraic Diagonals and Walks. | Alin Bostan, Louis Dumont, Bruno Salvy |
| 2015 | ISSAC | Formulas for Continued Fractions: An Automated Guess and Prove Approach. | Sbastien Maulat, Bruno Salvy |
| 2013 | ISSAC | Creative telescoping for rational functions using the griffiths: dwork method. | Alin Bostan, Pierre Lairez, Bruno Salvy |
| 2012 | ISSAC | Fast computation of common left multiples of linear ordinary differential operators. | Alin Bostan, Frdric Chyzak, Bruno Salvy, Ziming Li |
| 2012 | ISSAC | Power series solutions of singular (q)-differential equations. | Alin Bostan, Bruno Salvy, Muhammad F. I. Chowdhury, ric Schost, Romain Lebreton |
| 2011 | SYNASC | On Kahan's Rules for Determining Branch Cuts. | Frdric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy |
| 2010 | AISC | The Dynamic Dictionary of Mathematical Functions. | Bruno Salvy |
| 2009 | ISSAC | Chebyshev expansions for solutions of linear differential equations. | Alexandre Benot, Bruno Salvy |
| 2009 | ISSAC | A non-holonomic systems approach to special function identities. | Frdric Chyzak, Manuel Kauers, Bruno Salvy |
| 2008 | ISSAC | Power series composition and change of basis. | Alin Bostan, Bruno Salvy, ric Schost |
| 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 |
| 2005 | ISSAC | Fast algorithms for polynomial solutions of linear differential equations. | Alin Bostan, Thomas Cluzeau, Bruno Salvy |
| 2005 | ISSAC | D-finiteness: algorithms and applications. | Bruno Salvy |
| 2004 | ISSAC | Complexity issues in bivariate polynomial factorization. | Alin Bostan, Grgoire Lecerf, Bruno Salvy, ric Schost, B. Wiebelt |
| 2003 | ISSAC | ESF: an automatically generated encyclopedia of special functions. | Ludovic Meunier, Bruno Salvy |
| 1999 | ESA | Motif Statistics. | Pierre Nicodme, Bruno Salvy, Philippe Flajolet |
| 1996 | ISSAC | Asymptotic Expansions of exp-log Functions. | Daniel Richardson, Bruno Salvy, John Shackell, Joris van der Hoeven |
| 1993 | ISSAC | Full Partial Fraction Decomposition of Rational Functions. | Manuel Bronstein, Bruno Salvy |
| 1993 | ISSAC | Finding all Hypergeometric Solutions of Linear Differential Equations. | Marko Petkovsek, Bruno Salvy |
| 1992 | ISSAC | Asymptotic Expansions of Functional Inverses. | Bruno Salvy, John Shackell |