Attilio Colagrossi

According to our database1, Attilio Colagrossi authored at least 18 papers between 1981 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Building a global normalized ontology for integrating geographic data sources.
Comput. Geosci., 2011

2010
GeoMergeP: Geographic Information Integration through Enriched Ontology Matching.
New Gener. Comput., 2010

2008
A Layered Ontology-Based Architecture for Integrating Geographic Information.
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

2007
Ontology-Driven Generation of a FederatedSchema for GIS.
Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

2006
An Information Broker for Integrating Heterogeneous Hydrologic Data Sources: A Web Services Approach.
Proceedings of the Research and Practical Issues of Enterprise Information Systems, 2006

2003
XML Technology for the Diffusion of the Awareness of Water Resources.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

1999
A Multimedia Personalized Fruition of Figurative Artistic Heritage by a GIS-Based Methodology.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Some Guidelines for the Design of Multimedia Systems for the Representation of Figurative Artistic Heritage.
Proceedings of the Cultural Heritage Informatics: Selected Papers from ICHIM 1999. Washington, 1999

1998
Intuitive minimal abduction in sequent calculi.
J. Comput. Sci. Technol., 1998

1996
An Approach to Class Reasoning in Symbolic Computation.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995
A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.
J. Symb. Comput., 1995

1993
An Enhanced Sequent Calculus for Reasoning in a Given Domain.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992
A Desk-Top Sequent Calculus Machine.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1988
Big Numbers p-adic Arithmetic: A Parallel Approach.
Proceedings of the Applied Algebra, 1988

1987
A normalization algorithm for truncated p-adic arithmetic.
Proceedings of the 8th IEEE Symposium on Computer Arithmetic, 1987

1983
Computing real zeros of polynomials with parametric coefficients.
SIGSAM Bull., 1983

1982
Linear Algebraic Approach for Computing Polynomial Resultant.
Proceedings of the Computer Algebra, 1982

1981
An application of reduce to industrial mechanics.
SIGSAM Bull., 1981


  Loading...