Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  2005, with author ALL, in the category Articles in Proceedings (or show them all):   (Items found: 28)

2005  [top]
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: A description logic based grid inferential monitoring and discovery framework, in the Proceedings of Proceedings of the 2005 International Conference on Grid Computing and Applications (GCA'05), June 13-15, 2005, Las Vegas, Nevada, USA., 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Transparent Java threads migration protocol over P2P, in the Proceedings of Proceedings of Third International Symposium on Parallel and Distributed Processing and Applications (ISPA'05), 2-5 November, 2005, Nanjing, China., Dongarra J., Pan Y., Chen D., Guo M., Cao J. eds., Lecture Notes in Computer Science, 3578, 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Extending the UDDI API for service instance ranking, in the Proceedings of Proceedings of the International Symposium on Web Services (ISWS'05), June 27-30, 2005, Las Vegas, Nevada, USA., 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: A system for predicting the run-time behavior of Web services, in the Proceedings of Proceedings of the 2nd IEEE International Conference on Services Systems and Services Management (ICSSSM'05), June 13-15, 2005, Chongqing University , China., 2005
  • Bilò D., Guido Proietti: Range augmentation problems in static ad-hoc wireless networks, in the Proceedings of 12th Colloquium on Structural Information and Communication Complexity (SIROCCO'05), Lecture Notes in Computer Science, 3499, 49-64, 2005
  • Cabibbo L., Torlone R.: Integrating Heterogeneous Multidimensional Databases, in the Proceedings of 17th Int. Conference on Scientific and Statistical Database Management (SSDBM'05), 27--29 June, University of California, Santa Barbara, CA, USA, 205-214, 2005
  • Clausen W.H.O., De Gaetano A.: A model for exhogenous glucose regulation in IDDM, in the Proceedings of European Conference on Mathematical and Theoretical Biology, 2005
  • De Gaetano A., Di Martino D., Germani A., Manes C., Pasquale Palumbo: Distributed-delays models of the glucose-insulin homeostasis and asymptotic state observation, 2005
  • De Nicola A., Michele Missikoff, Misceo F.: A Core Business Ontology for eProcurement: a First Proposal, in the Proceedings of itAIS 2005, 2nd Conference of the Italian Chapter of AIS, 2005
  • De Nicola A., Michele Missikoff, Navigli R.: A proposal for a Unified Process for Ontology building: UPON, in the Proceedings of DEXA 05 - International Conference on Database and Expert Systems Applications - Copenaghen, Lecture Notes in Computer Science, 3588, 655-664, 2005
  • De Nicola A., Navigli R., Michele Missikoff: Building an eProcurement Ontology with UPON methodology, in the Proceedings of E-CHALLENGE 2005., 2005
  • Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Evaluating semantic similarity using GML in Geographic Information Systems, in the Proceedings of SebGIS'05, First Intern. Workshop on Semantic-based Geographical Information Systems, Agia Napa, Cyprus, 30 October - 4 November, Lecture Notes in Computer Science, 3762, 1009-1019, 2005
  • Ferri F., Grifoni P., Rafanelli M.: The sketch recognition and query interpretation by GSQL, a Geographical Sketch Query Language, in the Proceedings of CIT '05, 5th International IEEE Conference on Computer and Information Technology, Shanghai, China, 21-23 September, 34-38, 2005
  • Ferri F., Grifoni P., Rafanelli M.: Querying by Sketch Geographical Databases and Ambiguities , in the Proceedings of 16th Intern. Conference on Data Base and Expert System Applications - DEXA '05, Copenhagen, Danimarca, 22-26 Agosto, Lecture Notes in Computer Science, 3588, 524-533, 2005
  • Ferri F., Grifoni P., Rafanelli M.: A pictorial human computer interaction to query geographical data, in the Proceedings of PCI '05, 10th Panhellenic Conference on Informatics, Volos (Greece), November 11-13, Lecture Notes in Computer Science, 3746, 317-327, 2005
  • Ferri F., Rafanelli M.: GeoPQL: a Geographical Pictorial Query Language that resolves ambiguities in query interpretation, in the Proceedings of Journal of Data Semantics, Lecture Notes in Computer Science, 3534, 50-80, 2005
  • Carlo Gaibisso, Lombardi F.: A Reliable Multicast Approach To Replica Management for Grids, in the Proceedings of Proceedings of the 23rd IASTED International Multi-conference Parallel and Distributed Computing and Networks, February 15-17, 2005, Innsbruck, Austria, 2005
  • Germani A., Manes C., Pasquale Palumbo: Filtering of differential nonlinear systems via a carleman approximation approach, in the Proceedings of 44th IEEE Conference on Decision and Control \& European Control Conference (CDC-ECC05), Siviglia, Spagna, 2005
  • Germani A., Manes C., Pasquale Palumbo: A Family of polynomial filters for discrete-time nonlinear stochastic systems, 2005
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering and identification of discrete-time nonlinear uncertain stochastic systems, in the Proceedings of 44th IEEE Conference on Decision and Control & 8th European Control Conference (CDC-ECC 2005), 2005
  • Gualà L., Guido Proietti: A Truthful (2-2/k)-Approximation Mechanism for the Steiner Tree Problem with k Terminals, in the Proceedings of 11th Annual International Conference on Computing and Combinatorics, Lecture Notes in Computer Science, 3595, 390-400, 2005
  • Gualà L., Guido Proietti: Efficient Truthful Mechanisms for the Single-Source Shortest Paths Tree Problem, in the Proceedings of 11th International Euro-Par Conference, Lecture Notes in Computer Science, 3468, 941-951, 2005
  • Hromkovič J., Forlizzi L., Guido Proietti, Seibert S.: On the stability of approximation for Hamiltonian path problems, in the Proceedings of 31st Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2005), 22-28 Gennaio, Lecture Notes in Computer Science, 3381, 147-156, 2005
  • Malvestuto F.M., Pourabbas E.: Local Computation of Answers to Table Queries on Summary Databases, in the Proceedings of 17th International Conference on Scientific and Statistical Database Management-SSDBM, June 27-29, Santa Barbara, USA, 263-270, 2005
  • Michele Missikoff, Schiappelli F.: A Method for Ontology Modeling in the Business Domain, in the Proceedings of Proc. of INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI), in the 17th International Conference on Advanced Information Systems Engineering (CAiSE 2005), Porto, Portugal, June 13-14th, 209-222, 2005
  • Sara Nicoloso, Pietropaoli U.: Coloring Circulant Graphs, in the Proceedings of XXVI Annual Conference of the Italian Operational Research Society, AIRO 2005, Camerino, 2005
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Parameterized Protocols Using Array Formulas., in the Proceedings of 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), Imperial College, London, UK, September 7-9, Hill P.M ed., Lecture Notes in Computer Science, 2005
  • Guido Proietti, Widmayer P.: A truthful mechanism for the non-utilitarian minimum radius spanning tree problem, in the Proceedings of 17th Annual ACM Symposium on Parallel Algorithms, ISBN/ISSN: 1-58113-986-1, 195-202, 2005
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -