Liouville integrability: An effective Morales-Ramis-Simó theorem. - Ainhoa Aparicio-Monforte; Thomas Dreyfus; Jacques-Arthur Weil (J. Symb. Comput., 2016)

Computing solutions of linear Mahler equations. - Frédéric Chyzak; Thomas Dreyfus; Philippe Dumas 001; Marc Mezzarobba (Math. Comput., 2018)

Walks in the quarter plane: Genus zero case. - Thomas Dreyfus; Charlotte Hardouin; Julien Roques; Michael F. Singer (J. Comb. Theory A, 2020)

Computing the Lie algebra of the differential Galois group: The reducible case. - Thomas Dreyfus; Jacques-Arthur Weil (J. Symb. Comput., 2022)

First-order factors of linear Mahler operators. - Frédéric Chyzak; Thomas Dreyfus; Philippe Dumas 001; Marc Mezzarobba (J. Symb. Comput., 2025)