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 Proceedings
(or show them all): (Items found: 11)
1986 [top]
- 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
- 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
- Fortunato E., Rafanelli M., 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
- 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
- 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
- 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
- Rafanelli M., 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
|
