Publications

34 publications / tag : ReSpecT

ReSpecTX: Programming Interaction Made Easy (article in journal, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Coordination-aware Elasticity (paper in proceedings, 2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (paper in proceedings, 2014) — Stefano Mariani, Andrea Omicini — Stefano Mariani, Andrea Omicini
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 — 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 — Stefano Mariani, Andrea Omicini
Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli — Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings, 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli — Elena Nardini, Andrea Omicini, Mirko Viroli
Situated Tuple Centres in ReSpecT (paper in proceedings, 2009) — Matteo Casadei, Andrea Omicini — Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini — Matteo Casadei, Andrea Omicini
ReSpecT Guide (manual, 2008) — Matteo Casadei, Andrea Omicini — Matteo Casadei, Andrea Omicini
Prototyping A&A ReSpecT in Maude (paper in proceedings, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli — Matteo Casadei, Andrea Omicini, Mirko Viroli
Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini — Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini — Mirko Viroli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (paper in proceedings, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli — Matteo Casadei, Andrea Omicini, Mirko Viroli
Timed Environment for Web Agents (article in journal, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini — 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 — Luca Gardelli, Mirko Viroli, Andrea Omicini
Formal ReSpecT in the A&A Perspective (paper in proceedings, 2006) — Andrea Omicini — Andrea Omicini
Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings, 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings, 2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Time-Aware Coordination in ReSpecT (paper in proceedings, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli — Andrea Omicini, Alessandro Ricci, Mirko Viroli
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini — Mirko Viroli, Andrea Omicini
Task-Oriented Engineering of Coordinated Software Systems (paper in proceedings, 2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci — Enrico Denti, Andrea Omicini, Alessandro Ricci
Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings, 2003) — Andrea Omicini, Sascha Ossowski — Andrea Omicini, Sascha Ossowski
Have ReSpecT for LogOp (paper in proceedings, 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli — Alessandro Ricci, Andrea Omicini, Mirko Viroli
From Tuple Spaces to Tuple Centres (article in journal, 2001) — Andrea Omicini, Enrico Denti — Andrea Omicini, Enrico Denti
Formal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti — Andrea Omicini, Enrico Denti
Formal ReSpecT (paper in proceedings, 2000) — Andrea Omicini, Enrico Denti — Andrea Omicini, Enrico Denti
Designing Multi-Agent Systems around an Extensible Communication Abstraction (paper in proceedings, 1999) — Enrico Denti, Andrea Omicini — 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 — Enrico Denti, Antonio Natali, Andrea Omicini
Expressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini — Enrico Denti, Antonio Natali, Andrea Omicini
Programmable Coordination Media (paper in proceedings, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini — Enrico Denti, Antonio Natali, Andrea Omicini
Constraining Objects as Logic Theories (technical report, 1995) — Andrea Omicini — 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