Per Year
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli - Coordination as a Service: Ontological and Formal Foundation
(paper in proceedings) — Mirko Viroli, Andrea Omicini

0000-0003-2702-5702