Pubblicazioni

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]

Ciaccia P.; Maio D., Access cost estimation for physical database design, «DATA & KNOWLEDGE ENGINEERING», 1993, 11, pp. 125 - 150 [Articolo in rivista]

Ciaccia P., Block Access Estimation for Clustered Data, «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING», 1993, 5, pp. 712 - 718 [Articolo in rivista]

Ciaccia P.; Zezula P., Estimating Accesses in Partitioned Signature File Organizations, «ACM TRANSACTIONS ON INFORMATION SYSTEMS», 1993, 11, pp. 133 - 142 [Articolo in rivista]

Succi, Giancarlo; Marino, Joy; Colla, Giancarlo, CM2 AS AN ACTIVE MEMORY TO IMPLEMENT DECLARATIVE LANGUAGES, «JOURNAL OF PROGRAMMING LANGUAGES», 1993, 1, pp. 127 - 142 [Articolo in rivista]

Ciaccia P.; Maio D., On the complexity of finding bounds for projection cardinalities in relational databases, «INFORMATION SYSTEMS», 1992, 17, pp. 511 - 515 [Articolo in rivista]

Ciaccia P.; Maio D.; Vacca G.P., An analytical short- and long-term memory model of presynaptic plasticity, «BIOLOGICAL CYBERNETICS», 1992, 67, pp. 335 - 345 [Articolo in rivista]

Maio D.; Rizzi S., Clustering by discovery on maps, «PATTERN RECOGNITION LETTERS», 1992, 13, pp. 89 - 94 [Articolo in rivista]

Carrara A.; Frontero P.; Maio D.; Rizzi S., An integrated system for forecasting Arno River flash floods, «NATURAL HAZARDS», 1992, 5, pp. 179 - 197 [Articolo in rivista]

SPADA G.; D. A. YUEN; R. SABADINI; P.J. MORIN; P. GASPERINI, A computer-aided, algebraic approach to the post-glacial rebound problem, «THE MATHEMATICA JOURNAL», 1990, 1, pp. 65 - 69 [Articolo in rivista]

Ciaccia P.; Scalas M.R., Optimization Strategies for Relational Disjunctive Queries, «IEEE TRANSACTIONS ON SOFTWARE ENGINEERING», 1989, 15, pp. 1217 - 1235 [Articolo in rivista]

Ciaccia P.; Maio D.; Tiberio P., A method for hierarchy processing in relational systems, «INFORMATION SYSTEMS», 1989, 14, pp. 93 - 105 [Articolo in rivista]

Fantechi A.; Gnesi S.; Laneve C., Two standards means problems: A case study on formal protocol descriptions, «COMPUTER STANDARDS & INTERFACES», 1989, 9, pp. 11 - 19 [Articolo in rivista]

Ciaccia P.; Maio D.; Tiberio P., A unifying approach to evaluating block accesses in database organizations, «INFORMATION PROCESSING LETTERS», 1988, 28, pp. 253 - 257 [Articolo in rivista]

Martini S., Bounded quantifiers have Interval Models, in: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Association for Computing Machinery, Inc, 1988, pp. 164 - 173 (atti di: 1988 ACM Conference on LISP and Functional Programming, LFP 1988, usa, 1988) [Contributo in Atti di convegno]

MARTINI, S, AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS, in: Category theory and Computer Science, 175 FIFTH AVE, NEW YORK, NY 10010, SPRINGER VERLAG, «LECTURE NOTES IN COMPUTER SCIENCE», 1987, 283, pp. 219 - 237 (atti di: Conference on Category theory and Computer Science, Edinburgo, 1987) [Contributo in Atti di convegno]