Per Year
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
(paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- Simulation Methods in Systems Biology
(paper in proceedings) — Daniel T. Gillespie
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems
(paper in proceedings) — Franco Zambonelli, Mirko Viroli
- A&A for Modelling and Engineering Simulations in Systems Biology
(article in journal) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Preface
(editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
(article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
(paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory
(article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
(paper in proceedings) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
(article in journal) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- On the reification of Java wildcards
(article in journal) — Maurizio Cimadamore, Mirko Viroli
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
(article in journal) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Description Logics
(book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
- Tool-Supported Development with Tropos: The Conference Management System Case Study
(paper in proceedings) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- SPEM on Test: the SODA Case Study
(paper in proceedings) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
- An experimental environment for teaching Java Security
(paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
(paper in proceedings) — Mario Bravetti
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
(paper in proceedings) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- Engineering Societies in the Agents’ World VIII
(edited volume) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
- Integrating Java and Prolog through Generic Methods and Type Inference
(paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- The BlenXLanguage: A Tutorial
(paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- The A&A Programming Model and Technology for Developing Agent Environments in MAS
(paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
(editorial/introduction/preface) — Peter McBurney, Andrea Omicini
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology
(article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Co-Argumentation Artifact for Agent Societies
(paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Towards a Tuplespace-based Middleware for the Semantic Web
(article in journal) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
(special issue) — Andrea Omicini, Peter McBurney
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
(paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- Lightweight Family Polymorphism
(article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- Artifacts in the A&A Meta-Model for Multi-Agent Systems
(article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Situating A&A ReSpecT for Pervasive Environment Applications
(paper in proceedings) — Matteo Casadei, Andrea Omicini
- A Process Algebraic View of Shared Dataspace Coordination
(article in journal) — Nadia Busi, Gianluigi Zavattaro
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
(paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- PASSIM: a simulation-based process for the development of multi-agent systems
(article in journal) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- Methodologies for Designing Agent Societies
(paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- A Multi-Theory Logic Language for the World Wide Web
(paper in proceedings) — Giulio Piancastelli, Andrea Omicini
- Prototyping A&A ReSpecT in Maude
(paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
(paper in proceedings) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
(paper in proceedings) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Agent Oriented Software Engineering VIII
(edited volume) — Michael Luck, Lin Padgham
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
(paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- Introduction to AOSE Tools for the Conference Management System
(paper in proceedings) — Lin Padgham, Michael Luck
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
(paper in proceedings) — Matteo Casadei, Mirko Viroli
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine
(paper in proceedings) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
- From AO Methodologies to MAS Infrastructures: The SODA Case Study
(paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- The Prometheus Design Tool – A Conference Management System Case Study
(paper in proceedings) — Lin Padgham, John Thangarajah, Michael Winikoff
- Hierarchical Modeling for Computational Biology
(paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
publications
with
DOI
/
2008
/
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