| 2023 | ISSAC | Signature Grbner bases in free algebras over rings. | Clemens Hofstadler, Thibaut Verron |
| 2023 | ISSAC | Transcendence Certificates for D-finite Functions. | Manuel Kauers, Christoph Koutschan, Thibaut Verron |
| 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 |
| 2021 | ISSAC | On Two Signature Variants of Buchberger's Algorithm over Principal Ideal Domains. | Maria Francis, Thibaut Verron |
| 2020 | ISSAC | Signature-based algorithms for Grbner bases over tate algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2020 | ISSAC | Integral bases for p-recursive sequences. | Shaoshi Chen, Lixin Du, Manuel Kauers, Thibaut Verron |
| 2019 | ISSAC | Grbner Bases Over Tate Algebras. | Xavier Caruso, Tristan Vaccon, Thibaut Verron |
| 2018 | ISSAC | On Affine Tropical F5 Algorithms. | Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama |
| 2016 | ISSAC | Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery. | Bernard Bonnard, Jean-Charles Faugre, Alain Jacquemard, Mohab Safey El Din, Thibaut Verron |
| 2013 | ISSAC | On the complexity of computing grbner bases for quasi-homogeneous systems. | Jean-Charles Faugre, Mohab Safey El Din, Thibaut Verron |