Publications

G. Tonti; R. Montanari; J.M. Bradshaw; L.Bunch; R.Jeffers; N. Suri; A. Uszok, Automated generation of enforcement mechanisms for semantically-rich security policies in Java-based multi-agent systems, in: Multi-Agent Security and Survivability, s.l, IEEE Press, 2004, pp. 11 - 20 (atti di: IEEE First Symposium on Multi-Agent Security and Survivability MAS&S 2004, Philadelphia, usa, 30-31 August 2004) [Contribution to conference proceedings]

A. Corradi; R. Montanari; D. Tibaldi, Context-based Access Control for Ubiquitous Service Provisioning, in: Computer Software and Applications Conference, s.l, IEEE Press, 2004, pp. 444 - 451 (atti di: 28th Annual International Computer Software and Applications Conference, Hong Kong, September 28 - 30, 2004) [Contribution to conference proceedings]

A. Corradi; R. Montanari; D. Tibaldi, Context-based Access Control Management in Ubiquitous Environment, in: Network Computing and Applications, s.l, IEEE Press, 2004, pp. 253 - 260 (atti di: Third IEEE International Symposium on Network Computing and Applications, Cambridge, MA, USA, August 30 - September 1, 2004) [Contribution to conference proceedings]

J. Costa da Silva; M. Klusch; S. Lodi; G. Moro, Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining, in: Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, AMSTERDAM, IOS Press, 2004, pp. 450 - 454 (atti di: 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, 22-27 August) [Contribution to conference proceedings]

MEDRZYCKI P.; MONTANARI R.; BORTOLOTTI L.; SABATINI A. G.; PORRINI C., Effetti di imidacloprid somministrato a dosi subletali sul comportamento delle api (Apis mellifera L.). Prove di laboratorio, in: Atti XIX Congresso Nazionale italiano di Entomologia, s.l, s.n, 2004, pp. 1227 - 1232 (atti di: XIX Congresso Nazionale italiano di Entomologia, catania, 10-15 giugno 2002) [Contribution to conference proceedings]

A. Asperti; P.Coppola; S.Martini., (Optimal) duplication is not elementary recursive., «INFORMATION AND COMPUTATION», 2004, 193(1), pp. 21 - 56 [Scientific article]

A.Asperti; M.Selmi, Efficient Retrieval of Mathematical Statements., in: Mathematical Knowledge Management, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3119, pp. 17 - 31 (atti di: Mathematical Knowledge Management, Bialowieza, Poland, settembre 2004) [Contribution to conference proceedings]

A.Asperti; G.Bancerek; A.Trybulec, Mathematical Knowledge Management, BERLIN, Springer, 2004, pp. 1-393 (Lecture Notes in Computer Science). [Editorship]

D. Rossi, Orchestrating Document-based Workflows with X-Folders, in: Proceedings of the 2004 ACM symposium on Applied computing, NEW YORK, ACM Press, 2004, pp. 503 - 507 (atti di: Symposium on Applied Computing, Nicosia, Cyprus, 2004) [Contribution to conference proceedings]

J. LEITE; P. TORRONI, Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V, «AGENTLINK NEWSLETTER», 2004, 16, pp. 39 - 39 [Scientific article]

R. Davoli, Multi Platform Low Bandwidth Remote Lecturing, in: Proc. of 2004 International Symposium on Collaborative Technologies and Systems - CTS 2004, SAN DIEGO (CA), SCS, 2004(atti di: International Symposium on Collaborative Technologies and Systems - CTS 2004, San Diego (CA), January 2004) [Contribution to conference proceedings]

M. Spigarolo; R. Davoli, Berserkr: a Virtual Beowulf Cluster for Fast Prototyping and Teaching, in: Proc. of Computing Frontiers 2004, ISCHIA, s.n, 2004, pp. 294 - 301 (atti di: Computing Frontiers 2004, Ischia, April 2004) [Contribution to conference proceedings]

R. Davoli, Teaching Operating Systems Administration with User Mode Linux, in: Proc. of ItiCSE04. Conference on Innovation and Technology in Computer Science Education., NEW YORK, ACM, 2004(atti di: ItiCSE04. Conference on Innovation and Technology in Computer Science Education., Leeds, UK., June 2004) [Contribution to conference proceedings]

M. Spigarolo; R. Davoli, Berserkr: a Beowulf Cluster Emulator for Teaching Parallel Programming, in: Proceedings of 2004 International Conference on Simulation in Education (ICSiE'04), SAN DIEGO (CA), SCS, 2004(atti di: 2004 International Conference on Simulation in Education (ICSiE'04), San Diego (CA), January 2004) [Contribution to conference proceedings]

Ciampolini A.; Mello P.; Storari S., Integration of medical services in the MeSSyCo agent system (demo session)., in: Proceedings of AAMAS 2004, NEW YORK, ACM, 2004(atti di: Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, Luglio 2004) [Contribution to conference proceedings]

A. Ciampolini; P. Mello; S. Storari., A multi-agent system for medical services synergy and coordination., in: Proceedings of ECAI2004 workshop on Agents applied in health care., VALENCIA, s.n, 2004, pp. 38 - -46 (atti di: ECAI2004 workshop on Agents applied in health care., Valencia, Spain, 23-24 August 2004) [Contribution to conference proceedings]

S. Capizzi; R. Solmi; G. Zavattaro, From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2004, 2949, pp. 105 - 118 (atti di: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004) [Contribution to conference proceedings]

R. Lucchi; G. Zavattaro, WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications, in: In Proc. of ACM Symposium on Applied Computing (SAC'04), NEW YORK, ACM Press, 2004, pp. 487 - 491 (atti di: Symposium on Applied Computing (SAC'04), Nicosia, Cyprus, March 14 - 17, 2004) [Contribution to conference proceedings]

MORO G.; SARTORI C.; SINGH M., Agents and Peer to Peer Computing, 2nd international workshop, AAMAS 2003, Melbourne, Australia, 2003, BERLIN, Springer, 2004, pp. 1-204 (Lecture notes in artificial intelligence). [Editorship]

G. Moro; M. Koubarakis, Agents and Peer-to-Peer Computing, First International Workshop, AP2PC 2002, Bologna, Italy, July, 2002, Revised and Invited Papers, BERLIN, Springer, 2004, pp. 1-170 (Lecture notes in artificial intelligence). [Editorship]