Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields. - Roberto Dvornicich; Carlo Traverso (AAECC, 1987)

Greater Easy Common Divisor and Standard Basis Completion Algorithms. - André Galligo; Loic Pottier; Carlo Traverso (ISSAC, 1988)

Gröbner Trace Algorithms. - Carlo Traverso (ISSAC, 1988)

Practical Determination of the Dimension of an Algebraic Variety. - André Galligo; Carlo Traverso (Computers and Mathematics, 1989)

Experimenting the Gröbner Basis Algorithm with the A1PI System. - Carlo Traverso; L. Donati (ISSAC, 1989)

Algorithms for the Shape of Semialgebraic Sets. A New Approach. - Paola Cellini; Patrizia M. Gianni; Carlo Traverso (AAECC, 1991)

Buchberger Algorithm and Integer Programming. - Pasqualina Conti; Carlo Traverso (AAECC, 1991)

"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. - Alessandro Giovini; Teo Mora; Gianfranco Niesi; Lorenzo Robbiano; Carlo Traverso (ISSAC, 1991)

Computing the conductor of an integral extension. - Pasqualina Conti; Carlo Traverso (Discret. Appl. Math., 1991)

Gröbner Bases Computation Using Syzygies. - H. Michael Möller; Teo Mora; Carlo Traverso (ISSAC, 1992)

A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. - Anna Maria Bigatti; Pasqualina Conti; Lorenzo Robbiano; Carlo Traverso (AAECC, 1993)

The Shape of the Shape Lemma. - Eberhard Becker; Teo Mora; Maria Grazia Marinari; Carlo Traverso (ISSAC, 1994)

A Strategy-Accurate Parallel Buchberger Algorithm. - Giuseppe Attardi; Carlo Traverso (PASCO, 1994)

A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem. - Pasqualina Conti; Carlo Traverso (AAECC, 1995)

Strategy-Accurate Parallel Buchberger Algorithms. - Giuseppe Attardi; Carlo Traverso (J. Symb. Comput., 1996)

Hilbert Functions and the Buchberger Algorithm. - Carlo Traverso (J. Symb. Comput., 1996)

Yet Another Ideal Decomposition Algorithm. - Massimo Caboara; Pasqualina Conti; Carlo Traverso (AAECC, 1997)

Efficient Algorithms for Ideal Operations (extended abstract). - Massimo Caboara; Carlo Traverso (ISSAC, 1998)

Algebraic and Semialgebraic Proofs: Methods and Paradoxes. - Pasqualina Conti; Carlo Traverso (Automated Deduction in Geometry, 2000)

Gröbner bases specialization through Hilbert functions: the homogeneous case. - María José González-López; Laureano González-Vega; Carlo Traverso; Alberto Zanoni (SIGSAM Bull., 2000)

Computing the topology of real algebraic surfaces. - Elisabetta Fortuna; Patrizia M. Gianni; Paola Parenti; Carlo Traverso (ISSAC, 2002)

Numerical stability and stabilization of Groebner basis computation. - Carlo Traverso; Alberto Zanoni (ISSAC, 2002)

Algorithms to compute the topology of orientable real algebraic surfaces. - Elisabetta Fortuna; Patrizia M. Gianni; Paola Parenti; Carlo Traverso (J. Symb. Comput., 2003)

Approximate Rings and Gröbner Bases. - Pasqualina Conti; Carlo Traverso (Algorithmic Algebra and Logic, 2005)

Hilbert Stratification and Parametric Gröbner Bases. - Laureano González-Vega; Carlo Traverso; Alberto Zanoni (CASC, 2005)

Gröbner bases for public key cryptography. - Massimo Caboara; Fabrizio Caruso; Carlo Traverso (ISSAC, 2008)

A Survey on Polly Cracker Systems. - Françoise Levy-dit-Vehel; Maria Grazia Marinari; Ludovic Perret; Carlo Traverso (Gröbner Bases, Coding, and Cryptography, 2009)

Lattice Polly Cracker cryptosystems. - Massimo Caboara; Fabrizio Caruso; Carlo Traverso (J. Symb. Comput., 2011)