 | 2008 |
| 22 |  | Massimo Caboara,
Fabrizio Caruso,
Carlo Traverso:
Gröbner bases for public key cryptography.
ISSAC 2008: 315-324 |
| 2005 |
| 21 |  | Laureano González-Vega,
Carlo Traverso,
Alberto Zanoni:
Hilbert Stratification and Parametric Gröbner Bases.
CASC 2005: 220-235 |
| 2003 |
| 20 |  | Elisabetta Fortuna,
Patrizia M. Gianni,
Paola Parenti,
Carlo Traverso:
Algorithms to compute the topology of orientable real algebraic surfaces.
J. Symb. Comput. 36(3-4): 343-364 (2003) |
| 2002 |
| 19 |  | Carlo Traverso,
Alberto Zanoni:
Numerical stability and stabilization of Groebner basis computation.
ISSAC 2002: 262-269 |
| 18 |  | Elisabetta Fortuna,
Patrizia M. Gianni,
Paola Parenti,
Carlo Traverso:
Computing the topology of real algebraic surfaces.
ISSAC 2002: 92-100 |
| 2000 |
| 17 |  | Pasqualina Conti,
Carlo Traverso:
Algebraic and Semialgebraic Proofs: Methods and Paradoxes.
Automated Deduction in Geometry 2000: 83-103 |
| 1998 |
| 16 |  | Massimo Caboara,
Carlo Traverso:
Efficient Algorithms for Ideal Operations (extended abstract).
ISSAC 1998: 147-152 |
| 1997 |
| 15 |  | Massimo Caboara,
Pasqualina Conti,
Carlo Traverso:
Yet Another Ideal Decomposition Algorithm.
AAECC 1997: 39-54 |
| 1996 |
| 14 |  | Giuseppe Attardi,
Carlo Traverso:
Strategy-Accurate Parallel Buchberger Algorithms.
J. Symb. Comput. 21(4): 411-425 (1996) |
| 13 |  | Carlo Traverso:
Hilbert Functions and the Buchberger Algorithm.
J. Symb. Comput. 22(4): 355-376 (1996) |
| 1995 |
| 12 |  | Pasqualina Conti,
Carlo Traverso:
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem.
AAECC 1995: 183-193 |
| 1994 |
| 11 |  | Eberhard Becker,
Teo Mora,
Maria Grazia Marinari,
Carlo Traverso:
The Shape of the Shape Lemma.
ISSAC 1994: 129-133 |
| 1993 |
| 10 |  | Anna Maria Bigatti,
Pasqualina Conti,
Lorenzo Robbiano,
Carlo Traverso:
A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.
AAECC 1993: 76-88 |
| 1992 |
| 9 |  | H. Michael Möller,
Teo Mora,
Carlo Traverso:
Gröbner Bases Computation Using Syzygies.
ISSAC 1992: 320-328 |
| 1991 |
| 8 |  | Paola Cellini,
Patrizia M. Gianni,
Carlo Traverso:
Algorithms for the Shape of Semialgebraic Sets. A New Approach.
AAECC 1991: 1-18 |
| 7 |  | Pasqualina Conti,
Carlo Traverso:
Buchberger Algorithm and Integer Programming.
AAECC 1991: 130-139 |
| 6 |  | Alessandro Giovini,
Teo Mora,
Gianfranco Niesi,
Lorenzo Robbiano,
Carlo Traverso:
``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm.
ISSAC 1991: 49-54 |
| 5 |  | Pasqualina Conti,
Carlo Traverso:
Computing the conductor of an integral extension.
Discrete Applied Mathematics 33(1-3): 61-72 (1991) |
| 1989 |
| 4 |  | Carlo Traverso,
L. Donati:
Experimenting the Gröbner Basis Algorithm with the A1PI System.
ISSAC 1989: 192-198 |
| 1988 |
| 3 |  | Carlo Traverso:
Gröbner Trace Algorithms.
ISSAC 1988: 125-138 |
| 2 |  | André Galligo,
Loic Pottier,
Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
ISSAC 1988: 162-176 |
| 1987 |
| 1 |  | Roberto Dvornicich,
Carlo Traverso:
Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields.
AAECC 1987: 216-224 |