Per Year

11 publications without IEEE No / 2002 / Mirko Viroli

Specifying Agent Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (paper in proceedings) — Mirko Viroli, Andrea Omicini
Have ReSpecT for LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Towards an Alternative Semantics for FIPA ACL (paper in proceedings) — Mirko Viroli, Andrea Omicini
Extending ReSpecT for Multiple Coordination Flows (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
A Specification Language for Agents Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (article in journal) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (paper in proceedings) — Mirko Viroli, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (article in journal) — Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings) — Mirko Viroli, Andrea Omicini

11 publications in 2002 without IEEE No • top • index • bottom