tag : ReSpecT
33 publications
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 Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (paper in proceedings, 2013) — Stefano Mariani, Andrea Omicini 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 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 ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, 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 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 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 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 Extending ReSpecT for Multiple Coordination Flows (paper in proceedings, 2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli Have ReSpecT for LogOp (paper in proceedings, 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli Formal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti From Tuple Spaces to Tuple Centres (article in journal, 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