Publications

33 Publications  /  ReSpecT

• ReSpecTX: Programming Interaction Made Easy (article in journal, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
• Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (paper in proceedings, 2014) — Stefano Mariani, Andrea Omicini
• Coordination-aware Elasticity (paper in proceedings, 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
• Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
• A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (article in journal, 2013) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
• Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (paper in proceedings, 2013) — Stefano Mariani, Andrea Omicini
• General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings, 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
• Situated Tuple Centres in ReSpecT (paper in proceedings, 2009) — Matteo Casadei, Andrea Omicini
• Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
• ReSpecT Guide (manual, 2008) — Matteo Casadei, Andrea Omicini
• Situating A&A ReSpecT for Pervasive Environment Applications (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini
• Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
• Timed Environment for Web Agents (article in journal, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
• Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini
• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini
• Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
• Formal ReSpecT in the A&A Perspective (paper in proceedings, 2006) — Andrea Omicini
• Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
• On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings, 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
• Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
• An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings, 2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
• Task-Oriented Engineering of Coordinated Software Systems (paper in proceedings, 2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
• Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings, 2003) — Andrea Omicini, Sascha Ossowski
• Have ReSpecT for LogOp (paper in proceedings, 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
• Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
• From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti
• Formal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti
• Formal ReSpecT (paper in proceedings, 2000) — Andrea Omicini, Enrico Denti
• Designing Multi-Agent Systems around an Extensible Communication Abstraction (paper in proceedings, 1999) — Enrico Denti, Andrea Omicini
• On the Expressive Power of a Language for Programming Coordination Media (paper in proceedings, 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
• Programmable Coordination Media (paper in proceedings, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
• Expressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini

ReSpecT Foundations

• Fundamental publications — An organised bibliography on the origins and evolution of ReSpecT

ReSpecT Manual

• ReSpecT Guide (manual, 2008) — Matteo Casadei, Andrea Omicini