Pubblicazioni

McBurney Peter; Omicini Andrea, AgentLink III: The European Network for Agents is Back, «INTELLIGENZA ARTIFICIALE», 2004, 1(2), pp. 46 - 48 [Recensione in rivista]

Kamara Lloyd; Omicini Andrea; Petta Paolo, Quarto Workshop Internazionale “Engineering Societies in the Agents World” (ESAW 2003), «INTELLIGENZA ARTIFICIALE», 2004, 1(4), pp. 54 - 55 [Recensione in rivista]

Gleizes Marie-Pierre; Omicini Andrea; Zambonelli Franco, Preface, in: Engineering Societies in the Agents World V. 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, Heidelberg; Berlin; New York, Springer International Publishing, 2004, pp. V - VII (LECTURE NOTES IN COMPUTER SCIENCE) [Prefazione]

Omicini Andrea; Ossowski Sascha, Coordination and Collaboration Technologies, SINGAPORE, World Scientific Publishing, 2004, pp. 119 (International Journal of Cooperative Information Systems). [Monografia/Trattato scientifico in forma di libro]

L.Padovani; C.Sacerdoti Coen; S.Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in: GABOR KARSAI, EELCO VISSER, Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, s.l, Springer, 2004, 3286, pp. 469 - 487 [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio, Mathematical Libraries as Proof Assistant Environments, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 332 - 346 [Contributo in Atti di convegno]

SACERDOTI COEN, Claudio; Zacchiroli, Stefano, Efficient Ambiguous Parsing of Mathematical Formulae, in: ANDREA ASPERTI, GRZEGORZ BANCEREK, ANDRZEJ TRYBULEC, Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, s.l, Springer, 2004, 3119, pp. 347 - 362 [Contributo in Atti di convegno]

Marinelli, Paolo; SACERDOTI COEN, Claudio; Vitali, Fabio, SchemaPath, a Minimal Extension to XML Schema for Conditional Constraints, in: STUART I. FELDMAN, MIKE URETSKY, MARC NAJORK, CRAIG E. WILLS, Proceedings of the 13th International World Wide Web Conference (WWW2004), NEW YORK, ACM Press, 2004, pp. 164 - 174 [Contributo in Atti di convegno]

BABAOGLU O.; MONTRESOR A.; JELASITY M., A Modular Paradigm for Building Self-Organizing Peer-to-Peer Applications, in: Engineering Self-Organising Systems, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2977, pp. 265 - 282 (atti di: ESOA: International Workshop on Engineering Self-Organising Applications, Melbourne, Australia, Luglio 2003) [Contributo in Atti di convegno]

M.Viroli; A.Ricci, Instructions-Based Semantics of Agent Mediated Interaction, in: JENNINGS NICHOLAS R., SIERRA CARLES, SONENBERG LIZ, TAMBE MILIND, AAMAS 2004. 3rd international Joint Conference on Autonomous Agents and Multiagent Systems, NEW YORK, ACM, 2004, 1, pp. 102 - 110 (atti di: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), New York City, USA, July 19-23 2004) [Contributo in Atti di convegno]

Stefano Morini; Alessandro Ricci; Mirko Viroli, Integrating a MAS Coordination Infrastructure with Web Services, in: ZAKCRIA MAAMAR, CAVEDON LAWRENCE, DAVID MARTIN, BOUALEM BENATALLAH, KATIA SYCARA, AND TIM FININ, Workshop on Web Services and Agent-based Engineering (WSABE), NEW YORK, s.n, 2004(atti di: 3nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'2004), New York City, USA, July 19-23 2004) [Contributo in Atti di convegno]

Mirko Viroli, Verifying Properties of Coordination by Well-Structured Transition Systems, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 67 - 96 [Articolo in rivista]

M. Bravetti, Real Time and Stochastic Time, in: Formal Methods for the Design of Real-Time Systems, Revised Lectures, BERLIN, Springer, 2004, pp. 132 - 180 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Bravetti; P. R. D'Argenio, Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions, in: Validation of Stochastic Systems - A Guide to Current Research, BERLIN, Springer, 2004, pp. 44 - 88 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

M. Gaspari; D. Guidi; A. Petrucci; L. Picci, Johanna: A Knowledge Centered Infrastructure for Teleorganizations, in: eAdoption and the Knowledge Economy Issues, Applications, Case Studies, AMSTERDAM, IOS Press, 2004, 2, pp. 1069 - 1076 (atti di: E-Challenges 2004, Vienna, 27 - 29 October 2004) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: null, 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contributo in Atti di convegno]

M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2949, pp. 55 - 70 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contributo in Atti di convegno]

Denti E.; Ricci A.; Rubino R., Integrating and Orchestrating Services upon an Agent Coordination Infrastructure, in: Engineering Societies in the Agents World IV, Berlin Heidelberg, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3071, pp. 228 - 245 (atti di: 4th International Workshop (ESAW 2003), London, UK, October 29-21, 2003) [Contributo in Atti di convegno]

Denti E.; Prati N., Relevance of Winning Coalitions in Indirect Control of Corporations, «THEORY AND DECISION», 2004, 56, pp. 183 - 192 [Articolo in rivista]

C. Gebruers; B. Hnich; A. Guerri; M.Milano, Making Choices using Structure at the Instance Level within a Case Based Reasoning Framework, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3011, pp. 380 - 386 (atti di: Int.l Conference on the Integration of AO and OR techniques in Constraint Programming CPAIOR, Nizza Francia, Aprile 2004) [Contributo in Atti di convegno]