Pubblicazioni

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]

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]

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]

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]

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]

Ciancarini, Paolo, Coordination languages for open system design, in: International Conference on Computer Languages, Los Alamitos, CA, United States, IEEE, 1990, pp. 252 - 260 (atti di: 1990 International Conference on Computer Languages, New Orleans, LA, USA,, 1990) [Contributo in Atti di convegno]

Ambriola, V.; Ciancarini, P.; Montangero, C., Software processes as a hierarchy of services in the Oikos meta environment, in: Proceedings of the 6th International Software Process Workshop - 'Support for the Software Process', 1990, pp. 57 - 60 (atti di: Proceedings of the 6th International Software Process Workshop - 'Support for the Software Process', Hakodate, Japan, 1990) [Contributo in Atti di convegno]

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]