| 2026 | ISSAC | On Semidefinite-Representable Sets over Valued Fields. | Corentin Cornou, Simone Naldi, Tristan Vaccon |
| 2026 | ISSAC | OM Algorithm and Cluster Pictures II: Handling Low Precision. | Adrien Poteaux, Tristan Vaccon, Martin Weimann |
| 2025 | ISSAC | On OM Algorithms and Cluster Pictures. | Adrien Poteaux, Tristan Vaccon, Martin Weimann |
| 2024 | ISSAC | Grbner Bases Over Polytopal Affinoid Algebras. | Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon |
| 2023 | ISSAC | Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. | Przemyslaw Koprowski, Victor Magron, Tristan Vaccon |
| 2023 | ISSAC | Universal Analytic Grbner Bases and Tropical Geometry. | Tristan Vaccon, Thibaut Verron |
| 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 |
| 2020 | ISSAC | On a non-archimedean broyden method. | Xavier Dahan, Tristan Vaccon |
| 2020 | ISSAC | On FGLM algorithms with tropical Grbner bases. | Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama |
| 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 |
| 2018 | ISSAC | On Affine Tropical F5 Algorithms. | Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama |
| 2017 | ISSAC | Characteristic Polynomials of p-adic Matrices. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2017 | ISSAC | A Tropical F5 Algorithm. | Tristan Vaccon, Kazuhiro Yokoyama |
| 2016 | ISSAC | Division and Slope Factorization of p-Adic Polynomials. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2016 | ISSAC | On p-Adic Differential Equations with Separation of Variables. | Pierre Lairez, Tristan Vaccon |
| 2015 | ISSAC | p-Adic Stability In Linear Algebra. | Xavier Caruso, David Roe, Tristan Vaccon |
| 2015 | ISSAC | Matrix-F5 Algorithms and Tropical Grbner Bases Computation. | Tristan Vaccon |
| 2014 | ISSAC | Matrix-F5 algorithms over finite-precision complete discrete valuation fields. | Tristan Vaccon |