Attilio Colagrossi

Publication Activity (10 Years)

Years Active: 1981-2011
Publications (10 Years): 0

Publications

Agustina Buccella, Alejandra Cechich, Domenico Gendarmi, Filippo Lanubile, Giovanni Semeraro, Attilio Colagrossi
Building a global normalized ontology for integrating geographic data sources. Comput. Geosci. 37 (7) (2011)
Agustina Buccella, Alejandra Cechich, Domenico Gendarmi, Filippo Lanubile, Giovanni Semeraro, Attilio Colagrossi
GeoMergeP: Geographic Information Integration through Enriched Ontology Matching. New Gener. Comput. 28 (1) (2010)
Agustina Buccella, Domenico Gendarmi, Filippo Lanubile, Alejandra Cechich, Attilio Colagrossi
Ontology-Driven Generation of a FederatedSchema for GIS. SWAP (2007)
Fabio Calefato, Attilio Colagrossi, Domenico Gendarmi, Filippo Lanubile, Giovanni Semeraro
An Information Broker for Integrating Heterogeneous Hydrologic Data Sources: A Web Services Approach. CONFENIS (2006)
Attilio Colagrossi, Angela Scaringella
XML Technology for the Diffusion of the Awareness of Water Resources. Applied Informatics (2003)
Luciana Bordoni, Attilio Colagrossi
Some Guidelines for the Design of Multimedia Systems for the Representation of Figurative Artistic Heritage. ICHIM (1999)
Luciana Bordoni, Attilio Colagrossi
A Multimedia Personalized Fruition of Figurative Artistic Heritage by a GIS-Based Methodology. ICMCS, Vol. 2 (1999)
Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi
Intuitive minimal abduction in sequent calculi. J. Comput. Sci. Technol. 13 (3) (1998)
Gianna Cioni, Attilio Colagrossi, Marco Temperini
An Approach to Class Reasoning in Symbolic Computation. DISCO (1996)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems. J. Symb. Comput. 19 (1-3) (1995)
Sabina Bonamico, Gianna Cioni, Attilio Colagrossi
An Enhanced Sequent Calculus for Reasoning in a Given Domain. DISCO (1993)
Gianna Cioni, Attilio Colagrossi, Alfonso Miola
A Desk-Top Sequent Calculus Machine. AISMC (1992)
Attilio Colagrossi, Carla Limongelli
Big Numbers p-adic Arithmetic: A Parallel Approach. AAECC (1988)
Attilio Colagrossi, Alfonso Miola
A normalization algorithm for truncated p-adic arithmetic. IEEE Symposium on Computer Arithmetic (1987)
Attilio Colagrossi, Alfonso Miola
Computing real zeros of polynomials with parametric coefficients. SIGSAM Bull. 17 (1) (1983)
Luciana Bordoni, Attilio Colagrossi, Alfonso Miola
Linear Algebraic Approach for Computing Polynomial Resultant. EUROCAM (1982)
Luciana Bordoni, Attilio Colagrossi
An application of reduce to industrial mechanics. SIGSAM Bull. 15 (2) (1981)