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


1987  [top]
  • Arbib C., Cioni G.: Meta-reasoning and data structuring for improving Prolog programming style, in the Proceedings of Artificial Intelligence II, 1987
  • Atzeni P., Chan E.P.F.: Independent Database Schemes under Functional and Inclusion Dependencies, in the Proceedings of Thirteenth International Conf. on Very Large Data Bases, Brighton, 159-166, 1987
  • Atzeni P., De Bernardis M.C.: A New Basis for the Weak Instance Model, in the Proceedings of Sixth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, 79-86, 1987
  • Atzeni P., Parker Jr. D.S.: Algorithms for Set Containment Inference, in the Proceedings of Workshop on Database Programming Languages, Roscoff, France, 164-181, 1987
  • Alessandro Bertuzzi, Gandolfi A., Lucidi S.: Constrained Cross-Validation Applied to Estimation of Kinetic Parameters of Cell Populations in Perturbed Growth, in the Proceedings of 13th IFIP Conference on System Modelling and Optimization, Tokyo, Yajima K., Iri M. eds., 1987
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987
  • Crollari S., Maceratini R., Pisanelli D.M., Maurizio Rafanelli: Rule-based knowledge base for pancreatic cancer diagnosis, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 1127-1131, 1987
  • D'Atri A., Di Felice P., Lakshmanan V.S., Moscarini M.: On Global Context Dependencies and their Properties, in the Proceedings of Mathematical Foundations of Data Base Systems, Lecture Notes in Computer Science, 305, Springer-Verlag Berlin, 1987
  • D'Atri A., Di Felice P., Moscarini M.: Dynamic Query Interpretation in Relational Databases, in the Proceedings of 6-th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, San Diego, CA, 25-35, 1987
  • Gambosi G., Nešetřil J., Talamo M.: Posets, Boolean Representations and Quick Path Searching, in the Proceedings of ICALP '87, 1987
  • Gambosi G., Nešetřil J., Talamo M.: Efficient Representation of Taxonomies, in the Proceedings of TAPSOFT '87, 1987
  • Kasangian S., Labella A., Alberto Pettorossi: Enriched Categories for Local and Interaction Calculi, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 57-70, 1987
  • Labella A., Alberto Pettorossi: Universal Models in Categories for Process Synchronization, in the Proceedings of Advanced School on Mathematical Models for the Semantics of Parallelism, Lecture Notes in Computer Science, 280, Springer-Verlag, 183-198, 1987
  • Michele Missikoff: MOKA: A User Friendly Front-End for Knowledge Acquisition, in the Proceedings of Minnowbrook Workshop on Database Machine and Artificial Intelligence, Berra B. ed., 1987
  • Alberto Pettorossi: Derivation of Programs which Traverse Their Input Data Only Once, in the Proceedings of Advanced School on Programming Methodologies, Cioni G., Salwicki A. eds., Academic Prees, 165-184, 1987
  • Alberto Pettorossi, Ras Z.W., Zemankova M.: On Learning with Two Imperfect Teachers, in the Proceedings of Expert Systems: Theory and Applications, IASTED Conference, 1987
  • Alberto Pettorossi, Skowron A.: Higher Order Generalization in Program Derivation, in the Proceedings of International Joint Conference on Theory and Practice of Software Development, Lecture Notes in Computer Science, 250, Springer-Verlag, 182-196, 1987
  • Alberto Pettorossi, Skowron A.: The Parallel Evaluation of Functional Programs, in the Proceedings of Advanced International Summer School and Conference on 'Mathematical Logic and Its Applications' in honor of the 80th anniversary of Kurt Gödel's birth, Skordev D.G. ed., Plenum Press, 149-165, 1987
  • Maurizio Proietti: Connections between Partial Maps Categories and Tripos Theory, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 254-269, 1987
  • Maurizio Rafanelli: An expert system for differential diagnosis in the pancreatic cancer, in the Proceedings of International Symposium on Applied Informatics, Grindelwald, Acta Press, 9-12, 1987
  • Maurizio Rafanelli: A graphical approach for statistical summaries: the GRASS model, in the Proceedings of International Symposium on ``Microcomputers and their applications'', Hamza M.H. ed., Acta Press Cairo, 78-81, 1987
  • Maurizio Rafanelli, Maceratini R., Crollari S.: An intelligent D.B.M.S. for managing medical record oriented to pancreatic diseases, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 523-528, 1987
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -