Per Year

37 publications with DOI / 2005

2005

Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Multi-paradigm Java-Prolog Integration in tuProlog (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
Effective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming Stigmergic Coordination with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda
An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
Declarative Agent Languages and Technologies II (edited volume) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (paper in proceedings) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon
Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Process Models for Agent-based Development (article in journal) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering Societies in the Agents World V (edited volume) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Self-Organization in Multi-Agent Systems (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
The AgentLink III Technical Forums: Introduction to the Special Issue (editorial/introduction/preface) — Andrea Omicini, Peter McBurney
Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Environments for Multi-Agent Systems (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Coordination and Composition in Multi-agent Systems (paper in proceedings) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini

37 publications in 2005 with DOI • top • index • bottom

publications with DOI / 2005 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini