Pubblicazioni

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]

Zama F.; Loli Piccolomini E., An experiment in image restoration using transputer networks, «PARALLEL ALGORITHMS AND APPLICATIONS», 1995, 5, pp. 283 - 292 [Articolo in rivista]

Davoli Renzo; Tamburini Fabio; Giachini Luigi-Alberto; Fiumana Franca, Schedulability checking in real-time systems using neural networks, «JOURNAL OF ARTIFICIAL NEURAL NETWORKS», 1995, 2, pp. 421 - 430 [Articolo in rivista]

Zezula P.; Ciaccia P.; Tiberio P., Key-Based Partitioned Bit-Sliced Signature File, «SIGIR FORUM», 1995, 29, pp. 20 - 34 [Articolo in rivista]

Ciaccia P.; Maio D., Domains and Active Domains: What This Distinction Implies for the Estimation of Projection Sizes in Relational Databases, «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING», 1995, 7, pp. 641 - 655 [Articolo in rivista]

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

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

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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

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 [Articolo in rivista]

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) [Contributo in Atti di convegno]

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) [Contributo in Atti di convegno]

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

Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini, A Multi-Agent Framework and Programming Environment for Autonomous Robotics, in: Proceedings of the 1994 IEEE International Conference on Robotics and Automation (ICRA'94), LOS ALAMITOS, CA, IEEE Computer Society Press, «PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION», 1994, 4, pp. 3501 - 3507 (atti di: 1994 IEEE International Conference on Robotics and Automation (ICRA'94), San Diego, CA, USA, 8–13 May 1994) [Contributo in Atti di convegno]

Enrico Denti, Antonio Natali, Andrea Omicini, Moving Prolog Toward Objects, in: Implementations of Logic Programming Systems, NORWELL, MA, KLUWER ACADEMIC PUBLISHERS, 1994, pp. 89 - 101 [Capitolo/Saggio in libro]