
Search the dblp DataBase
Attilio Colagrossi:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Attilio Colagrossi, Carla Limongelli
Big Numbers padic Arithmetic: A Parallel Approach. [Citation Graph (0, 0)][DBLP] AAECC, 1988, pp:169180 [Conf]
 Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A DeskTop Sequent Calculus Machine. [Citation Graph (0, 0)][DBLP] AISMC, 1992, pp:224236 [Conf]
 Attilio Colagrossi, Angela Scaringella
XML Technology for the Diffusion of the Awareness of Water Resources. [Citation Graph (0, 0)][DBLP] Applied Informatics, 2003, pp:151155 [Conf]
 Sabina Bonamico, Gianna Cioni, Attilio Colagrossi
An Enhanced Sequent Calculus for Reasoning in a Given Domain. [Citation Graph (0, 0)][DBLP] DISCO, 1993, pp:369373 [Conf]
 Gianna Cioni, Attilio Colagrossi, Marco Temperini
An Approach to Class Reasoning in Symbolic Computation. [Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:240251 [Conf]
 Luciana Bordoni, Attilio Colagrossi, Alfonso Miola
Linear Algebraic Approach for Computing Polynomial Resultant. [Citation Graph (0, 0)][DBLP] EUROCAM, 1982, pp:231236 [Conf]
 Luciana Bordoni, Attilio Colagrossi
Some Guidelines for the Design of Multimedia Systems for the Representation of Figurative Artistic Heritage. [Citation Graph (0, 0)][DBLP] ICHIM, 1999, pp:4550 [Conf]
 Luciana Bordoni, Attilio Colagrossi
A Multimedia Personalized Fruition of Figurative Artistic Heritage by a GISBased Methodology. [Citation Graph (0, 0)][DBLP] ICMCS, Vol. 2, 1999, pp:184188 [Conf]
 Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1995, v:19, n:13, pp:175199 [Journal]
OntologyDriven Generation of a FederatedSchema for GIS. [Citation Graph (, )][DBLP]
Search in 0.223secs, Finished in 0.223secs
