Per Year

4 publications without Google Scholar ID / 2003 / Mirko Viroli

2003

Mirko Viroli

A Type-Passing Approach for the Implementation of Parametric Methods in {Java}

(article in journal) The Computer Journal 46(3), 2003

Andrea Omicini, Alessandro Ricci, Mirko Viroli

Formal Specification and Enactment of Security Policies through Agent Coordination Contexts

(paper in proceedings) SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, August 2003

Mirko Viroli, Andrea Omicini

Coordination as a Service: Ontological and Formal Foundation

(paper in proceedings) Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, March 2003

Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli

Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN

(paper in proceedings) WOA 2003, 10-11 September 2003

4 publications in 2003 without Google Scholar ID • top • index • bottom