Pubblicazioni

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]

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]

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]

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]

E. LAMMA; MELLO P.; F. RIGUZZI, A System for Measuring Function Points from an ER-DFD Specification, «COMPUTER JOURNAL», 2004, 47, pp. 358 - 372 [Articolo in rivista]

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]

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]

F. CALLEGATI; W. CERRONI; RAFFAELLI C.; P. ZAFFONI, Wavelength and time domain exploitation for QoS management in optical packet switches, «COMPUTER NETWORKS», 2004, 44, pp. 570 - 582 [Articolo in rivista]

SANGIORGI D.; MERRO M., On asynchrony in name-passing calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2004, 14, pp. 715 - 767 [Articolo in rivista]

LODI S; CATARCI T; SANTUCCI G; SARTORI C., VidaMine: A Visual Data Mining Environment, «JOURNAL OF VISUAL LANGUAGES AND COMPUTING», 2004, 15, pp. 37 - 67 [Articolo in rivista]

TORRONI P., Computational Logic in Multi-Agent Systems: recent advances and future directions, «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», 2004, 42, pp. 293 - 305 [Articolo in rivista]

CIAMPOLINI A.; TORRONI P., Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 251 - 275 [Articolo in rivista]

DI IORIO A.; VITALI F., Writing the web, «JODI. JOURNAL OF DIGITAL INFORMATION», 2004, 251, pp. 1 - 10 [Articolo in rivista]