| 2026 | ISSAC | Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions. | Xavier Caruso, Florian Frnsinn |
| 2022 | ISSAC | On Polynomial Ideals and Overconvergence in Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2021 | ISSAC | On FGLM Algorithms with Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2020 | ISSAC | Signature-based algorithms for Grbner bases over tate algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2019 | ISSAC | Grbner Bases Over Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2018 | ISSAC | ZpL: a p-adic Precision Package. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2017 | ISSAC | Fast Multiplication for Skew Polynomials. | Xavier Caruso, Jrmy Le Borgne |
| 2017 | ISSAC | Characteristic Polynomials of p-adic Matrices. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2016 | ISSAC | Computation of the Similarity Class of the p-Curvature. | Alin Bostan, Xavier Caruso, ric Schost |
| 2016 | ISSAC | Division and Slope Factorization of p-Adic Polynomials. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2015 | ISSAC | A Fast Algorithm for Computing the P-curvature. | Alin Bostan, Xavier Caruso, ric Schost |
| 2015 | ISSAC | p-Adic Stability In Linear Algebra. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2014 | ISSAC | A fast algorithm for computing the characteristic polynomial of the p-curvature. | Alin Bostan, Xavier Caruso, ric Schost |