Pubblicazioni

Baronio, A.; Loli Piccolomini, E.; Zama, F., A method for solving the indirect approximation problem, «APPLIED MATHEMATICS AND COMPUTATION», 1996, 77, pp. 97 - 107 [Articolo in rivista]

Davoli, R.; Tamburini, F.; Giachini, L. -A., Scheduling data flow programs in hard real-time environments, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 1996, 1135, pp. 263 - 278 (atti di: 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996, swe, 1996) [Contributo in Atti di convegno]

Ciaccia P., Optimal multi-block read schedules for partitioned signature files, in: Advances in Database Technology — EDBT '96, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1057, pp. 241 - 255 (atti di: 5th international conference on Extending Data Base Technology, EDBT 1996, Avignon, France, March 1996) [Contributo in Atti di convegno]

Ciaccia P.; Tiberio P.; Zezula P., Declustering of Key-Based Partitioned Signature Files, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 1996, 21, pp. 295 - 338 [Articolo in rivista]

Ciaccia P.; Veronesi A., Dynamic declustering methods for parallel grid files, in: Parallel Computation, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1127, pp. 110 - 123 (atti di: 3rd International Austrian Center for Parallel Computation Conference with Special Emphasis on Parallel Databases and Parallel I/O, 1996, Klagenfurt, Austria, September 1996) [Contributo in Atti di convegno]

Succi G; Uhrik C, Towards a Complete Framework for Parallel Implementation of Logic Languages: The Data Parallel Implementation of SEL, «CONCURRENCY, PRACTICE AND EXPERIENCE», 1996, 8, pp. 191 - 204 [Articolo in rivista]

Succi G; Uhrik C; Ronchetti M, Reusability and Portability of Logic Programming, «JOURNAL OF PROGRAMMING LANGUAGES», 1996, 4, pp. 101 - 114 [Articolo in rivista]

Succi G; Baruchelli F, Analysing the Return of Investment of Reuse, «APPLIED COMPUTING REVIEW», 1996, 4, pp. 21 - 25 [Articolo in rivista]

Succi G; Festelli A; Uhrik C, Cobol to Object Oriented Cobol Migration as a Cobol Legacy System Re-engineering Approach, «INTERNATIONAL JOURNAL OF APPLIED SOFTWARE TECHNOLOGY», 1996, 2, pp. 237 - 247 [Articolo in rivista]

Succi G; Ronchetti M; Uhrik C; Baruchelli F; Cardino G; Valerio A, Il Riuso ed il Processo di Produzione del Software, «SINERGIE», 1996, 3, pp. 1 - 11 [Articolo in rivista]

Benedicenti L; Succi G; Valerio A; Vernazza T, Monitoring the Efficiency of a Reuse Program, «APPLIED COMPUTING REVIEW», 1996, 2, pp. 8 - 14 [Articolo in rivista]

Succi G; Valerio A; Vernazza T; Kovacs G, SSQL: a set based query language for distributed repository, «STUDIES IN INFORMATICS AND CONTROL», 1996, 5, pp. 23 - 40 [Articolo in rivista]

Jacucci G; Mambella E; Succi G; Uhrik C; Ronchetti M; Lo Surdo A; Doublait S; Valerio A, Reusable Artifact Library System as the Core of a Reuse Oriented Software Enterprise, in: Software Engineering for Manufacturing Systems, 1996, pp. 153 - 168 (atti di: Proceedings of IFIP Working Conference, Zakopane (Poland), 29-31 August 1996) [Contributo in Atti di convegno]

Ronchetti M; Succi G; Baruchelli F; Cardino G; Valerio A, Sarto: uno strumento per favorire l'introduzione della metodologia OO in azienda, in: Secondo meeting del 1996 dell'associazione TABOO Tecnologie Avanzate Basate sull'Object Oriented, 1996, pp. 1 - 4 (atti di: 2 meet. del 1996 dell'Ass. TABOO Tecnologie Avanzate Basate sull'Object Oriented, Palazzo degli Affari, Firenze, December) [Contributo in Atti di convegno]

Succi G; Baruchelli F; Ronchetti M, A Taxonomy for Identifying a Software Component from Uncertain and Partial Specification, in: Proceedings of the 1996 ACM Symposium on Applied Computing, 1996, pp. 570 - 579 (atti di: Proceedings of the 1996 ACM Symposium on Applied Computing, Philadelphia, Pennsylvania, USA, 1996) [Contributo in Atti di convegno]

Maio D.; Maltoni D.; Rizzi S., Dynamic clustering of maps in autonomous agents, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 1996, 18, pp. 1080 - 1091 [Articolo in rivista]

Maio D.; Rizzi S., A multi-agent approach to environment exploration, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 1996, 5, pp. 213 - 250 [Articolo in rivista]

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti, Logic Tuple Spaces for the Coordination of Heterogenous Agents, in: Frontiers of Combining Systems, Dordrecht, Kluwer Academic Publishers, «APPLIED LOGIC SERIES», 1996, 3, pp. 235 - 248 (atti di: 1st International Workshop (FroCoS'96), Munich, Germany, 26-29 March 1996) [Contributo in Atti di convegno]

Martini, S; Masini, A, A computational interpretation of modal proofs, in: Proof Theory of Modal Logic, DORDRECHT, KLUWER ACADEMIC PUBL, 1996, pp. 213 - 241 [Capitolo/Saggio in libro]