- Piani
quasi-euclidei, Rend. Ist.Mat. Univ. Trieste, 3 (1971), 81-95.
- Quasicollineazioni
in geometrie sopra un insieme qualunque, Rend. Ist.
Mat. Univ. Trieste, 4 (1972),
1-21.
- Sulle congruenze
in multigruppi associati a spazi proiettivi, Rend. Ist. Mat. Univ.
Trieste, 4 (1972), 182-202.
- Sui multigruppi
risolubili, Rend. Ist. Mat. Univ. Trieste, 5 (1973), 120-128.
- Sul reticolo dei
sottoggetti di un oggetto di una certa classe di categorie, Rend. Ist.
Mat. Univ. Trieste, 6 (1974),
205-215.
- A-categorie e T- algebre, Rend. Ist.
Mat. Univ. Trieste, 7
(1975), 156-168.
- A-categorie e
categorie relative di funtori, Rend. Ist. Mat. Univ. Trieste, 7 (1975), 169-172.
- V-monoidalità,
V-aggiunzioni e funtori monoidali (with M.C. Pedicchio), Rend. Ist. Mat.
Univ. Trieste, 10
(1978), 5-40.
- V-monoidalità,
V-aggiunzionie funtori monoidali II (with M.C. Pedicchio), Rend. Ist.
Mat. Univ. Trieste, 10
(1978), 80-100.
- Qualche
applicazione del concetto di quasi-fine, Quaderni matematici Univ.
Trieste, II, 13 (1979).
- Quasi-fini e
lemma di Yoneda relativo nella teoria delle bicategorie relative, Boll.
Un. Mat. Ital. (5) 18-B
(1981), 315-334.
- Some remarks on symmery for a monoidal
category (with S. Kasangian), Bull.
Austral. Math. Soc., 23
(1981),209-214.
- Automi e
cofibrazioni (with S.Kasangian), Quaderni matematici Univ. Trieste, II, 33 (1981).
- Cofibrations and the Realization of
non-deterministic Automata (with S. Kasangian
and G.M. Kelly), CahiersTopologie Géom.Différentielle, 24 (1983), 23-46.
- Monoidal closed structures for
topological spaces: counter-example to a question of Booth
and Tillotson (with M.C. Pedicchio), Cahiers Topologie
Géom.Différentielle, 24
(1983), 371-376.
- Some remarks on categories with constant
maps and monoidal closedness (with M.C. Pedicchio), Rend. Ist.Mat. Univ.
Trieste,
16 (1984), 109-118.
- Su due teoremi di
rappresentazione di un modulo mediante fasci, Quaderni matematici
Univ.Trieste, II, 97 (1984).
- Monoidal closed structures on categories
with constant maps (with A. Logar),J. Austral. Math. Soc., 38-A(1985), 175-185.
- Topological categories with many symmetric
monoidal closed structures (with G.M. Kelly), Bull. Austral.Math. Soc. 31 (1985), 41-59.
- A remark on monoidal closed structureson
TOP (with M.C. Pedicchio), Proceedings of the 13th Winter School
on Abstract Analisys, Srni, Section of Topology, Rend. Circ. Mat. Palermo(2) Suppl. 11 (1985), 77-79.
- On the computation of generalized
standard bases (with M.Brundu ), Special Volume of J. Symbolic Comput.
on Computational Aspects of Commutative Algebra 6 (1988), 323-343.
- Boolean Algebras in a localic
topos (with F. Borceux and M.C. Pedicchio ), J.
Pure Appl. Algebra, Special issue in honor of B.Banaschewski 68 (1-2) (1990),55-65.
- Some effective methods in the openness
of loci for Cohen-Macaulay and Gorenstein properties (with W.Spangher ),
Proceedings MEGA 90, Effective Methods in Algebraic Geometry,
Progress in Mathematics 94,
Birkhäuser, (1991), 441-455.
- Computation of the openness of some loci
of modules (with W. Spangher ),
Proceedings "AAECC-9", Lecture Notes in Comput. Sci. 539, Springer Verlag Heidelberg, (1991),
390 -402.
- On computational Galois theory (with D. La Macchia ),
preprint (1995).
- On computational Galois theory. An
algorithm to solve a cyclic equation (with D. La Macchia ),
Quaderni matematici Univ. Trieste, II, 432 (1998).
- Gröbner bases related to 3-dimensional
transportation problems (with G. Boffi), Quaderni matematici Univ.
Trieste, II, 482 (2000), PostScript , pdf.
- Lexicographic Gröbner bases of 3-dimensional
transportation problems (with G. Boffi), Symbolic computation: solving
equations in algebra, geometry, and engineering (South Hadley,MA,
2000), 145 - 168, Contemp. Math., 286, Amer. Math. Soc., Providence,
RI, (2001), 13P10 (90C10)
- Computer Algebra for Fingerprint
Mathcing (with G. Boffi and S. Bistarelli), Lecture Notes in Comput. Sci. 2657, Springer Verlag,
(2003), 811 - 820 , pdf.
- Lexicographic
Gröbner bases for transportation problems of format rx3x3 (with G. Boffi), preprint
February 2003, revised version September 2004, to appear in Journal of
Symbolic Computation , pdf.
- On a family of projective toric
varieties (with G. Boffi), preprint November 2004, pdf.
|
