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


1986  [top]
  • Atzeni P., Parker Jr. D.S.: Set Contaiment Inference, in: ICDT'86 (International Conference on Data Base Theory), Roma, Lecture Notes in Computer Science, 243, Springer-Verlag, 73-90, 1986
  • Atzeni P., Parker Jr. D.S.: Formal Properties of Net-Based Knowledge Representation Schemes, in the Proceedings of Second IEEE International Conference on Data Engineering, Los Angeles, 700-706, 1986
  • Alessandro Bertuzzi, Gandolfi A., Alfredo Germani, Vitelli R., Badaracco G., Starace G.: DNA Synthesis Rate in Neoplastic Cells in Culture, in: Modelling of Biomedical Systems, Eisenfeld J., Witten M. eds., North-Holland Amsterdam, 35-39, 1986
  • Bianco L.: Strategic control to improve efficiency of air traffic management, in: AGARD CP-410, 1986
  • Bielli M., Cini M.: Decision Support System for Urban Transportation Planning and Management, in the Proceedings of International Seminar on Management and Planning of Urban Transport Systems: from Theory to Practice, 1986
  • Chan E.P.F., Atzeni P.: On the Properties and Characterization of Connection-trap-free Schemes, in the Proceedings of Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 140-147, 1986
  • Chen K.H., Doroszewski J., Alberto Pettorossi, Ras Z.W., Skowron A.: Mathematical Foundations of an Expert System for Medical Diagnosis, in the Proceedings of First International Conference on Artificial Intelligence and Its Impacts in Biology and Medicine, I.A. BIOMED 1986, 87-92, 1986
  • D'Atri A., Moscarini M.: Recognition Algorithms and Design Methodologies for Acyclic Database Schemes, in: Advances in Computing Research, vol.3, Kannellakis P., Preparata F. eds., JAI Press, 43-68, 1986
  • Di Pillo G., Grippo L., Lucidi S.: Globally Convergent Exact Penalty Algorithms for Constrained Optimization, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 694-703, 1986
  • Fortunato E., Maurizio Rafanelli, Ricci F.L., Sebastio A.: A Logical Model and an Algebra for Statistical Databases, in the Proceedings of VII Symposium on Computational Statistics, COMPSTAT '86, Roma, De Antoni F., Lauro N., Rizzi A. eds., Physica-Verlag Wien, 89-90, 1986
  • Ivo Giovannini, Boldrini G., Carlo Chiarla, Castagneto M., Castiglioni G.C.: Physiopathological patterns and evolutive stages of sepsis, in: Oxygen-free radicals in shock, Karger Basel, 236-240, 1986
  • Kucera L., Marchetti Spaccamela A., Talamo M.: Near Optimal Algorithms for Finding Minimum Steiner Trees on Random Graphs, in the Proceedings of MFCS '86, 1986
  • Lampariello F., Lucidi S.: Analysis of DNA Distributions from Flow Cytometry By Means of an Optimization Procedure, in: System Modelling and Optimization, Strazicky B., Prékopa A., Szelezsán J. eds., Lecture Notes in Control and Information Sciences, 84, Springer-Verlag Berlin, 478-487, 1986
  • Mascari G., Miola A.: On the integration of numeric and symbolic computations, in the Proceedings of AAECC-4 Conference, Lecture Notes in Computer Science, 307, Springer-Verlag Karlsruhe, 1986
  • Michele Missikoff, Salza S., Terranova M.: DBMAC: A Parallel Relational Database Machine, in: Database Machines, Modern Trends and Applications, Sood A.K., Qureshi A.H. eds., Springer-Verlag Berlin, 85-126, 1986
  • Michele Missikoff, Wiederhold G.: Towards a Unified Approach for Expert and Database Systems, in: Expert Database Systems, Kerschberg L. ed., Benjamin Cummings, 383-400, 1986
  • Alberto Pettorossi: Strategical Derivation of On-Line Programs, in the Proceedings of IFIP W.G. 2.1 TC2 Working Conference on Program Specification and Transformation, Meertens L.G.L.T. ed., North Holland, 73-88, 1986
  • Alberto Pettorossi, Skowron A.: Theories for Verifying Communicating Agents Behaviour in Recursive Equations Programs, in the Proceedings of Twentieth Annual Conference on Information Sciences and Systems, Dickinson B. ed., Princeton University, 828-833, 1986
  • Maurizio Rafanelli, Maceratini R., Pisanelli D.M., Crollari S.: SPES: an expert system in pancreatic cancer surgery, in the Proceedings of 8th Intern. Conference of the IEEE Engineering in Medicine and Biology Soc., EMBS '86, IEEE, 869-871, 1986
  • Salza S., Terranova M.: Evaluating the Cardinality of the Result of Relational Operations: A Probabilistic Approach, in the Proceedings of 6-th Advanced Database Symposium, Tokyo, Kambayashi J. ed., 223-231, 1986
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -