Pubblicazioni

BELLAVISTA P.; BOTTAZZI D.; CORRADI A.; MONTANARI R.; VECCHI S., Mobile Agent Middlewares for Context-aware Applications, in: I. MAHGOUB; M. ILYAS EDITORS, Handbook of Mobile Computing, BOCA RATON, FLORIDA, CRC Press, 2004, pp. 315 - 334 [Capitolo/Saggio in libro]

BOUKERCHE A.; BONONI L., Simulation and Modeling of Wireless, Mobile and Ad Hoc Networks, in: Mobile Ad Hoc Networking, NEW YORK, IEEE/Wiley, 2004, pp. 373 - 410 [Capitolo/Saggio in libro]

F. CALLEGATI; M. CASONI; RAFFAELLI C., TCP/IP Performance over Optical Networks, in: M. HASSAN; R. JAIN, High Performance TCP/IP Networking, UPPER SADDLE RIVER, NJ, Pearson Prentice Hall, 2004, pp. 185 - 205 (Pearson education) [Capitolo/Saggio in libro]

BELLAVISTA P.; CORRADI A.; STEFANELLI C., Policy-based Access Control for Context-aware Services over the Wireless Internet, in: WEN-CHEN HU; CHUNG-WEI LEE; AND WEIDONG KOU EDITORS, Advances in Security and Payment Methods for Mobile Commerce, HERSHEY, PENNSYLVANIA, Idea Group, 2004, pp. 81 - 108 [Capitolo/Saggio in libro]

BELLAVISTA P.; CORRADI A.; FEDERICI C.; MONTANARI R.; TIBALDI D., Security for Mobile Agents: Issues and Challenges, in: I. MAHGOUB; M. ILYAS EDITORS, Handbook of Mobile Computing, BOCA RATON, FLORIDA, CRC Press, 2004, pp. 941 - 960 [Capitolo/Saggio in libro]

BOSCHETTI M.A.; MANIEZZO V., An Ant System Heuristic for the Two-Dimensional Finite Bin Packing Problem: preliminary results, in: CAPASSO V.; PRIAUX J., Multidisciplinary Methods for Analysis, Optimization and Control of Complex Systems, Series: Mathematics in Industry, Subseries: The European Consortium for Mathematics in Industry, BERLIN, Springer Verlag, 2004, pp. 233 - 247 [Capitolo/Saggio in libro]

BONONI L.; CONTI M.; GREGORI E., Run-Time Optimization of IEEE 802.11 Wireless LANs performance, «IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS», 2004, 15, pp. 66 - 80 [Articolo in rivista]

BONONI L.; BRACUTO M.; D'ANGELO G.; DONATIELLO L., ARTIS: A parallel and distributed simulation middleware for performance evaluation, in: Computer and Information Sciences - ISCIS 2004, BERLIN, HEIDELBERG, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3280, pp. 627 - 637 (atti di: ISCIS 2004 19th International Symposium. Proceedings, Kemer-Antalya, Turkey, October 27-29, 2004) [Contributo in Atti di convegno]

BUSI N.; G. ZAVATTARO, On the Expressive Power of Movement and Restriction in Pure Mobile Ambients, «THEORETICAL COMPUTER SCIENCE», 2004, 322(3), pp. 477 - 515 [Articolo in rivista]

BUSI N.; MONTRESOR A. ; ZAVATTARO G., Data-Driven Coordination in Peer-to-Peer Information System, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 2004, 13(1), pp. 63 - 90 [Articolo in rivista]

BUSI N.; R. GORRIERI, A Survey on Non-Interference with Petri Nets, in: Lectures on Concurrency and Petri Nets, Heidelberg, Springer, 2004, pp. 328 - 344 [Capitolo/Saggio in libro]

BUSI N.; R. GORRIERI, Positive Non–Interference in Elementary and Trace Nets, in: Applications and Theory of Petri Nets 2004, Heidelberg, Springer, 2004, pp. 307 - 319 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

F. CALLEGATI; C. DEVELDER; W. CERRONI; M. PICKAVET; CORAZZA G.; P. DEMEESTER, Scheduling Algorithms for a Slotted Packet Switch with either Fixed or Variable Length Packets, «PHOTONIC NETWORK COMMUNICATIONS», 2004, 8, pp. 163 - 176 [Articolo in rivista]

DE BOER F; GABBRIELLI M.; MEO M.C., Proving Correctness of Timed Concurrent Constraint Programs, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2004, 5(4), pp. xx - yy [Articolo in rivista]

DANOS V.; LANEVE C., Formal Molecular Biology, «THEORETICAL COMPUTER SCIENCE», 2004, 325(1), pp. 69 - 110 [Articolo in rivista]

OMICINI ANDREA; RICCI ALESSANDRO; VIROLI MIRKO; CIOFFI MARCO; RIMASSA GIOVANNI, Multi-agent Infrastructures for Objective and Subjective Coordination, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 815 - 831 [Articolo in rivista]

ZAMBONELLI FRANCO; OMICINI ANDREA, Challenges and Research Directions in Agent-Oriented Software Engineering, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2004, 9, pp. 253 - 283 [Articolo in rivista]

MENEZES RONALDO; OMICINI ANDREA; VIROLI MIRKO, On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 97, pp. 97 - 124 [Articolo in rivista]

Andrea Omicini; Alessandro Ricci, MAS Organisation within a Coordination Infrastructure: Experiments in TuCSoN, in: Engineering Societies in the Agents World IV, Berlin, Heidelberg, Springer, 2004, pp. 200 - 217 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

OMICINI ANDREA; OSSOWSKI SASCHA, Coordination and Collaboration Activities in Cooperative Information Systems, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 2004, 13, pp. 1 - 7 [Articolo in rivista]