| 2008 | ISSAC | Grbner bases for public key cryptography. | Massimo Caboara, Fabrizio Caruso, Carlo Traverso |
| 2005 | CASC | Hilbert Stratification and Parametric Grbner Bases. | Laureano Gonzlez-Vega, Carlo Traverso, Alberto Zanoni |
| 2002 | ISSAC | Computing the topology of real algebraic surfaces. | Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso |
| 2002 | ISSAC | Numerical stability and stabilization of Groebner basis computation. | Carlo Traverso, Alberto Zanoni |
| 1998 | ISSAC | Efficient Algorithms for Ideal Operations (extended abstract). | Massimo Caboara, Carlo Traverso |
| 1994 | ISSAC | The Shape of the Shape Lemma. | Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso |
| 1992 | ISSAC | Grbner Bases Computation Using Syzygies. | H. Michael Mller, Teo Mora, Carlo Traverso |
| 1991 | ISSAC | "One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. | Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso |
| 1989 | ISSAC | Experimenting the Grbner Basis Algorithm with the A1P | Carlo Traverso, L. Donati |
| 1988 | ISSAC | Greater Easy Common Divisor and Standard Basis Completion Algorithms. | Andr Galligo, Loic Pottier, Carlo Traverso |
| 1988 | ISSAC | Grbner Trace Algorithms. | Carlo Traverso |