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 Collections and Proceedings (or show them all):   (Items found: 40)


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
  • Brisinda G., Maria G., Castagneto M., Gabriele Sganga: Infections of the peritoneum including pancreas, mediastinum, pleura, wounds, and urinary tract, in: Infection control in the intensive care unit, Van Saene H., Silvestri L., De La Cal M. eds., Springer, USA, 379-414, 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., Alfredo Germani, Costanzo Manes, Palumbo P.: Distributed-delays models of the glucose-insulin homeostasis and asymptotic state observation, 2005
  • De Gaetano A., Simona Panunzi: Nonlinear Estimation and Confidence Regions: a Biological Case Study, in: Mathematical Models for Bioengineering and Probabilistic Systems, Misra J.C. ed., Narosa, New Delhi, 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
  • Eisenbrand F., Oriolo G., Stauffer G., Paolo Ventura: Circular Ones Matrices and the Stable Set Polytope of Quasi-Line Graphs, in: Integer Programming and Combinatorial Optimization - IPCO XI, Lecture Notes in Computer Science, 3509, 291-305, 2005
  • Giovanni Felici, Caramia M.: Data Mining in a Web Search Engine, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., II, Idea Group Reference, 2005
  • Giovanni Felici, Truemper K.: The Lsquare System for Mining Logic Data, in: Encyclopedia of Data Warehousing and Mining, Wang J. ed., II, Idea Group Reference, 2005
  • Ferri F., Anna Formica, Grifoni P., Maurizio Rafanelli: 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., Maurizio Rafanelli: 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., Maurizio Rafanelli: 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., Maurizio Rafanelli: 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., Maurizio Rafanelli: Syntactically and Semantically Correctness in Pictorial Queries for GIS, in: Enciclopedia of Database Technologies and Applications, Idea Grouping Publ., Hershey, London, Melbourne, Singapore, Beijing (ISBN 1-59140-560-2), 671-676, 2005
  • Ferri F., Maurizio Rafanelli: 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
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automatic Proofs of Protocols via Program Transformation., in: Monitoring, Security, and Rescue Techniques in Multiagent Systems, Advances in Soft Computing Series, Skowron A., Dunin-Keplicz B., Jankowski A., Szczuka M. eds., Advances in Soft Computing, 99-116, 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
  • Alfredo Germani, Costanzo Manes, Palumbo P.: 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
  • Alfredo Germani, Costanzo Manes, Palumbo P.: A Family of polynomial filters for discrete-time nonlinear stochastic systems, 2005
  • Alfredo Germani, Costanzo Manes, Palumbo P.: 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
  • Ivo Giovannini, Carlo Chiarla, Giuliante F., Vellone M., Zadak Z., Nuzzo G.: Hypocholesterolemia in surgical trauma, sepsis, other acute conditions and critical illness, in: Trends in Cholesterol Research, Kramer M.A. ed., Nova Science Publisher, Hauppauge, USA, 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., Elaheh Pourabbas: 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
  • Elaheh Pourabbas: Hierarchies in Multidimensional Databases, in: Encyclopedia of Information Science and Technology, III, 1327-1332, 2005
  • Elaheh Pourabbas: Cooperation of Geographic and Multidimensional Databases, in: Encyclopedia of Information Science and Technology, I, 596-602, 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
  • Maurizio Rafanelli: Basic Notions on Multidimensional Databases. , in: Encyclopedia of Information Science and Technology , Khosrow-Pour M. ed., Idea Grouping Publ., Hershey, London, Melbourne, Singapore, Beijing (ISBN: 1-59140-553-X), 211-216., 2005
  • Tininini L.: Querying Multidimensional Data. , in: Encyclopedia of Information Science and Technology, Khosrow-Pour M. ed., Idea Group Publishing, ISBN: 1-59140-553-X, 2392-2396, 2005
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -