Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • Succi G; Ronchetti M; Uhrik C; Baruchelli F; Cardino G; Valerio A, Framework for Formal Representation of Code Evolution, in: Proceedings of the Tenth International Conference and Symposium on Computer and Information Sciences, 1995, pp. 525 - 532 (atti di: Proc. of the 10 Int. Conf. and Symposium on Computer and Information Sciences, Kusadasi, Turkey, November) [Contribution to conference proceedings]

  • Gorrieri R.; Roccetti M.; Stancampiano E., A theory of processes with durational actions, «THEORETICAL COMPUTER SCIENCE», 1995, 140, pp. 73 - 94 [Scientific article]

  • Roccetti M., Reliability analysis of tree‐based networks and its application to fault‐tolerant VLSI systems, «NETWORKS», 1995, 26, pp. 217 - 230 [Scientific article]

  • Corradini F.; Gorrieri R.; Roccetti M., Performance preorder: Ordering processes with respect to speed, 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», 1995, 969, pp. 444 - 453 (atti di: 20th International Symposium on Mathematical Foundations of Computer Science, MFCS 1995, cze, 1995) [Contribution to conference proceedings]

  • Maio D.; Rizzi S., CICERO: An assistant for planning visits to a museum, in: Proceedings 6th International Conference on Database and Expert Systems Applications, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 1995, 978, pp. 564 - 573 (atti di: 6th International Conference on Database and Expert Systems Applications, London, UK, September 4-8, 1995) [Contribution to conference proceedings]

  • Bellavia G.; Maio D.; Rizzi S., An SQL extension supporting user viewpoints, in: Proceedings 6th International Conference on Database and Expert Systems Applications, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 1995, 978, pp. 334 - 343 (atti di: 6th International Conference on Database and Expert Systems Applications, London, UK, September 4-8, 1995) [Contribution to conference proceedings]

  • Maio D.; Maltoni D.; Rizzi S., Topological clustering of maps using a genetic algorithm, «PATTERN RECOGNITION LETTERS», 1995, 16, pp. 89 - 96 [Scientific article]

  • D. Beneventano, S. Bergamaschi, S. Lodi, C. Sartori, Consistency Checking in Complex Object Database Schemata with Integrity Constraints, in: Database Programming Languages (DBPL-5) Proceedings of the Fifth International Workshop on Database Programming Languages, 1995, pp. 1 - 13 (atti di: Database Programming Languages (DBPL-5), Gubbio, 6-8 September 1995) [Contribution to conference proceedings]

  • Andrea Omicini, Enrico Denti, Antonio Natali, Agent coordination and control through logic theories, in: Topics in Artificial Intelligence, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 1995, 992, pp. 439 - 450 (atti di: 4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11-13 October 1995) [Contribution to conference proceedings]

  • Ciaccia P.; Maio D., On the optimal ordering of multiple-field tables, «DATA & KNOWLEDGE ENGINEERING», 1994, 14, pp. 27 - 44 [Scientific article]

  • Tick E; Succi G, Implementations of Logic Programming Systems, Dordrecht, Kluwer Academic Publishers, 1994, pp. 260 . [Editorship]

  • Succi G; Bergamini A; Dondina C, Structuring Sets in Declarative Languages, in: Proceedings of the Ninth International Conference and Symposium on Computer and Information Sciences, 1994, pp. 623 - 631 (atti di: Proc. of the 9 Int. Conf. and Symposium on Computer and Information Sciences, Antalya, Turkey, November) [Contribution to conference proceedings]

  • Marino G; Colla G; Succi G, A Declarative Approach to Connection Machine 2 Programming, in: Proceedings of the Ninth International Conference and Symposium on Computer and Information Sciences, 1994, pp. 632 - 642 (atti di: Proc. of the 9 Int. Conf. and Symposium on Computer and Information Sciences, Antalya, Turkey, November) [Contribution to conference proceedings]

  • SUCCI G; MARINO G.; BAUDINO A.; DURANTE A., The compilation of set-based logic languages for generic parallel machines, in: WLP, 1994, pp. 1 - 4 (atti di: Proceedings of the Tenth Logic Programming Workshop, Zurich, Switzerland, 5-7 October, 1994) [Contribution to conference proceedings]

  • Kovacs G; Jacucci G; Losurdo A; Mambella E; Ronchetti M; Succi G; Uhrik C; Cardino G, Application of an Object Repository as an Example of Cooperative Knowledge Processing, in: Cooperative Knowledge Processing for Engineering Design, 1994, pp. 145 - 160 (atti di: Proc. of the Third International Workshop of Cooperative Knowledge Processing, Deventer, The Netherlands, May) [Contribution to conference proceedings]

  • E. Tick; Succi G; Marino G; Bergamini A; Dondina C, Implementing Sets with Hash Tables in Declarative Languages, in: Implementations of Logic Programming Systems, Boston, Kluwer Academic Publishers, 1994, pp. 217 - 237 [Chapter or essay]

  • Bertossi A.A.; Bonuccelli M.A.; Roccetti M., Reconfigurable tree architectures for gracefully degradable vlsi systems, «JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING», 1994, 23, pp. 264 - 277 [Scientific article]

  • Panzieri Fabio; Roccetti Marco, Scalable architecture for reliable distributed multimedia applications, in: Proceedings - International Conference on Distributed Computing Systems, Piscataway, NJ, United States, IEEE, 1994, pp. 284 - 293 (atti di: Proceedings of the 1994 IEEE 14th International Conference on Distributed Computing Systems, Poznan, Pol,, 1994) [Contribution to conference proceedings]

  • Maio Dario; Rizzi Stefano, Hybrid approach to path planning in autonomous agents, in: Proceedings 2nd International Conference on Expert Systems for Development, Los Alamitos, CA, United States, IEEE, 1994, pp. 222 - 227 (atti di: 2nd International Conference on Expert Systems for Development, Bangkok, Thailand, March 28-31, 1994) [Contribution to conference proceedings]

  • Bergamaschi S.; Lodi S.; Sartori C., The E/S knowledge representation system, «DATA & KNOWLEDGE ENGINEERING», 1994, 14, pp. 81 - 115 [Scientific article]