Pubblicazioni

Bellavista, Paolo; Corradi, Antonio; Federici, Corrado; Montanari, Rebecca; Tibaldi, Daniela, 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]

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, Nadia; Zavattaro, Gianluigi, 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, Nadia; Montresor, A.; Zavattaro, Gianluigi, 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, Maurizio; 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, Cosimo, 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]

Andrea Omicini; Franco Zambonelli, MAS as Complex Systems: A View on the Role of Declarative Approaches, in: Declarative Agent Languages and Technologies, Berlin Heidelberg, Springer, 2004, pp. 1 - 17 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

MILANO M.; ROLI A., MAGMA: a Multiagent Architecture for Metaheuristics, «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS», 2004, 34, pp. 925 - 941 [Articolo in rivista]

BALDACCI R.; MANIEZZO V.; MINGOZZI A., An Exact Method for the Car Pooling Problem Based on Lagrangian Column Generation, «OPERATIONS RESEARCH», 2004, 52, pp. 422 - 439 [Articolo in rivista]

U. DAL LAGO; S. MARTINI; L. ROVERSI, Higher order linear ramified recurrence, in: Types for Proofs and Programs, BERLIN, HEIDELBERG, Spinger, 2004, 3085, pp. 178 - 193 (atti di: International Workshop, TYPES 2003. Revised Selected Papers, Torino, Italy, April 30 - May 4, 2003) [Contributo in Atti di convegno]

MARTINI S.; DAL LAGO U., Phase Semantics and Decidability of Elementary Affine Logic, «THEORETICAL COMPUTER SCIENCE», 2004, 318(3), pp. 409 - 433 [Articolo in rivista]