Publications

A. Bevilacqua; L. Di Stefano; A. Lanza, An Efficient Change Detection Algorithm Based on a Statistical Non-Parametric Camera Noise Model, in: MENG-HWA, A. KOT, Proceedings of the IEEE International Conference on Image Processing (ICIP 2004), s.l, s.n, 2004, pp. 2347 - 2350 (atti di: The IEEE International Conference on Image Processing (ICIP 2004), Singapore, 2004) [Contribution to conference proceedings]

F. Grandi; F. Mandreoli; M.R. Scalas; P. Tiberio, Management of the Citizen's Digital Identity and Access to Multi-version Norm Texts on the Semantic Web, in: V. MILUTINOVIC, IPSI-2004 Pescara, Proceedings of the International Symposium on Challenges in the Internet and Interdisciplinary, Pescara, Italy July 28 - Aug 2, 2004, BELGRADO, IPSI, 2004 [Contribution to conference proceedings]

E. Franceschi; A. Bulgarelli; F. Grandi; F. Gianotti; M. Trifoglio, Application of XML Technologies to Telemetry Data Management in Test Equipments for Scientific Satellite Missions, «DATA SCIENCE JOURNAL», 2004, 3, pp. 114 - 134 [Scientific article]

F. Callegati, e-Photon ONE: Key Issues for Core Photonic Network Research, in: Broadband Europe 2004, s.l, s.n, 2004(atti di: Broadband Europe, Brugge, Belgium, 8-10 Dicembre 2004) [Contribution to conference proceedings]

Omicini Andrea, Workpackage 5: Technical Forum, «AGENTLINK NEWSLETTER», 2004, 14, pp. 17 - 18 [Review]

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

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 [Review]

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) [Preface]

Omicini Andrea; Ossowski Sascha, Coordination and Collaboration Technologies, SINGAPORE, World Scientific Publishing, 2004, pp. 119 (International Journal of Cooperative Information Systems). [Research monograph]

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 [Contribution to conference proceedings]

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 [Contribution to conference proceedings]

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 [Contribution to conference proceedings]

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 [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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

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) [Chapter or essay]

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) [Chapter or essay]

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) [Contribution to conference proceedings]