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


1981  [top]
  • Batini C., D'Atri A., Moscarini M.: Formal Tools for Top-down and Bottom-up Generation of Acyclic Relational Schemata, in the Proceedings of 7th International Conference on Graph-theoretic Concepts in Computer Science, Hanser Verlag, 219-229, 1981
  • Paola Bertolazzi, Lucertini M.: Task assignment in a multiprocessor system: a mathematical model, in the Proceedings of VIII Congresso IFAC, Pergamon Press, 1643-1647, 1981
  • Bianco L., Ricciardelli S.: Automated aircraft management in the near terminal area, in: Scientific Management on Transport Systems, North-Holland, 1981
  • Cioni G., Miola A., Truffi A.: Moving software systems to a minicomputer, in the Proceedings of Computing Environment for Mathematical Software, 1981
  • Di Pillo G., Grippo L., Lampariello F.: A Class of Methods for the Solution of Optimization Problems with Inequalities, in: System Modelling and Optimization, Drenick R.F., Kozin K. eds., Springer-Verlag Berlin, 508-518, 1981
  • Ferrari V., Giulianelli S., Lucertini M.: Additional Constraints in the Group Theoretical Approach to Integer Programming, in: Analysis and design of algorithms in Combinatorial Optimization, Ausiello G., Lucertini M. eds., Springer-Verlag New York, 1981
  • Alfredo Germani: Polynomial approximation and nonlinear white noise integral, in the Proceedings of Proceedings of 20th IEEE on Decision and Control, 793-797, 1981
  • Michele Missikoff: A Method for Data Pool Implementation for Parallel Associative Processing, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: The logical Architecture of DBMAC, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: DBMAC: a Project for a Relational Database Machine, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: An Overview of the Project DBMAC for a Relational Data Base Machine, in the Proceedings of Proc. of 6th ACM Workshop on Comp. Architecture for Non Numeric Processing, 1981
  • Alberto Pettorossi: Comparing and Putting Together Recursive Path Orderings, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems, in the Proceedings of ICALP '81, Lecture Notes in Computer Science, 115, Springer-Verlag, 432-447, 1981
  • Alberto Pettorossi: An Approach to Communications and Parallelism in Applicative Languages, in the Proceedings of International Colloquium on Formalization of Programming Concepts, Diaz J., Ramos I. eds., Lecture Notes in Computer Science, 107, Springer-Verlag, 432-446, 1981
  • Maurizio Rafanelli, Ricci F.L., Mirizio V.: A DBMS for an epidemiological research about mental diseases and relative hospitalization, in the Proceedings of 3rd Intern. Congr. Medical Informatics, MIE '81, Springer-Verlag, 715-723, 1981
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -