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


1997  [top]
  • Becchetti L., Carlo Gaibisso: Lower Bounds for the Virtual Path Layout Problem in ATM Networks, in: Proceedings of SOFSEM '97: Theory and Practice of Informatics, Milovy, Repubblica Ceca, 22-29 novembre 1997., Jeffrey K.G., Plášil F. eds., Lecture Notes in Computer Science, 1338, Springer-Verlag, 375-382, 1997
  • Paola Bertolazzi, Di Battista G., Didimo W.: Computing Orthogonal Drawings with the Minimum Number of Bends, in the Proceedings of Proceedings WADS'97, Lecture Notes in Computer Science, 1272, Springer-Verlag, 1997
  • Bertoli P., Cioni G., Colagrossi A., Terlizzi P.: A Sequent Calculus Machine for Symbolic Computation Systems, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 217-229, 1997
  • Alessandro Bertuzzi, Gandolfi A.: Some results on the determination of cell kinetic parameters from DNA-BrdUrd measurements, in the Proceedings of La Matematica nei Problemi dell'Ambiente, della Biologia e della Medicina, Beretta E. ed., Studi Urbinati, Serie A, Anno I, 169-179, 1997
  • Bianco L., Campisi D.: Sistemi convenzionali, intermodalità e sviluppo sostenibile: una valutazione economica delle possibilità di riconversione del trasporto merci in Italia, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Bianco L., Confessore G., Reverberi P.: A Combinatorial Optimization Approach to Locate Traffic Counting Points in a Transport Network, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 283-288, 1997
  • Bianco L., Dell'Olmo P., Giordani S.: Models and Algorithms for Real-Time Control of Aircraft Landing, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 289-294, 1997
  • Bianco L., Dell'Olmo P., Giordani S.: Scheduling Models and Algorithms for TMA Traffic Management, in: Modelling and Simulation in Air Traffic Management, Bianco L., others eds., Transportation Analysis, Springer-Verlag, 139-167, 1997
  • Bielli M., Carotenuto P.: Network design models in transportation service planning and management, in the Proceedings of EURO Conference, 1997
  • Bielli M., Carotenuto P.: Genetic algorithms in his network design, in the Proceedings of EURO Conference, 1997
  • Bielli M., Carotenuto P., Ambrosino G., Romanazzo M., Sassoli P.: A modelling framework for impact assessment of urban transportation systems, in the Proceedings of Proceedings IFAC Conference on Transportation Systems, 989-993, 1997
  • Bielli M., Carotenuto P., Delle Site V.: Advanced research on transportation-environment interactions, in the Proceedings of Proceedings IFAC Conference on Transportation Systems, 981-987, 1997
  • Bielli M., Carotenuto P., Delle Site V., Gentile C.: Application of technology forecasting methods to transportation systems, in the Proceedings of EURO Meeting, Working Group on Transportation, 1997
  • Brewer D.D., Giovanni Rinaldi, Mogoutov A., Valente T.W.: Improved measurement of and new data on associative patterns in the recall of persons, in the Proceedings of 17th International Sunbelt Social Network Conference, 1997
  • Campisi D., Mancuso P., La Bella A., Nastasi A.: Firms R\&D Investments, innovation and market shares, in: Innovative behavior in space and time, Bertuglia C.S., Lombardo S., Nijkamp P. eds., 501, Springer-Verlag, 79-97, 1997
  • Francesco Carravetta, Alfredo Germani: Suboptimal Solutions For the Cubic Sensor Problem, in the Proceedings of CDC'97, 36-th IEEE Conference on Decision and Control, 4460-4461, 1997
  • Francesco Carravetta, Alfredo Germani, Costanzo Manes: On the Relationship Between Open-loop and Closed-loop State estimation for Nonlinear Stochastic Systems, in the Proceedings of IFAC/IEEE International Symposium on Artificial Intelligence in Real-Time Control, 504-509, 1997
  • Ceria S., Nobili P., Sassano A.: Set Covering Problem, in: Annotated Bibliographies in Combinatorial Optimization, Dell'Amico M., Maffioli F., Martello S. eds., John Wiley and Sons, Inc., 415-428, 1997
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Influence of TPN amino acid composition on plasma taurine in sepsis, in the Proceedings of Proceedings 4th International Congress on The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E. ed., Monduzzi Bologna, 653-657, 1997
  • Cioni G., Colagrossi A., Miola A.: Deduction and Abduction using a Sequent Calculus, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 198-216, 1997
  • Cioni G., Colagrossi A., Temperini M.: An environment for supporting the learning of abstract algebra, in the Proceedings of Software Quality Engineering, Udine, Italy, Tasso C., Adey R.A., Pighin M. eds., Computational Mechanics Publication, Southampton -- Boston , 15-26, 1997
  • Cioni G., Patrizi G., Temperini M.: Automated Deduction by Connection Method in an Object Oriented Environment, in: Advanced in the Design of Symbolic Computation Systems, Miola A., Temperini M. eds., Springer-Verlag, 230-244, 1997
  • Coppa F., Nardelli E., Talamo M.: A Formal Model for the Discrete Representation of Spatial Objects, in the Proceedings of 12th {ACM} Annual Symposium on Applied Computing {(SAC'97)}: Special Track on {D}atabase {T}echnology, Bryant B., others eds., 144-151, 1997
  • Damiani E., Anna Formica, Fugini M.G., Michele Missikoff, Pizzicannella R.: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach, in the Proceedings of First European Symposium on Advances in Databases and Information Systems, St. Petersburg (Russia), 406-415, 1997
  • Dell'Olmo P., Giordani S., Speranza M.G.: Graph Models for a Duo-Processor Task Scheduling Problem, in: Operations Research Proceedings 1996, Zimmermann U., others eds., Springer-Verlag, 186-191, 1997
  • Draoli M., Carlo Gaibisso, Lancia M., Mastromartino E.A.: Satisfying High Quality Requirements of Videoconferencing on a Packet Switched Network, in the Proceedings of Proceedings of INET '97, Annual Meeting of the Internet Society, Kuala Lumpur, Malesia, 25-27 giugno 1997., 1997
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: Un sistema di progettazione di una Rete di Controllo Distribuito del traffico, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Flammini M., Nardelli E., Guido Proietti: ATM Layouts with Bounded Hop Count and Congestion, in the Proceedings of 11th International Workshop on Distributed Algorithms {(WDAG'97)}, Mavronicolas M., Tsigas P. eds., Lecture Notes in Computer Science, 1320, Springer-Verlag Saarbrücken, Germany, 52 - 65, 1997
  • Anna Formica, Michele Missikoff: A Formal Approach to the Design of Business Agents, in the Proceedings of 4th ModelAge Workshop on Formal Models of Agents, Cesta A., Schobbens P.Y. eds., 299-314, 1997
  • Carlo Gaibisso, Guido Proietti: Efficient Insertion of Approximately Sorted Sequences of Items into a Dictionary, in: Proceedings of SOFSEM'97: Theory and Practice of Informatics, Milovy, Repubblica Ceca, 22-29 novembre 1997, Jeffrey K.G., Plášil F. eds., Lecture Notes in Computer Science, 1338, Springer-Verlag, 399-406, 1997
  • Ivo Giovannini, Nuzzo G., Boldrini G., Carlo Chiarla, Giuliante F., Lemmo G., Vellone M., Tebala G.D.: Hepatectomy and plasma cholinesterase evolution, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 179-182, 1997
  • Jünger M., Reinelt G., Giovanni Rinaldi: The Traveling Salesman Problem, in: Annotated Bibliographies in Combinatorial Optimization, Dell'Amico M., Maffioli F., Martello S. eds., John Wiley and Sons, Inc., 199-221, 1997
  • Jünger M., Giovanni Rinaldi: Relaxations of the Max Cut Problem and Computation of Spin Glass Ground States, in the Proceedings of SOR'97, Lorenz A.-W., Kischka P. eds., Operations Research Proceedings, 1997
  • Lampariello F.: The Effect of Sample-to-sample Variation on the Estimation of Cellular Positivity from Immunofluorescence Test Histograms, in the Proceedings of 14a Riunione Nazionale di Citometria, Riccione, 1997, European Journal of Histochemistry, 41/suppl. 2, Brando B., De Vita R., Mazzini G. eds., 113-114, 1997
  • Maceratini R., Maurizio Rafanelli, Ricci F.L.: Hepatocellular carcinoma: the Virtual Hospitalisation in Day-Hospital, in the Proceedings of 14th International Conference on Medical Informatics Europe, MIE'97, Pappas C., Maglaveras N., Scherrer J.R. eds., IOS press Porto Carras (Grecia), 206-210, 1997
  • Michele Missikoff: An Object-Oriented Approach to an Information and Decision Support System for Railway Traffic Control, in the Proceedings of Proceeding of KES Conference, Jain L.C. ed., IEEE Adelaide (Australia), 633-641, 1997
  • Michele Missikoff: Un Approccio Object-Oriented alla integrazione di un sistema informativo e di supporto al Controllo del Traffico Ferroviario, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Nuzzo G., Ivo Giovannini, Boldrini G., Carlo Chiarla, Giuliante F., Lemmo G., Tebala G.D., Vellone M.: Hypophosphatemia (Hypo-P) after liver resections, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 219-222, 1997
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Lemmo G., Tebala G.D., Vellone M.: Low cholesterol and outcome after hepatectomy, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 223-227, 1997
  • Alberto Pettorossi, Maurizio Proietti: Future Directions in Program Transformation, in the Proceedings of Workshop on Strategic Directions in Computing Research, MIT, Cambridge, USA, SIGPLAN Notices, 32/1, ACM Press, 99-102, 1997
  • Alberto Pettorossi, Maurizio Proietti: Program Derivation via List Introduction, in the Proceedings of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, Bird R., Meertens L.G.L.T. eds., Chapman \& Hall, 296-323, 1997
  • Alberto Pettorossi, Maurizio Proietti: Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization, in the Proceedings of 2nd ACM SIGPLAN Workshop on Continuations, ENS, Paris, France, Danvy O. ed., BRICS Notes Series, N6-93-13, 1997
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, 6th International Workshop, Stockholm, Sweden, Gallagher J. ed., Lecture Notes in Computer Science, 1207, Springer-Verlag, 147-168, 1997
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Reducing Nondeterminism while Specializing Logic Programs, in the Proceedings of 24th ACM Symposium on Principles of Programming Languages, La Sorbonne, Paris, France, SIGPLAN Notices, 1997
  • Maurizio Rafanelli: A system for the evaluation of urban pollution using a G.I.S., in the Proceedings of First International Conference on GIS-GPS, Istanbul (Turchia), 1997
  • Maurizio Rafanelli: Using a GIS for Prevention from Hydrogeological Disasters: the Italian Case of the Floods, in the Proceedings of Joint European Conference on Geographic Information, Vienna (Austria), Hodgons S., Rumor M., Harts J.J. eds., IOS press, 545-555, 1997
  • Maurizio Rafanelli: Una interfaccia grafica per la creazione di un database object-oriented per la definizione e memorizzazione di dati sul trasporto, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Maurizio Rafanelli, Ricci F.L., Maceratini R.: Virtual Hospitalisation in Day-Hospital: the Hepatocellular Carcinoma case study, in the Proceedings of INFO'97---Congreso Internacional de Information, Instituto de Informacion Cientifica y Tecnologica La Habana, Cuba, 1-8, 1997
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -