dblp.uni-trier.dewww.uni-trier.de

Carlo Traverso Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
22EEMassimo Caboara, Fabrizio Caruso, Carlo Traverso: Gröbner bases for public key cryptography. ISSAC 2008: 315-324
2005
21EELaureano González-Vega, Carlo Traverso, Alberto Zanoni: Hilbert Stratification and Parametric Gröbner Bases. CASC 2005: 220-235
2003
20EEElisabetta 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
19EECarlo Traverso, Alberto Zanoni: Numerical stability and stabilization of Groebner basis computation. ISSAC 2002: 262-269
18EEElisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso: Computing the topology of real algebraic surfaces. ISSAC 2002: 92-100
2000
17EEPasqualina Conti, Carlo Traverso: Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry 2000: 83-103
1998
16EEMassimo Caboara, Carlo Traverso: Efficient Algorithms for Ideal Operations (extended abstract). ISSAC 1998: 147-152
1997
15EEMassimo 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
12EEPasqualina Conti, Carlo Traverso: A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem. AAECC 1995: 183-193
1994
11EEEberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso: The Shape of the Shape Lemma. ISSAC 1994: 129-133
1993
10EEAnna 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
9EEH. Michael Möller, Teo Mora, Carlo Traverso: Gröbner Bases Computation Using Syzygies. ISSAC 1992: 320-328
1991
8EEPaola Cellini, Patrizia M. Gianni, Carlo Traverso: Algorithms for the Shape of Semialgebraic Sets. A New Approach. AAECC 1991: 1-18
7EEPasqualina Conti, Carlo Traverso: Buchberger Algorithm and Integer Programming. AAECC 1991: 130-139
6EEAlessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso: ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm. ISSAC 1991: 49-54
5EEPasqualina Conti, Carlo Traverso: Computing the conductor of an integral extension. Discrete Applied Mathematics 33(1-3): 61-72 (1991)
1989
4EECarlo 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

Coauthor Index

1Giuseppe Attardi [14]
2Eberhard Becker [11]
3Anna Maria Bigatti [10]
4Massimo Caboara [15] [16] [22]
5Fabrizio Caruso [22]
6Paola Cellini [8]
7Pasqualina Conti [5] [7] [10] [12] [15] [17]
8L. Donati [4]
9Roberto Dvornicich [1]
10Elisabetta Fortuna [18] [20]
11André Galligo [2]
12Patrizia M. Gianni [8] [18] [20]
13Alessandro Giovini [6]
14Laureano González-Vega [21]
15Maria Grazia Marinari [11]
16H. Michael Möller [9]
17Teo Mora [6] [9] [11]
18Gianfranco Niesi [6]
19Paola Parenti [18] [20]
20Loic Pottier [2]
21Lorenzo Robbiano [6] [10]
22Alberto Zanoni [19] [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)