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


1983  [top]
  • Atzeni P., Carboni E.: INCOD (A System for Interactive Conceptual Design) Revisited after the Implementation of a Prototype, in: Entity-Relationship Approach to Software Engineering, Davis C.G., others eds., Elsevier Science Publishers (North-Holland), Amsterdam, 449-464, 1983
  • Ausiello G., Protasi M., Talamo M.: Probabilistic Models for Hypergraphs and Database Schemes, in the Proceedings of Graph Theoretic Concepts in Computer Science, 1983
  • Batini C., Lenzerini M., Moscarini M.: Views Integration, in: Methodology and Tools for Data Base Design, North-Holland, 57-83, 1983
  • Batini C., Talamo M., Tamassia R.: An Algorithm for Automatic Layout of Entity Relationship Diagrams, in the Proceedings of 3rd International Conference on the Entity Relationship Approach, North Holland, 1983
  • Paola Bertolazzi, Michele Missikoff, Terranova M.: CID: a VLSI Device for Lists Intersection, in: Database machines, Leilich H.O., Missikoff M. eds., Springer-Verlag, 188-204, 1983
  • Alessandro Bertuzzi, Clerico L., Gandolfi A., Alfredo Germani, Vitelli R.: Determination of DNA Synthesis Rate in Cell Populations with Locally Exponential S-Phase Influx, in the Proceedings of Mathematics in Biology and Medicine, Bari, Capasso V., Grosso E., Paveri-Fontana S.L. eds., Springer-Verlag Berlino, 260-265, 1983
  • Boldrini G., Ivo Giovannini, Castagneto M., Gui D., Gabriele Sganga: Noninvasive evaluation of metabolic parameters in surgical patients submitted to total parenteral nutrition, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 61-64, 1983
  • Cioffi G., Lucertini M.: An evaluation model for interconnection networks of large distributed processing systems, in the Proceedings of 21st Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1983
  • Di Pillo G., Grippo L., Lampariello F.: A Class of Structured Quasi-Newton Algorithms for Optimal Control Problems, in the Proceedings of 3th IFAC Workshop on Applications of Nonlinear Programming to Optimization and Control, Palo Alto, 101-107, 1983
  • Gamerman S., Salza S., Scholl M.: Analysis of Filtering Efficiency in the Database Machine VERSO, in the Proceedings of Third International Workshop on Database Machines, Munich, Leilich H.O., Missikoff M. eds., Springer-Verlag Berlin, 91-105, 1983
  • Ivo Giovannini, Castagneto M., Boldrini G., Tonelli M., Perla A., Gui D., Gabriele Sganga: Assessment of metabolic,respiratory and hemodynamic condition of critically ill patients by mass spectrometry, in: Recent Developments in Mass Spectrometry in Biochemistry, Medicine and Environmental Research, Elsevier Scientific Publishing Co. Amsterdam, 55-60, 1983
  • Labella A., Alberto Pettorossi: Categories for Handshaking Communications, in the Proceedings of Colloquia Mathematica Societatis Janos Bolyai 42. Algebra, Combinatorics and Logic in Computer Science, 555-582, 1983
  • Marchetti Spaccamela A., Talamo M.: Probabilistic Analysis of Graph Colouring Algorithms, in the Proceedings of CAAP '83, 1983
  • Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of Proc. of AI Europa Conference, 1983
  • Michele Missikoff, Scholl M.: Relational Queries in a Domain Based Relational System, in the Proceedings of Proc. of ACM-SIGMOD Conference, 1983
  • Michele Missikoff, Terranova M.: The Architecture of a Relational Database Computer Known as DBMAC, in: Advanced Database Machine Architectures, Hsiao D. ed., Prentice Hall, 87-108, 1983
  • Alberto Pettorossi: Towards a Theory of Parallelism and Communications for Increasing Efficiency in Applicative Languages, in the Proceedings of 1980 Conference on Logic of Programs and Their Applications, Salwicki A. ed., Lecture Notes in Computer Science, 148, Springer-Verlag, 224-249, 1983
  • Protasi M., Talamo M.: A New Probabilistic Model for the Study of Algorithmic Properties of Random Graph Problems, in the Proceedings of FCT '83, Springer-Verlag, 1983
  • Maurizio Rafanelli, Ricci F.L.: An integrated management model of general register files for the family doctor choice, in: Health Information systems: the Italian approach, Fernandez Perez de Talens A. ed., IFIP-IMIA, 67-72, 1983
  • Maurizio Rafanelli, Ricci F.L.: A Management System for Unified Booking Center for Public Clinics, in the Proceedings of 4th World Congress of Medical Informatics, Medinfo '83, North Holland, 269-272, 1983
  • Maurizio Rafanelli, Ricci F.L.: Proposal of a logical model for statistical databases, in the Proceedings of II Intern. Workshop on Statistical Databases, Los Altos, California, Hammond R., McCarthy J.L. eds., Univ. California Berkeley, CA, 264-272, 1983
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -