| 2008 |
|---|
| 93 | EE | Maurizio Cimadamore,
Mirko Viroli:
Integrating Java and Prolog through generic methods and type inference.
SAC 2008: 198-205 |
| 2007 |
|---|
| 92 | EE | Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
Give agents their artifacts: the A&A approach for engineering working environments in MAS.
AAMAS 2007: 150 |
| 91 | EE | Luca Gardelli,
Mirko Viroli,
Andrea Omicini:
Design Patterns for Self-organising Systems.
CEEMAS 2007: 123-132 |
| 90 | EE | Matteo Casadei,
Ronaldo Menezes,
Mirko Viroli,
Robert Tolksdorf:
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism.
CIA 2007: 255-269 |
| 89 | EE | Matteo Casadei,
Ronaldo Menezes,
Mirko Viroli,
Robert Tolksdorf:
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems.
IWSOS 2007: 146-160 |
| 88 | EE | Atsushi Igarashi,
Mirko Viroli:
Variant path types for scalable extensibility.
OOPSLA 2007: 113-132 |
| 87 | EE | Alessandro Ricci,
Mirko Viroli:
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.
PPPJ 2007: 185-194 |
| 86 | EE | Maurizio Cimadamore,
Mirko Viroli:
A Prolog-oriented extension of Java programming based on generics and annotations.
PPPJ 2007: 197-202 |
| 85 | EE | Maurizio Cimadamore,
Mirko Viroli:
Reifying wildcards in Java using the EGO approach.
SAC 2007: 1315-1322 |
| 84 | EE | Mirko Viroli,
Matteo Casadei,
Luca Gardelli:
A self-organising solution to the collective sort problem in distributed tuple spaces.
SAC 2007: 354-359 |
| 83 | EE | Matteo Casadei,
Ronaldo Menezes,
Robert Tolksdorf,
Mirko Viroli:
On the Problem of Over-clustering in Tuple-based Coordination Systems.
SASO 2007: 303-306 |
| 82 | EE | Mirko Viroli,
Andrea Omicini,
Alessandro Ricci:
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts.
Applied Artificial Intelligence 21(4&5): 443-467 (2007) |
| 81 | EE | Mirko Viroli,
Tom Holvoet,
Alessandro Ricci,
Kurt Schelfthout,
Franco Zambonelli:
Infrastructures for the environment of multiagent systems.
Autonomous Agents and Multi-Agent Systems 14(1): 49-60 (2007) |
| 80 | EE | Carlos Canal,
Mirko Viroli:
Preface.
Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007) |
| 79 | EE | Matteo Casadei,
Luca Gardelli,
Mirko Viroli:
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case.
Electr. Notes Theor. Comput. Sci. 175(2): 59-80 (2007) |
| 78 | EE | Mirko Viroli,
Andrea Omicini:
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications.
Electr. Notes Theor. Comput. Sci. 180(2): 123-144 (2007) |
| 77 | EE | Mirko Viroli:
A core calculus for correlation in orchestration languages.
J. Log. Algebr. Program. 70(1): 74-95 (2007) |
| 76 | EE | Carlos Canal,
Mirko Viroli:
Preface.
Sci. Comput. Program. 66(3): 181-183 (2007) |
| 75 | EE | Mirko Viroli,
Enrico Denti,
Alessandro Ricci:
Engineering a BPEL orchestration engine as a multi-agent system.
Sci. Comput. Program. 66(3): 226-245 (2007) |
| 2006 |
|---|
| 74 | EE | Alessandro Ricci,
Andrea Omicini,
Mirko Viroli,
Luca Gardelli,
Enrico Oliva:
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts.
E4MAS 2006: 124-140 |
| 73 | EE | Luca Gardelli,
Mirko Viroli,
Matteo Casadei,
Andrea Omicini:
Designing Self-organising MAS Environments: The Collective Sort Case.
E4MAS 2006: 254-271 |
| 72 | EE | Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS.
E4MAS 2006: 67-86 |
| 71 | EE | Davide Ancona,
Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems.
SAC 2006: 1402-1403 |
| 70 | EE | Matteo Casadei,
Luca Gardelli,
Mirko Viroli:
Collective Sorting Tuple Spaces.
WOA 2006 |
| 69 | EE | Enrico Oliva,
Mirko Viroli,
Andrea Omicini:
Minority Game: A Logic-Based Approach in TuCSoN.
WOA 2006 |
| 68 | EE | Enrico Oliva,
Mirko Viroli,
Andrea Omicini:
Simulation of Minority Game in TuCSoN.
WOA 2006 |
| 67 | EE | Alessandro Ricci,
Claudio Buda,
Nicola Zaghini,
Antonio Natali,
Mirko Viroli,
Andrea Omicini:
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.
WOA 2006 |
| 66 | EE | Atsushi Igarashi,
Mirko Viroli:
Variant parametric types: A flexible subtyping scheme for generics.
ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006) |
| 65 | EE | Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
Agent coordination contexts in a mas coordination infrastructure.
Applied Artificial Intelligence 20(2-4): 179-202 (2006) |
| 64 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
Agens Faber: Toward a Theory of Artefacts for MAS.
Electr. Notes Theor. Comput. Sci. 150(3): 21-36 (2006) |
| 63 | EE | Carlos Canal,
Mirko Viroli:
Preface.
Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006) |
| 62 | EE | Michele Cabano,
Enrico Denti,
Alessandro Ricci,
Mirko Viroli:
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.
Electr. Notes Theor. Comput. Sci. 154(1): 139-158 (2006) |
| 61 | EE | Antonio Natali,
Enrico Oliva,
Alessandro Ricci,
Mirko Viroli:
A Framework for Engineering Interactions in Java-based Component Systems.
Electr. Notes Theor. Comput. Sci. 154(1): 43-61 (2006) |
| 60 | EE | Mirko Viroli,
Andrea Omicini:
Coordination as a Service.
Fundam. Inform. 73(4): 507-534 (2006) |
| 59 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
Sci. Comput. Program. 63(1): 88-107 (2006) |
| 2005 |
|---|
| 58 | EE | Mirko Viroli,
Alessandro Ricci,
Andrea Omicini:
An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts.
AAMAS 2005: 1189-1190 |
| 57 | EE | Mirko Viroli,
Andrea Omicini,
Alessandro Ricci:
An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.
AI*IA 2005: 198-211 |
| 56 | EE | Atsushi Igarashi,
Chieri Saito,
Mirko Viroli:
Lightweight Family Polymorphism.
APLAS 2005: 161-177 |
| 55 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
Time-Aware Coordination in ReSpecT.
COORDINATION 2005: 268-282 |
| 54 | | Alessandro Ricci,
Andrea Omicini,
Mirko Viroli,
Luca Gardelli,
Enrico Oliva:
Cognitive Stigmergy: A Framework Based on Agents and Artifacts.
EUMAS 2005: 332-343 |
| 53 | EE | Luca Gardelli,
Mirko Viroli,
Andrea Omicini:
On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in .
Engineering Self-Organising Systems 2005: 153-166 |
| 52 | EE | Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
Programming MAS with Artifacts.
PROMAS 2005: 206-221 |
| 51 | EE | Davide Ancona,
Rajeev R. Raje,
Mirko Viroli:
Editorial message: special track on object oriented programming languages and systems.
SAC 2005: 1256-1257 |
| 50 | EE | Giovanni Rimassa,
Mirko Viroli:
Understanding access restriction of variant parametric types and Java wildcards.
SAC 2005: 1390-1397 |
| 49 | EE | Alessandro Ricci,
Mirko Viroli:
A timed extension of ReSpecT.
SAC 2005: 420-427 |
| 48 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.
SELMAS 2005: 71-90 |
| 47 | EE | Luca Gardelli,
Mirko Viroli,
Andrea Omicini:
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.
WOA 2005: 85-90 |
| 46 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
An algebraic approach for modelling organisation, roles and contexts in MAS.
Appl. Algebra Eng. Commun. Comput. 16(2-3): 151-178 (2005) |
| 45 | EE | Mirko Viroli,
Andrea Omicini:
Process-algebraic approaches for multi-agent systems: an overview.
Appl. Algebra Eng. Commun. Comput. 16(2-3): 69-75 (2005) |
| 44 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
RBAC for Organisation and Security in an Agent Coordination Infrastructure.
Electr. Notes Theor. Comput. Sci. 128(5): 65-85 (2005) |
| 43 | EE | Mirko Viroli:
Effective and Efficient Compilation of Run-Time Generics in Java.
Electr. Notes Theor. Comput. Sci. 138(2): 95-116 (2005) |
| 42 | EE | Dina Q. Goldin,
Mirko Viroli:
Preface.
Electr. Notes Theor. Comput. Sci. 141(5): 1-4 (2005) |
| 41 | EE | Alessandro Ricci,
Mirko Viroli:
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS.
Informatica (Slovenia) 29(4): 433-444 (2005) |
| 40 | EE | Mirko Viroli,
Giovanni Rimassa:
On Access Restriction with Java Wildcards.
Journal of Object Technology 4(10): 117-139 (2005) |
| 2004 |
|---|
| 39 | EE | Mirko Viroli,
Alessandro Ricci:
Instructions-Based Semantics of Agent Mediated Interaction.
AAMAS 2004: 102-109 |
| 38 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli,
Cristiano Castelfranchi,
Luca Tummolini:
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents.
AAMAS 2004: 286-293 |
| 37 | EE | Mirko Viroli,
Alessandro Ricci:
Agent Interaction Semantics by Timed Operating Instructions.
AC 2004: 173-192 |
| 36 | EE | Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
Environment-Based Coordination Through Coordination Artifacts.
E4MAS 2004: 190-214 |
| 35 | EE | Luca Tummolini,
Cristiano Castelfranchi,
Alessandro Ricci,
Mirko Viroli,
Andrea Omicini:
"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages.
E4MAS 2004: 215-231 |
| 34 | EE | Davide Ancona,
Rajeev R. Raje,
Mirko Viroli:
Editorial message: special track on object oriented programming language and systems.
SAC 2004: 1265-1266 |
| 33 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli,
Giovanni Rimassa:
Integrating objective & subjective coordination in multi-agent systems.
SAC 2004: 449-455 |
| 32 | | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli,
Cristiano Castelfranchi,
Luca Tummolini:
A Conceptual Framework for Self-Organising MAS.
WOA 2004: 100-109 |
| 31 | | Mirko Viroli,
Alessandro Ricci:
Timed Coordination Artifacts with ReSpecT.
WOA 2004: 77-85 |
| 30 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli,
Marco Cioffi,
Giovanni Rimassa:
Multi-Agent Infrastructures For Objective And Subjective Coordination.
Applied Artificial Intelligence 18(9-10): 815-831 (2004) |
| 29 | EE | Mirko Viroli:
Towards a Formal Foundation to Orchestration Languages.
Electr. Notes Theor. Comput. Sci. 105: 51-71 (2004) |
| 28 | EE | Mirko Viroli:
Verifying Properties of Coordination by Well-Structured Transition Systems.
Electr. Notes Theor. Comput. Sci. 97: 67-96 (2004) |
| 27 | EE | Ronaldo Menezes,
Andrea Omicini,
Mirko Viroli:
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.
Electr. Notes Theor. Comput. Sci. 97: 97-124 (2004) |
| 2003 |
|---|
| 26 | EE | Federico Bergenti,
Giovanni Rimassa,
Mirko Viroli:
Operational semantics for agents: the grey-box modeling approach.
AAMAS 2003: 934-935 |
| 25 | EE | Federico Bergenti,
Giovanni Rimassa,
Mirko Viroli:
Operational Semantics for Agents by Iterated Refinement.
DALT 2003: 37-53 |
| 24 | | Mirko Viroli:
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media.
SAC 2003: 394-401 |
| 23 | | Andrea Omicini,
Alessandro Ricci,
Giovanni Rimassa,
Mirko Viroli:
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.
WOA 2003: 85-91 |
| 22 | EE | Mirko Viroli:
A Type-Passing Approach for the Implementation of Parametric Methods in Java.
Comput. J. 46(3): 263-294 (2003) |
| 21 | EE | Mirko Viroli,
Andrea Omicini:
Coordination as a Service: Ontological and Formal Foundation.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 20 | EE | Andrea Omicini,
Alessandro Ricci,
Mirko Viroli:
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 2002 |
|---|
| 19 | EE | Mirko Viroli,
Andrea Omicini:
Specifying agent observable behaviour.
AAMAS 2002: 712-720 |
| 18 | EE | Mirko Viroli,
Andrea Omicini:
Tuple-Based Models in the Observation Framework.
COORDINATION 2002: 364-379 |
| 17 | EE | Atsushi Igarashi,
Mirko Viroli:
On Variance-Based Subtyping for Parametric Types.
ECOOP 2002: 441-469 |
| 16 | EE | Giovanni Rimassa,
Mirko Viroli:
An Operational Framework for the Semantics of Agent Communication Languages.
ESAW 2002: 111-125 |
| 15 | | Mirko Viroli,
Andrea Omicini:
A Specification Language for Agents Observable Behavior.
IC-AI 2002: 321-327 |
| 14 | EE | Mirko Viroli,
Alessandro Ricci:
Tuple-Based Coordination Models in Event-Based Scenarios.
ICDCS Workshops 2002: 595-601 |
| 13 | | Alessandro Ricci,
Andrea Omicini,
Mirko Viroli:
Extending ReSpecT for Multiple Coordination Flows.
PDPTA 2002: 1407-1413 |
| 12 | | Mirko Viroli,
Andrea Omicini,
Alessandro Ricci:
On the Expressiveness of Event-based Coordination Media.
PDPTA 2002: 1414-1420 |
| 11 | | Ronaldo Menezes,
Andrea Omicini,
Mirko Viroli:
Have ReSpecT for LogOp.
WOA 2002: 94-99 |
| 10 | EE | Mirko Viroli,
Andrea Omicini:
An Observation Approach to the Semantics of Agent Communication Languages.
Applied Artificial Intelligence 16(9-10): 775-793 (2002) |
| 9 | EE | Mirko Viroli,
Andrea Omicini:
Modelling Agents as Observable Sources.
J. UCS 8(4): 423-451 (2002) |
| 2001 |
|---|
| 8 | | Andrea Omicini,
Mirko Viroli:
WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 4-5 September 2001, Modena, Italy
Pitagora Editrice Bologna 2001 |
| 7 | EE | Gianluca Moro,
Mirko Viroli:
Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions.
HICSS 2001 |
| 6 | EE | Mirko Viroli,
Gianluca Moro,
Andrea Omicini:
On observation as a coordination paradigm: an ontology and a formal framework.
SAC 2001: 166-175 |
| 5 | EE | Mirko Viroli:
Parametric polymorphism in Java: an efficient implementation for parametric methods.
SAC 2001: 610-619 |
| 4 | | Mirko Viroli,
Andrea Omicini:
Multi-Agent Systems as Composition of Observable Systems.
WOA 2001: 62-67 |
| 2000 |
|---|
| 3 | EE | Gianluca Moro,
Mirko Viroli:
On Observing and Constraining Active Systems.
ESAW 2000: 34-50 |
| 2 | EE | Mirko Viroli,
Antonio Natali:
Parametric polymorphism in Java: an approach to translation based on reflective features.
OOPSLA 2000: 146-165 |
| 1 | | Gianluca Moro,
Antonio Natali,
Mirko Viroli:
On the Consistent Observation of Active Systems.
WOA 2000: 47-51 |
