Attilio Colagrossi

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