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  2000, with author ALL, in the category Articles in Collections and Proceedings (or show them all):   (Items found: 52)

2000  [top]
  • Avis D., De Simone C., Nobili P.: Two conjectures on the chromatic polynomial, in: LATIN 2000: Theoretical Informatics, Gonnet G.H., Panario D., Viola A. eds., Lecture Notes in Computer Science, 1776, Springer-Verlag, 154-162, 2000
  • Paola Bertolazzi, Fugini M.G., Pernici B.: Information System Design based on Reuse of Conceptual Components, in: Information Modelling in the Next Millenium, Rossi M. ed., IDEA group, 2000
  • Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model for the growth of tumor cords incorporating the dynamics of a nutrient, in: Free Boundary Problems: Theory and Applications II, Kenmochi N. ed., Gakuto International Series: Mathematical Sciences and Applications, 14, Gakkotosho, 31-46, 2000
  • Bielli M., Carotenuto P., Confessore G.: A new hybrid approach for transport network design, in: Spatial Economic Science: New frontiers in theory and methodology, Reggiani A. ed., Springer-Verlag, 2000
  • Bielli M., Landolfi O.: Technology assessment methods to support the Common Transport Policy in the road transport telematics, in the Proceedings of 7th World ITS Congress, Turin, 2000
  • Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of 7th World ITS Congress, Turin, 2000
  • Bielli M., Villa A.: Autonomy versus efficiency in management of large-scale logistic networks, in the Proceedings of Proceedings of the Rome Jubilee 2000 Conference on Transportation, 2000
  • Bordoni L., Colagrossi A.: A Case-based Reasoning Methodology for Restoring Frescoes, in the Proceedings of 18th Iasted International Conference on Applied Informatics, Innsbruck, 2000, 2000
  • Broggio G., Falcomatà S., Giovanni Felici, Claudio Gentile, Paoletti B.: An optimization framework for ground staff roster management using integer programming, in: Handbook of Airline Operations, Butler G.F., Keller M.R. eds., McGraw-Hill, New York, 349-369, 2000
  • Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: A polyhedral method for the ground staff roster problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
  • Cabibbo L., Torlone R.: The Design and Development of a Logical System for OLAP, in the Proceedings of Proceedings of 2nd International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2000, Lecture Notes in Computer Science, 1874, Springer-Verlag, 1-10, 2000
  • Cabibbo L., Torlone R.: Computing Aggregations in Database Query Languages, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 35-48, 2000
  • Caramia M., Dell'Olmo P., Italiano G.F.: New Algorithms for Examination Timetabling, in the Proceedings of Proceeding of the 4-th Workshop on Algorithm Engineering, Springer-Verlag, 2000
  • Francesco Carravetta, Germani A., Liptser R., Manes C.: Filtering of Nonlinear Stochastic Feedback Systems, in the Proceedings of CDC'2000, 39-th IEEE Conference on Decision and Control, Sydney, Australia, 2000
  • Castano S., Papopoli L., Torlone R.: The InterData Methodological Framework for the Development of Web-based Information Systems, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 139-152, 2000
  • Chiorino G.: Cell cycle variability and population growth, in the Proceedings of International Conference DESTOBIO 2000, West Lafayette, Indiana, USA, 23-27 Agosto, 2000
  • Chiorino G., Arino O., Ubezio P.: Cell cycle regulation and perturbations, in the Proceedings of European Communications in Mathematical and Theoretical Biology, 1: 7--10, Gennaio 2000, 2000
  • Colagrossi A.: L'apprendimento automatico nei sistemi user-modelling per i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
  • Colagrossi A.: La Rete Unitaria della Pubblica Amministrazione ed i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
  • Confessore G., Dell'Olmo P., Giordani S.: Orienting Dart-free Clique-Helly Graphs, in the Proceedings of Operations Research Proceedings 1999, Springer-Verlag, 52-57, 2000
  • Farina V., Giovanni Felici, Claudio Gentile, Peri F.: Prototype study of an optimization algorithm for ship scheduling in hydrocarbon products distribution, in the Proceedings of IAME 2000, The Maritime Industry into the Millenium: The Interaction of Theory and Practice, Napoli, 13-15 Settembre, 2000
  • Giovanni Felici: Learning Algorithms in Logic Domains, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, Departamento de Màtematica Aplicada, Universitad de la Habana, 2000
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Logistics and Supply Chain Management, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, 2000
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Supply Chain Management in Oil Industry, in the Proceedings of 8th Meeting of the Euro Working Group on Transportation (EWGT), Roma, 11-14 Settembre, 2000
  • Ferri F., Pourabbas E., Rafanelli M., Ricci F.L.: Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data, in the Proceedings of Proceedings of 12th IEEE International Conference on Scientific and Statistical Database Management, SSDBM 2000, IEEE Press, 220-230, 2000
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, in the Proceedings of LOPSTR'2000, Logic-based Program Synthesis and Transformation, London, UK, 24-28 July, Lau K.-K. ed., 2000
  • Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of GULP/PRODE/APPIA Conference, Habana, Cuba, Dec. 2000, 2000
  • Carlo Gaibisso, Draoli M., Laureti Palma A., Puccinelli R., Salza S.: Methods and Tools for the Objective Evaluation of Voice-over-IP Communications, in the Proceedings of Proceedings of INET'00, Annual Meeting of the Internet Society, Yokohama, Japan, 18-21 July, 2000, 2000
  • Germani A., Manes C.: A Bayesian approach for position estimation in a sensored mobile robot, in the Proceedings of World Automation Conference 2000, 2000
  • Germani A., Manes C., Pepe P.: State observation of nonlinear systems with delayed output, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
  • Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2000), 2000
  • Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of the International Conference on Statistical and Scientific Database Management (SSDBM 2000), 2000
  • Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of 8th Italian Symposium on Advanced Database Systems (SEBD 2000), 2000
  • Malucelli F., Sara Nicoloso: Shiftable Intervals, in the Proceedings of ICGT 2000, 6eme Colloque International de Théorie des Graphes, Marseille Luminy, France, 231-234, 2000
  • Bruno Luigi Martino, Del Monte E, Costa E, Di Persio G, Feroci M, Lapshov I, Mastropietro M, Morelli E, Prest M, Rubini A, Soffitta P., Vallazza E: Performances of XA1.3 ASIC chip for the SuperAGILE experiment on board of AGILE, SPIE, 2000
  • Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, Vulcano Workshop VW ed., 2000
  • Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, 2000
  • Michele Missikoff: Management of Knowledge and Intangible Assets in the Context of Dynamic Business Environments: a Position Paper, in the Proceedings of Consultation Meeting of the DG Information Society, Bruxelles , 2000
  • Michele Missikoff, Velardi P.: Mining Texts to Acquire a Tourism Knowledge Base for Semantic Interoperability, in the Proceedings of The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000
  • Nardelli E., Di Pasquale A.: An Amortized Lower Bound for Distributed Searching of $k$-dimensional Data, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
  • Nardelli E., Di Pasquale A.: Scalable Distributed Data Structures: a Survey, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
  • Nardelli E., Di Pasquale A.: Distributed Searching of $k$-Dimensional Data with Almost Constant Costs, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 239-250, 2000
  • Nardelli E., Guido Proietti: Size Estimation of the Intersection Join Between Two Line Segment Datasets, in: Current Issues in Databases and Information Systems - Advances in Databases and Information Systems (ADBIS 2000), Stuller J., Pokorn{ý} J., Thalheim B., Masunaga Y. eds., Lecture Notes in Computer Science, 1884, Springer-Verlag, 229-238, 2000
  • Nardelli E., Guido Proietti, Widmayer P.: Maintaining a Minimimum Spanning Tree Under Transient Node Failures, in: Algorithms - Annual European Symposium (ESA 2000), Peterson M. ed., Lecture Notes in Computer Science, 1879, Springer-Verlag, 346-355, 2000
  • Pasquale Palumbo: A realizable observer for a flexible system with delayed outputs, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
  • Paolucci M., Sindoni G., De Francisci S., Tininini L.: SIT-IN on Heterogeneous Data with Java, HTTP and Relations, in the Proceedings of the International Workshop on Java and Databases: Persistence Options (in NetObject.Days 2000), 2000
  • Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of Logic-based Program Synthesis and Transformation, LOPSTR '99, Venezia, Italy, Bossi A. ed., Lecture Notes in Computer Science, 1817, 2000
  • Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations, in the Proceedings of First International Conference on Computational Logic, CL'2000, London, 24-28 July, 2000, Lloyd J.W., others eds., Lecture Notes in Artificial Intelligence, 1861, Springer, 613-628, 2000
  • Guido Proietti: Dynamic Maintenance Versus Swapping: an Experimental Study on Shortest Paths Trees, in: Algorithm Engineering (WAE 2000), Näher S., Wagner D. eds., Lecture Notes in Computer Science, 1982, Springer-Verlag, 207-217, 2000
  • Giovanni Rinaldi: Branch and cut algorithms for the exact solution of the capacitated vehicle routing problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
  • Giovanni Rinaldi: Unconstrained quadratic programming with binary variables, in the Proceedings of Deutsche Mathematiker-Vereinigung Jahrestagung 2000, Dresden, 2000
  • Salvan A., Pons O., Roletti S., Erna M., Liguori F., Ciccolallo L., Galassi C., Miligi M., Poggi A., Cannizzaro S, Tumino R., Bortot P., Polichetti A, Vecchia P, Magnani C: SETIL workgroup: A pilot study of residential exposure to extremely low frequency magnetic fields for the Italian epidemiologic study of risk factors for childhood cancer (SETIL), in the Proceedings of the Millennium Workshop on Biological Effects of Electromagnetic Fields, Kostarakis P., Stavroulakis P. eds., 2000
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -