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


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
  • 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
  • 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
  • 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
  • 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
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -