| 2003 |
|---|
| 9 | | Attilio Colagrossi,
Angela Scaringella:
XML Technology for the Diffusion of the Awareness of Water Resources.
Applied Informatics 2003: 151-155 |
| 1999 |
|---|
| 8 | | Luciana Bordoni,
Attilio Colagrossi:
Some Guidelines for the Design of Multimedia Systems for the Representation of Figurative Artistic Heritage.
ICHIM 1999: 45-50 |
| 7 | EE | Luciana Bordoni,
Attilio Colagrossi:
A Multimedia Personalized Fruition of Figurative Artistic Heritage by a GIS-Based Methodology.
ICMCS, Vol. 2 1999: 184-188 |
| 1996 |
|---|
| 6 | | Gianna Cioni,
Attilio Colagrossi,
Marco Temperini:
An Approach to Class Reasoning in Symbolic Computation.
DISCO 1996: 240-251 |
| 1995 |
|---|
| 5 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
J. Symb. Comput. 19(1-3): 175-199 (1995) |
| 1993 |
|---|
| 4 | | Sabina Bonamico,
Gianna Cioni,
Attilio Colagrossi:
An Enhanced Sequent Calculus for Reasoning in a Given Domain.
DISCO 1993: 369-373 |
| 1992 |
|---|
| 3 | | Gianna Cioni,
Attilio Colagrossi,
Alfonso Miola:
A Desk-Top Sequent Calculus Machine.
AISMC 1992: 224-236 |
| 1988 |
|---|
| 2 | | Attilio Colagrossi,
Carla Limongelli:
Big Numbers p-adic Arithmetic: A Parallel Approach.
AAECC 1988: 169-180 |
| 1982 |
|---|
| 1 | | Luciana Bordoni,
Attilio Colagrossi,
Alfonso Miola:
Linear Algebraic Approach for Computing Polynomial Resultant.
EUROCAM 1982: 231-236 |
