Istituto di Analisi dei Sistemi ed Informatica "Antonio Ruberti" (Publications)

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
Bertuzzi A., 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, Germani A.: 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, Germani A., Manes C.: 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., Rafanelli M., 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
Rafanelli M.: 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
Rafanelli M.: 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
Rafanelli M.: 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
Rafanelli M., 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