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


1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Bezenchek A., Maurizio Rafanelli, Tininini L.: ADAMO: a conceptual model to describe and to represent aggregate data, in the Proceedings of International Conference on Computational Statistics---COMPSTAT'96, Prat A. ed., 1996
  • Bezenchek A., Maurizio Rafanelli, Tininini L.: A system for the management of aggregate data, in the Proceedings of 7th International Conference on Database and Expert Systems Applications---DEXA'96, Wagner R.R., Thoma H. eds., Lecture Notes in Computer Science, 1134, Springer-Verlag, 531-543, 1996
  • Bezenchek A., Maurizio Rafanelli, Tininini L.: A data structure for representing aggregate data, in the Proceedings of 8th International Conference on Scientific and Statistical Database Management - SSDBM'96, French J.C., Svensson P. eds., 1996
  • Bianco L., Confessore G., Reverberi P.: A combinatoirial optimization approach to locate traffic counting points in a transport network, in the Proceedings of SOR '96, Germany, 1996
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria evaluation model of public transport networks, in the Proceedings of Advanced Methods in Transportation Analysis,, Springer-Verlag, 135-156, 1996
  • Campisi D., La Bella A., Mancuso P., Nastasi A.: Firms R\&D Investments, innovation and market shares (Chapter 5), in the Proceedings of Innovative behaviour in space and time, Springer-Verlag, 79-97, 1996
  • Campisi D., Mancuso P., Nastasi A.: Dynamic R and D competion and Market sharing, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 127-135, 1996
  • Campisi D., Nastasi A., Reverberi P.: Market entry decision strategies under incomplete information, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 136-145, 1996
  • Campisi D., Nastasi A., Reverberi P.: Evaluating Market Profitability Through Bayesian Belief Networks, in the Proceedings of ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 173-177, 1996
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Relationships of plasma arginine (ARG) and glutamine (GLN) to other amino acids (AA) in septic patients, in: The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E., Baue A.E., Schildberg F.W. eds., Pabst Science Publishers Lengerich (D), 933-938, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: A Simulation Model for International Telecommunication System, in the Proceedings of Internatianal Conference. Simulation in industry 1996. ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 518-522, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: Vertical cooperation in high technology sectors: the military industry, in the Proceedings of International Conference on Management and New Technologies Madrid, Fondation Cotec, Madrid, 223-230, 1996
  • Di Loreto F., Ferri F., Massari F., Maurizio Rafanelli: A pictorial query language for geographical information systems, in the Proceedings of 4th International Conference on Advanced Visual Interfaces---AVI'96, Catarci T., Costabile M.F., Levialdi S., Santucci G. eds., ACM Gubbio, 233-244, 1996
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: FasTraC: A Decentralized Traffic Control System Based on Logic Programming, in the Proceedings of Proceedings of the 13th International Conference on Automated Deduction ({CADE}-13), McRobbie M.A., Slaney J.K. eds., Lecture Notes in Computer Science, 1104, Springer-Verlag, 216-220, 1996
  • Ferri F., Elaheh Pourabbas, Maurizio Rafanelli, Sindoni G.: Planning health resource allocation using a geographic information system, in the Proceedings of 1st International Conference on Geographic Information Systems in Urban, Regional and Environmental Planning, Sellis T., Georgoulis D. eds., 11-29, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: An Output Sensitive Solution to the Set Union and Intersection Problem, in the Proceedings of Proceedings of "SOFSEM '96: Theory and Practice of Informatics", Milovy, Repubblica Ceca, 23-30 novembre 1996., Kral J., Jeffery K., Bartosek M. eds., Lecture Notes in Computer Science, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: Incremental Constraints Maintenance in Concurrent Logic Programming, in the Proceedings of Proceedings of ISCIS XI, 11-th Iternational Symposium on Computer and Information Sciences, Antalya, Turchia, 6-8 novembre 1996, 1996
  • Alfredo Germani, Costanzo Manes: A simple observer controller scheme for robot trajectory tracking, in the Proceedings of IASTED---International Conference on Robotics and Manufacturing, Honolulu, 1996
  • Manolopoulos Y., Nardelli E., Papadopoulos A., Guido Proietti: QR-tree: a Hybrid Spatial Data Structure, in the Proceedings of Int. Conference on GIS in Urban, Environmental and Regional Planning, 247-259, 1996
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Tebala G.D., Vellone M.: Patterns of recovery after liver resection, in the Proceedings of Proceedings of the Second World Congress of Hepato-Pancreato-Biliary Association, Cavallari A., Mazziotti A., Principe A. eds., Monduzzi Bologna, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, Proceedings LOPSTR '96, Stockholm, Sweden., Gallagher J. ed., 101-112, 1996
  • Pirillo G., Varricchio S.: Some combinatorial properties of infinite words and applications to semigroup theory, in the Proceedings of Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993), 153 (1-3), 239-251, 1996
  • Elaheh Pourabbas, Maurizio Rafanelli: An object-oriented epidemiological data modeling system, in the Proceedings of 10th North-Baltic Conference on Biomedical Engineering, Malmivuo J. ed., IFMBE Tampere, 409-410, 1996
  • Elaheh Pourabbas, Maurizio Rafanelli: A system for the management of epidemiological data, in the Proceedings of 13th International Conference on Medical Informatics Europe---MIE'96, Nordmann H., Sillesen H. eds., 422-427, 1996
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -