Hermite canonical form and Smith canonical form of a matrix over a principal ideal domain. - Pasqualina Conti (SIGSAM Bull., 1990)

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

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

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)

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

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

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

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