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

1993  [top]
  • Paola Bertolazzi, Di Battista G., Mannino C., Tamassia R.: Upward planarity testing of Single-Source digraphs, in the Proceedings of European Symposium on Algorithms, Lengauer T. ed., Lecture Notes in Computer Science, 726, 1993
  • Bertuzzi A., De Gaetano A., Gandolfi A., Greco A.V., Mingrone G., Salinari S.: Pharmacokinetics of Dodecanedioic Acid in Rat, in the Proceedings of 15th International Conference of IEEE-EMBS, San Diego, Szeto A.Y.J., Rangayyan R.M. eds., IEEE New York, 572-573, 1993
  • Bianco L., Bielli M.: System aspects and optimization models in ATC planning, in: Large Scale Computation and Information Processing in Air Traffic Control, Bianco L., Odoni A.R. eds., Springer-Verlag, 47-99, 1993
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria Evaluation of Integrated Urban Traffic Management Systems, in the Proceedings of Meeting of EURO Working Group on Urban Traffic and Transportation, EURO Working Group, 337-347, 1993
  • Bielli M., Gastaldi M., Sica F.: Performance Evaluation of Urban Transport Service Management and Organization, in the Proceedings of Proceedings 6th European Forum on Cost Engineering,, Università Bocconi, 189-212, 1993
  • Bonamico S., Cioni G., Colagrossi A.: An Enhanced Sequent Calculus for Reasoning in a given Domain, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Miola A. ed., Springer-Verlag, 369-373, 1993
  • Campisi D., Gastaldi M.: Managing regional growth in a dualistic economy, in the Proceedings of International Congress on Modelling and Simulation 1993: Modelling Change in Environmental and Socioeconomic Systems, Uniprint M., McAleer , Jakeman A. eds., 1325-1330, 1993
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Relationship of plasma acute-phase protein to amino acid levels during high-dose branched-chain amino acid support in sepsis, in: Host Defense Dysfunction in Trauma, Shock and Sepsis, Springer-Verlag Berlin-Heidelberg, 1029-1034, 1993
  • Anna Formica, Lam H., Michele Missikoff, Toiati M.: MOSAICO: A System for Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 257-259, 1993
  • Anna Formica, Michele Missikoff: Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas, in: {LOGIDATA+}: Deductive Databases with Complex Objects, Atzeni P. ed., Lecture Notes in Computer Science, 701, Springer-Verlag, 129-146, 1993
  • Anna Formica, Michele Missikoff: Integrity Constraint Representation in Object-Oriented Databases, in: Information and Knowledge Management, Finin T.W., Nicholas C.K., Yesha Y. eds., Lecture Notes in Computer Science, 752, Springer-Verlag, 69-85, 1993
  • Anna Formica, Michele Missikoff, Toiati M.: A Validation Tool for Object-Oriented Database Specifications, in the Proceedings of ERCIM Database Research Group Workshop, 93-95, 1993
  • Fossa M., Nardelli E., Guido Proietti: Raster to Object Conversion Aided by Knowledge Based Image Processing, in the Proceedings of 2nd IEEE International Conference on Document Analysis and Recognition, 1993
  • Guerra R., Ferri F., Maceratini R., Pourabbas E., Rafanelli M.: RAM: Resources Allocation Model for health resources allocation, in the Proceedings of 11th International Congress on Medical Inform. Europe, MIE '93, Reichert A., others eds., 691-696, 1993
  • Lam H., Michele Missikoff: On Semantic Verification of Object-Oriented Database Schemas, in the Proceedings of International Workshop on New Generation Information Technology and Systems, Etzion O., Segev A. eds., 22-29, 1993
  • Bruno Luigi Martino, Sacco B., Agrinier B, Agnetta G., Biondo B, Catalano O, Cinti MN, Costa E, Cusumano G, D'Amico N., D'Ali G, Di Raffaele R, Gerardi G, Gros M, Lavigne JM, Maccarone MC, Mangano A, Masnou JL, Massaro E, Matt G, Medici G, Mineo T, Morelli E, Natali G, Nicastro L, Pedichini F, Rubini A, Scarsi L., Tripiciano M: FIGARO IV: 16 square meter balloon borne telescope to study rapid variabilities and transient phenomena at energies above 50 MeV, Conference American Institute of Physics, 280, 1993
  • Michele Missikoff, Toiati M.: MOSAICO: an Environment for the Specification and Rapid Prototyping of Object-Oriented Database Applications, in: {EDBT} Summer School on Object-Orientation in the Database World, Spaccapietra S. ed., Ecole Polytechnique Federale de Lausanne, 1-32, 1993
  • Montesi D., Torlone R.: Lazy Evaluation of Intensional Updates in Constraint Logic Programming, in the Proceedings of ICSC'92 (Second International Computer Science Conference), Hong Kong, 502-508, 1993
  • Alberto Pettorossi, Pietropoli E., Maurizio Proietti: The Use of the Tupling Strategy in the Development of Parallel Programs, in: Parallel Algorithm Derivation and Program Transformation, Paige R., Reif J., Wachter R. eds., Kluwer Academic Publishers, 111-151, 1993
  • Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Program Transformation, in: Formal Program Development, IFIP TC2/WG2.1 State-of-the-Art Report, Schuman S., Möller B., Partsch H. eds., Lecture Notes in Computer Science, 755, Springer-Verlag, 263-304, 1993
  • Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1992, Clement T.P., Lau K.-K. eds., Workshops in Computing, 1993
  • Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, LOPSTR '92, Manchester, U.K., Lau K.-K., Clement T.P. eds., Springer-Verlag, 82-98, 1993
  • Rafanelli M., Ferri F.: The acquisition, allocation and management of health care resources by a geographical information system, in the Proceedings of 1st International Congress of Information, INFO '93, 191-196, 1993
  • Rafanelli M., Ferri F., Maceratini R.: A System for the Storing of Multimedial Epidemiological Data, in the Proceedings of 15th International Conference of the IEEE Engineering in Medicine and Biology Soc., Szeto A.Y.J., Rangayyan R.M. eds., IEEE, 626-627, 1993
  • Rafanelli M., Maceratini R.: Integrated expert systems for the differential diagnosis, the evaluation of the operative risk, the staging and the support to the surgical act for the pancreatic cancer, in the Proceedings of 1st International Congress of Information, INFO '93, Sales H.A. ed., 47-54, 1993
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -