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


1984  [top]
  • Atzeni P., Morfuni N.M.: Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values, in: Automata, Languages and Programming (Proc. of the 11th ICALP, Antwerp, Belgium, July 1984), Lecture Notes in Computer Science, 172, Springer-Verlag, 69-81, 1984
  • Ausiello G., Paola Bertolazzi: Parallel computation models: an Introduction, in the Proceedings of Algorithm design for computer sistem design, Springer-Verlag, 161-182, 1984
  • Ausiello G., D'Atri A., Moscarini M.: Minimal Coverings of Acyclic Database Schemata, in: Advances in Data Base Theory, vol. 2, Gallaire H., Minker J. eds., Plenum Press, 27-51, 1984
  • Bovet D.P., Gambosi G., Menasce D.A.: Detection and Removal of Deadlocks in Store and Forward Communication Networks, in the Proceedings of Performance of Computer - Communication Systems, 1984
  • D'Atri A., Moscarini M.: On the Recognition and Design of Acyclic Databases, in the Proceedings of Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Canada, Hanser Verlag, 1984
  • Di Pillo G., Grippo L.: A Class of Continuously Differentiable Exact Penalty Function Algorithms for Nonlinear Programming Problems, in: System Modelling and Optimization, Toft-Christensen P. ed., Springer-Verlag Berlin, 246-256, 1984
  • Alfredo Germani, Piccioni M.: Nonlinear filtering for Markov processes: an $L_2$ approach, Bensoussan A., Lions J.L. eds., Lecture Notes in Control and Information Sciences, 62, Springer-Verlag Berlin, 581-591, 1984
  • Alfredo Germani, Piccioni M.: A Galerkin approximation for the Zakai equation, Thoft-Christensen P. ed., Lecture Notes in Control and Information Sciences, 59, Springer-Verlag Berlin, 415-423, 1984
  • Lucertini M.: Models of the Task Assignment Problem in Distributed Systems, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: Two-commodity network design with multiple demand, in the Proceedings of 22nd Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1984
  • Lucertini M., Paletta G.: Network Design with Non-simultaneous Flows, in: Algorithm Design for Computer System Design, Ausiello G., Lucertini M., Serafini P. eds., Springer-Verlag New York, 1984
  • Lucertini M., Paletta G.: A Decomposition Method for Network Design with Multicommodity Non-simultaneous Flows, in: Graph Theoretic Concepts in Computer Science, Pape U. ed., Trauner, 1984
  • Lucidi S.: A Newton-type Algorithm for a Class of Distributed Parameter Optimal Control Problems, in: Methods and Applications of Measurement and Control, Tzafestas S.G., Hamza M.H. eds., 1984
  • Miola A.: An interactive system for manipulation of sums and series, in the Proceedings of International Conference in Artificial Intelligence, 1984
  • Miola A.: Complexity issues in algebraic algorithms, in the Proceedings of Mathematical Education, 1984
  • Alberto Pettorossi: An Algorithm for Saving Memory in Recursive Programs Using Destructive Annotations, in: Computer Program Synthesis Methodologies, Biermann , Guiho , Kodratoff eds., Macmillan Co. New York, 289-303, 1984
  • Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformation, in the Proceedings of ACM Symposium on Lisp and Functional Programming, ACM Press, 273-281, 1984
  • Maurizio Rafanelli, Ricci F.L.: Statistical database: an interactive language for logical schema definition by means of a model based on graphs, in the Proceedings of VI International Conference on Computational Statistics, COMPSTAT '84, Praga, Havranek T., Sidak Z., Novak M. eds., Physica-Verlag Wien, 279-284, 1984
  • Maurizio Rafanelli, Ricci F.L., Perucci C.: An Integrated System for the General Practitioner Choice Management, in the Proceedings of 5th Intern. Congr. Medical Informatics, MIE '84, Springer-Verlag, 552-557, 1984
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -