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

1996  [top]
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 218-229, 1996
  • Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model to describe and to represent aggregate data, in the Proceedings of International Conference on Computational Statistics---COMPSTAT'96, Prat A. ed., 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A system for the management of aggregate data, in the Proceedings of 7th International Conference on Database and Expert Systems Applications---DEXA'96, Wagner R.R., Thoma H. eds., Lecture Notes in Computer Science, 1134, Springer-Verlag, 531-543, 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A data structure for representing aggregate data, in the Proceedings of 8th International Conference on Scientific and Statistical Database Management - SSDBM'96, French J.C., Svensson P. eds., 1996
  • Bianco L., Confessore G., Reverberi P.: A combinatoirial optimization approach to locate traffic counting points in a transport network, in the Proceedings of SOR '96, Germany, 1996
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria evaluation model of public transport networks, in the Proceedings of Advanced Methods in Transportation Analysis,, Springer-Verlag, 135-156, 1996
  • Campisi D., Gastaldi M., Schachter G., Schachter L.: The impact of redirection of transfers to the Italian South on output and employment to 2000, Systems Analysis Modelling Simulation 23, 275-295, 1996
  • Campisi D., La Bella A., Mancuso P., Nastasi A.: Firms R\&D Investments, innovation and market shares (Chapter 5), in the Proceedings of Innovative behaviour in space and time, Springer-Verlag, 79-97, 1996
  • Campisi D., Mancuso P., Nastasi A.: Cost reduction, competitive pressure and firms optimal R\&D strategies in a dupolistic industry, Review of Industrial Organization 12, 1-12, 1996
  • Campisi D., Mancuso P., Nastasi A.: Dynamic R and D competion and Market sharing, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 127-135, 1996
  • Campisi D., Nastasi A., Reverberi P.: Market entry decision strategies under incomplete information, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 136-145, 1996
  • Campisi D., Nastasi A., Reverberi P.: Evaluating Market Profitability Through Bayesian Belief Networks, in the Proceedings of ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 173-177, 1996
  • Francesco Carravetta, Germani A., Raimondi M.: Polynomial Filtering for Linear Discrete-Time Non-Gaussian Systems, SIAM Journal on Control and Optimization 34, 1666-1690, 1996
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Relationships of plasma arginine (ARG) and glutamine (GLN) to other amino acids (AA) in septic patients, in: The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E., Baue A.E., Schildberg F.W. eds., Pabst Science Publishers Lengerich (D), 933-938, 1996
  • Chopra S., Giovanni Rinaldi: The graphical asymmetric traveling salesman polyhedron: Symmetric inequalities, SIAM Journal on Discrete Mathematics 9, 602-624, 1996
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advances in Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1996
  • Citterio F., Serino F., Pozzetto U., Fioravanti G., Caizzi M.P., Castagneto M.: Verapamil Improves Sandimmune Immunosuppression Reducing Acute Rejection Episodes, Transplantation Proceedings 28, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: A Simulation Model for International Telecommunication System, in the Proceedings of Internatianal Conference. Simulation in industry 1996. ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 518-522, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: Vertical cooperation in high technology sectors: the military industry, in the Proceedings of International Conference on Management and New Technologies Madrid, Fondation Cotec, Madrid, 223-230, 1996
  • D'Angelo A., Gastaldi M., Levialdi N.: Dynamic analysis of the performance of a Flexible Manufacturing Systems: a real case application., Computer Integrated Manufacturing Systems 9, 101-110, 1996
  • De Simone C.: A Note on the Boolean Quadric Polytope, Operations Research Letters 19, 115-116, 1996
  • De Simone C., Diehl M., Jünger M., Mutzel P., Reinelt G., Giovanni Rinaldi: Exact ground states of $2D \pm J$ Ising spin glasses, Journal of Statistical Physics 84, 1363-1371, 1996
  • Di Loreto F., Ferri F., Massari F., Rafanelli M.: A pictorial query language for geographical information systems, in the Proceedings of 4th International Conference on Advanced Visual Interfaces---AVI'96, Catarci T., Costabile M.F., Levialdi S., Santucci G. eds., ACM Gubbio, 233-244, 1996
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: FasTraC: A Decentralized Traffic Control System Based on Logic Programming, in the Proceedings of Proceedings of the 13th International Conference on Automated Deduction ({CADE}-13), McRobbie M.A., Slaney J.K. eds., Lecture Notes in Computer Science, 1104, Springer-Verlag, 216-220, 1996
  • Ferri F., Pourabbas E., Rafanelli M., Sindoni G.: Planning health resource allocation using a geographic information system, in the Proceedings of 1st International Conference on Geographic Information Systems in Urban, Regional and Environmental Planning, Sellis T., Georgoulis D. eds., 11-29, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: An Output Sensitive Solution to the Set Union and Intersection Problem, in the Proceedings of Proceedings of "SOFSEM '96: Theory and Practice of Informatics", Milovy, Repubblica Ceca, 23-30 novembre 1996., Kral J., Jeffery K., Bartosek M. eds., Lecture Notes in Computer Science, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: Incremental Constraints Maintenance in Concurrent Logic Programming, in the Proceedings of Proceedings of ISCIS XI, 11-th Iternational Symposium on Computer and Information Sciences, Antalya, Turchia, 6-8 novembre 1996, 1996
  • Anna Galluccio, Loebl M.: Cycles of prescribed modularity in planar digraphs, Journal of Algorithms 21, 50-71, 1996
  • Gastaldi M., Pradayrol J.P., Quinet E., Rega M.: Valuation of environmental externalities: from theory to decision-making., Transportation Planning and Technology 19, 207-219, 1996
  • Germani A., Manes C.: A simple observer controller scheme for robot trajectory tracking, in the Proceedings of IASTED---International Conference on Robotics and Manufacturing, Honolulu, 1996
  • Daniele Gui, Spada P.L., De Gaetano A.: Hypocholesterolemia and risk of death in the critically-ill surgical patients, Intensive Care Medicine 22, 790-794, 1996
  • Justin J., Pirillo G.: On a combinatorial property of Sturmian words, Theoretical Computer Science 154 (2), 387-394, 1996
  • Manolopoulos Y., Nardelli E., Papadopoulos A., Guido Proietti: QR-tree: a Hybrid Spatial Data Structure, in the Proceedings of Int. Conference on GIS in Urban, Environmental and Regional Planning, 247-259, 1996
  • Manolopoulos Y., Nardelli E., Guido Proietti, Vassilakopoulos M.: On the Creation of Quadtrees by Using a Branching Process, Image Vision and Computing, Image and Vision Computing 14, 159-164, 1996
  • Marini A., Pirillo G.: Signs on group Latin squares, Advances in Applied Mathematics 17 (2), 117-121, 1996
  • Mingrone G., De Gaetano A., Greco A.V., Benedetti G., Capristo E., Castagneto M., Gasbarrini G.: Plasma clearance and oxidation of dodecanedioic acid in humans, Journal of Parenteral and Enteral Nutrition 20 (1), 38-42, 1996
  • Michele Missikoff, Pizzicannella R.: A Visual Approach to Object-Oriented Analysis based on Abstract Diagrams, ACM SIGCHI 8 (3), 56-64, 1996
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Tebala G.D., Vellone M.: Patterns of recovery after liver resection, in the Proceedings of Proceedings of the Second World Congress of Hepato-Pancreato-Biliary Association, Cavallari A., Mazziotti A., Principe A. eds., Monduzzi Bologna, 1996
  • Nuzzo G., Giuliante F., Ivo Giovannini, Tebala G.D., De Cosmo G.: Hepatic resections in normothermic ischemia, Surgery 120, 852-858, 1996
  • Nuzzo G., Lemmo G., Marrocco M., Boldrini G., Ivo Giovannini: Retroperitoneal cystic lymphangioma, Journal of Surgical Oncology 61, 234-237, 1996
  • Pacelli F., Doglietto G.B., Alfieri M., Piccioni S., Spadari G., Daniele Gui, Crucitti F.: Prognosis of intrabdominal infections. Multivariate analysis of 604 patients, Archives of Surgery 131, 641-645 IF 2, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996
  • Alberto Pettorossi, Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, Proceedings LOPSTR '96, Stockholm, Sweden., Gallagher J. ed., 101-112, 1996
  • Pirillo G.: On semigroups having the $\omega$-iteration property, Le Matematiche 51, 183-187 (199, 1996
  • Pirillo G.: A proof of Shirshov's theorem, Advances in Mathematics 124 (1), 94-99, 1996
  • Pirillo G., Varricchio S.: Some combinatorial properties of infinite words and applications to semigroup theory, in the Proceedings of Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993), 153 (1-3), 239-251, 1996
  • Pourabbas E., Rafanelli M.: An object-oriented epidemiological data modeling system, in the Proceedings of 10th North-Baltic Conference on Biomedical Engineering, Malmivuo J. ed., IFMBE Tampere, 409-410, 1996
  • Pourabbas E., Rafanelli M.: A system for the management of epidemiological data, in the Proceedings of 13th International Conference on Medical Informatics Europe---MIE'96, Nordmann H., Sillesen H. eds., 422-427, 1996
  • Pozzetto U., Serino F., Citterio F., Fioravanti G., Maggiano N., Evangelisti A., Rumi C., Puggioni P.L., Castagneto M.: Sandoglobulin(r) Contains Xenoreactive Antibodies Which bind to Pig Cell Target Competing with Cytotoxic Xenoantibodies, Intravenous Immunoglobulin Research and Therapy, Switzerland, 1996
  • Guido Proietti: The MOF+-tree: A Space Efficient Representation of Images Containing Multiple Overlapping Features, Journal of Computing and Information 2, 42-56, 1996
  • Rafanelli M., Bezenchek A., Tininini L.: The aggregate data problem: a system for their definition and management, Sigmod Record 25, 5-10, 1996
  • Rieger H., Santen L., Blasum U., Diehl M., Jünger M., Giovanni Rinaldi: The critical exponents of the two-dimensional Ising spin glass revisited: Exact Ground State Calculations and Monte Carlo Simulations, Journal of Physics A-Mathematical and General 29, 3939-3950, 1996
  • Serino F., Pozzetto U., Citterio F., Maggiano N., Evangelisti A., Balestra R., Perilli W., Sollazzi L., Castagneto M.: Active Antigen Shielding by Administration of Sandoglobulin(r) to the Donor in Pig -to-Human Xenotransplantation, Intravenous Immunoglobulin Research and Therapy, Switzerland, 1996
  • Steenland K., Deddens J., Salvan A., Stayner L.: Negative bias in exposure-response trends in occupational studies - Modeling the healthy worker survivor effect, American Journal of Epidemiology 143, 202-210, 1996
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -