Pubblicazioni

Carbonaro Antonella; Zingaretti Primo, Landmark matching in a varying environment, in: Proceedings of the Euromicro Workshop on Advanced Mobile Robots, EUROBOT, Los Alamitos, CA, United States, IEEE Comp Soc, 1997, pp. 147 - 153 (atti di: Proceedings of the 1997 2nd Euromicro Workshop on Advanced Mobile Robots, EUROBOT, Brescia, Italy,, 1997) [Contributo in Atti di convegno]

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]

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]

Ciancarini, P.; Cimato, S., Animating a non-executable formal specification with a distributed symbolic language, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1128, pp. 200 - 201 (atti di: 4th International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996, Germania, 1996) [Contributo in Atti di convegno]

Sterling, L.; Ciancarini, P.; Turnidge, T., On the animation of "Not executable" specifications by Prolog, «INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING», 1996, 6, pp. 63 - 87 [Articolo in rivista]

Ciancarini, P.; Tolksdorf, R.; Vitali, F., Weaving the web using coordination, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1061, pp. 411 - 415 (atti di: 1st International Conference on Coordination Models and Languages, COORDINATION 1996, Cesena, Italia, 1996) [Contributo in Atti di convegno]

Castellani, Stefania; Ciancarini, Paolo, Enhancing coordination and modularity mechanisms for a language with objects-as-multisets, in: First International Conference on Coordination Languages and Models COORDINATION, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1061, pp. 89 - 106 (atti di: 1st International Conference on Coordination Models and Languages, COORDINATION 1996, Cesena, Italia, 1996) [Contributo in Atti di convegno]

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]