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., Maurizio Rafanelli, 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., Maurizio Rafanelli, 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., Maurizio Rafanelli, 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, Alfredo Germani, 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., Maurizio Rafanelli: 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., Elaheh Pourabbas, Maurizio Rafanelli, 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, Proietti G., 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, Proietti G., 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 Alfredo Germani, Manes C.: A simple observer controller scheme for robot trajectory tracking, in the Proceedings of IASTED---International Conference on Robotics and Manufacturing, Honolulu, 1996 Gui D., 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., Proietti G.: 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., Proietti G., 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 Missikoff M., 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., Gui D., Crucitti F.: Prognosis of intrabdominal infections. Multivariate analysis of 604 patients, Archives of Surgery 131, 641-645 IF 2, 1996 Pettorossi A., 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 Pettorossi A., 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 Pettorossi A., Maurizio Proietti: Rules and Strategies for Transforming Functional and Logic Programs, ACM Computing Surveys 28 (2), 360-414, 1996 Pettorossi A., Maurizio Proietti: Developing Correct and Efficient Logic Programs by Transformation, Knowledge Engineering Review 11 (4), 347-360, 1996 Pettorossi A., 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 Pettorossi A., 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 Elaheh Pourabbas, Maurizio Rafanelli: 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 Elaheh Pourabbas, Maurizio Rafanelli: 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 Proietti G.: The MOF+-tree: A Space Efficient Representation of Images Containing Multiple Overlapping Features, Journal of Computing and Information 2, 42-56, 1996 Maurizio Rafanelli, 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 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -