| 2025 | ISSAC | Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. | Robert M. Corless, Arthur C. Norman, Toms Recio, William J. Turkel, Stephen M. Watt |
| 2022 | SYNASC | A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. | Zoltn Kovcs, Christopher W. Brown, Toms Recio, Rbert Vajda |
| 2018 | AISC | Towards an Automated Geometer. | Francisco Botana, Zoltn Kovcs, Toms Recio |
| 2018 | ISSAC | The Importance of Being Zero. | Toms Recio, J. Rafael Sendra, Carlos Villarino |
| 2011 | ICCSA | Teaching Geometry with TutorMates. | Mara Jos Gonzlez, Julio Rubio, Toms Recio, Laureano Gonzlez-Vega, Abel Pascual |
| 2011 | ICCSA | Equal Bisectors at a Vertex of a Triangle. | R. Losada, Toms Recio, Jos L. Valcarce |
| 2004 | ICCSA | Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). | Toms Recio, Francisco Botana |
| 2004 | ISSAC | From hypercircles to units. | Toms Recio, J. Rafael Sendra, Carlos Villarino |
| 1999 | ISSAC | Base Field Restriction Techniques for Parametric Curves. | Carlos Andradas, Toms Recio, J. Rafael Sendra |
| 1997 | ISSAC | A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. | Carlos Andradas, Toms Recio, J. Rafael Sendra |
| 1994 | ISSAC | On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. | Toms Recio, M. J. Gonzlez-Lpez |
| 1992 | ISSAC | A Practical Implementation of Two Rational Function Decomposition Algorithms. | Jaime Gutierrez, Toms Recio |
| 1992 | LATIN | Rational Function Decomposition and Grbner Bases in the Parameterization of Plane Curves (An extended abstract). | Jaime Gutierrez, Toms Recio |
| 1989 | ISSAC | Sturm-Habicht Sequence. | Laureano Gonzlez, Henri Lombardi, Toms Recio, Marie-Franoise Roy |