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