Mirko Viroli - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

PrefaceCarlos Canal, Pascal Poizat, Mirko Viroli. SCP, 76(1):1-2, 2011. [doi]

A quarter-century of ::::The Knowledge Engineering Review::::: Introduction to the Special IssuePeter McBurney, Simon Parsons, Mirko Viroli. ker, 26(1):1-3, 2011. [doi]

Description spaces with fuzzinessElena Nardini, Andrea Omicini, Mirko Viroli. SAC 2011: 869-876 [doi]

Coordination models and languages: from parallel computing to self-organisationAndrea Omicini, Mirko Viroli. ker, 26(1):53-59, 2011. [doi]

simpA: An agent-oriented approach for programming concurrent applications on top of JavaAlessandro Ricci, Mirko Viroli, Giulio Piancastelli. SCP, 76(1):37-62, 2011. [doi]

Environment programming in multi-agent systems: an artifact-based perspectiveAlessandro Ricci, Michele Piunti, Mirko Viroli. AAMAS, 23(2):158-192, 2011. [doi]

Programming coordination laws of artifacts in CArtAgOMarco Sbaraglia, Matteo Casadei, Mirko Viroli. SAC 2011: 885-886 [doi]

Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple SpacesMirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli. taas, 6(2):14, 2011. [doi]

Core operational semantics of ProtoMirko Viroli, Jacob Beal, Matteo Casadei. SAC 2011: 1325-1332 [doi]

2010

A Framework for Modelling and Simulating Networks of CellsSara Montagna, Mirko Viroli. ENTCS, 268:115-129, 2010. [doi]

A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoNElena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini. woa 2010: [doi]

Coordination in open and dynamic environments with TuCSoN semantic tuple centresElena Nardini, Mirko Viroli, Emanuele Panzavolta. SAC 2010: 2037-2044 [doi]

Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010Andrea Omicini, Mirko Viroli, editors, Volume 621 of CEUR Workshop Proceedings, CEUR-WS.org, 2010.

Self Organization in Coordination Systems Using a WordNet-Based OntologyDanilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli. saso 2010: 114-123 [doi]

Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple SpacesMirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli. saso 2010: 212-217 [doi]

Chemical-inspired self-composition of competing servicesMirko Viroli, Matteo Casadei. SAC 2010: 2029-2036 [doi]

A biochemical approach to adaptive service ecosystemsMirko Viroli, Franco Zambonelli. isci, 180(10):1876-1892, 2010. [doi]

From Service-Oriented Architectures to Nature-Inspired Pervasive Service EcosystemsFranco Zambonelli, Mirko Viroli. woa 2010: [doi]

2009

On the collective sort problem for distributed tuple spacesMatteo Casadei, Mirko Viroli, Luca Gardelli. SCP, 74(9):702-722, 2009. [doi]

Using probabilistic model checking and simulation for designing self-organizing systemsMatteo Casadei, Mirko Viroli. SAC 2009: 2103-2104 [doi]

An experience on probabilistic model checking and stochastic simulation to design self-organizing systemsMatteo Casadei, Mirko Viroli. cec 2009: 1538-1545 [doi]

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and ArtifactsFerruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli. ICSOFT 2009: 218-225

Environment in agent-oriented software engineering methodologiesAmbra Molesini, Andrea Omicini, Mirko Viroli. mags, 5(1):37-57, 2009. [doi]

A computational framework for modelling multicellular biochemistrySara Montagna, Mirko Viroli. cec 2009: 2233-2240 [doi]

General-Purpose Coordination Abstractions for Managing Interaction in MASElena Nardini, Andrea Omicini, Mirko Viroli. iat 2009: 501-506 [doi]

Agents, Intelligence and ToolsAndrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli. In Max Bramer, editor, Artificial Intelligence: An International Perspective. Volume 5640 of Lecture Notes in Computer Science, pages 157-173, Springer, 2009. [doi]

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems ProgrammingAlessandro Ricci, Michele Piunti, Mirko Viroli. mallow 2009: [doi]

Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System ProgrammingAlessandro Ricci, Michele Piunti, Mirko Viroli. lads 2010: 35-54 [doi]

Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based EnvironmentsAlessandro Ricci, Mirko Viroli, Michele Piunti. promas 2010: 133-150 [doi]

A framework for modelling and implementing self-organising coordinationMirko Viroli, Matteo Casadei, Andrea Omicini. SAC 2009: 1353-1360 [doi]

Biochemical Tuple Spaces for Self-organising CoordinationMirko Viroli, Matteo Casadei. coordination 2009: 143-162 [doi]

A biochemical metaphor for developing eternally adaptive service ecosystemsMirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli. SAC 2009: 1221-1222 [doi]

Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising ServicesMirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini. wicsa 2010: 152-176 [doi]

2008

PrefaceCarlos Canal, Pascal Poizat, Mirko Viroli. ENTCS, 194(4):1-3, 2008. [doi]

Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like NetworksMatteo Casadei, Mirko Viroli, Marco Santarelli. wetice 2008: 70-75 [doi]

Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed NetworksMatteo Casadei, Mirko Viroli. saso 2008: 213-222 [doi]

Prototyping A&A ReSpecT in MaudeMatteo Casadei, Andrea Omicini, Mirko Viroli. ENTCS, 194(4):93-109, 2008. [doi]

On the reification of Java wildcardsMaurizio Cimadamore, Mirko Viroli. SCP, 73(2-3):59-75, 2008. [doi]

Integrating Java and Prolog through generic methods and type inferenceMaurizio Cimadamore, Mirko Viroli. SAC 2008: 198-205 [doi]

Designing self-organising environments with agents and artefacts: a simulation-driven approachLuca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini. ijaose, 2(2):171-195, 2008. [doi]

Argumentation and Artifact for Dialogue SupportEnrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney. argmas 2009: 107-121 [doi]

An Adaptation Logic Framework for Java-based Component SystemsEnrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli. jucs, 14(13):2158-2181, 2008.

Artifacts in the A&A meta-model for multi-agent systemsAndrea Omicini, Alessandro Ricci, Mirko Viroli. AAMAS, 17(3):432-456, 2008. [doi]

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core CalculusAlessandro Ricci, Mirko Viroli, Maurizio Cimadamore. ENTCS, 194(4):111-132, 2008. [doi]

Lightweight family polymorphismChieri Saito, Atsushi Igarashi, Mirko Viroli. JFP, 18(3):285-331, 2008. [doi]

Nature-Inspired Spatial Metaphors for Pervasive Service EcosystemsCynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli. saso 2008: 332-337 [doi]

Architecture and Metaphors for Eternally Adaptive Service EcosystemsFranco Zambonelli, Mirko Viroli. idc 2008: 23-32 [doi]

2007

PrefaceCarlos Canal, Mirko Viroli. SCP, 66(3):181-183, 2007. [doi]

PrefaceCarlos Canal, Mirko Viroli. ENTCS, 175(2):1-2, 2007. [doi]

Simulating Emergent Properties of Coordination in Maude: the Collective Sort CaseMatteo Casadei, Luca Gardelli, Mirko Viroli. ENTCS, 175(2):59-80, 2007. [doi]

Using Ant s Brood Sorting to Increase Fault Tolerance in Linda s Tuple Distribution MechanismMatteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf. cia 2007: 255-269 [doi]

Self-organized over-clustering avoidance in tuple-space systemsMatteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf. cec 2007: 1408-1415 [doi]

A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space SystemsMatteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf. iwsos 2007: 146-160 [doi]

On the Problem of Over-clustering in Tuple-based Coordination SystemsMatteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli. saso 2007: 303-306 [doi]

Reifying wildcards in Java using the EGO approachMaurizio Cimadamore, Mirko Viroli. SAC 2007: 1315-1322 [doi]

A Prolog-oriented extension of Java programming based on generics and annotationsMaurizio Cimadamore, Mirko Viroli. pppj 2007: 197-202 [doi]

Design Patterns for Self-organising SystemsLuca Gardelli, Mirko Viroli, Andrea Omicini. ceemas 2007: 123-132 [doi]

Variant path types for scalable extensibilityAtsushi Igarashi, Mirko Viroli. OOPSLA 2007: 113-132 [doi]

Timed environment for web agentsAndrea Omicini, Alessandro Ricci, Mirko Viroli. wias, 5(2):161-175, 2007. [doi]

simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent ApplicationsAlessandro Ricci, Mirko Viroli, Giulio Piancastelli. lads 2008: 261-278 [doi]

The A&AProgramming Model and Technology for Developing Agent Environments in MASAlessandro Ricci, Mirko Viroli, Andrea Omicini. promas 2008: 89-106 [doi]

Give agents their artifacts: the A&A approach for engineering working environments in MASAlessandro Ricci, Mirko Viroli, Andrea Omicini. atal 2007: 150 [doi]

simpA: an agent-oriented approach for prototyping concurrent applications on top of JavaAlessandro Ricci, Mirko Viroli. pppj 2007: 185-194 [doi]

A core calculus for correlation in orchestration languagesMirko Viroli. jlp, 70(1):74-95, 2007. [doi]

Engineering a BPEL orchestration engine as a multi-agent systemMirko Viroli, Enrico Denti, Alessandro Ricci. SCP, 66(3):226-245, 2007. [doi]

A self-organising solution to the collective sort problem in distributed tuple spacesMirko Viroli, Matteo Casadei, Luca Gardelli. SAC 2007: 354-359 [doi]

Infrastructures for the environment of multiagent systemsMirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli. AAMAS, 14(1):49-60, 2007. [doi]

ReSpecT Nets: Towards an Analysis Methodology for ReSpecT SpecificationsMirko Viroli, Andrea Omicini. ENTCS, 180(2):123-144, 2007. [doi]

Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination ContextsMirko Viroli, Andrea Omicini, Alessandro Ricci. aai, 21(4&5):443-467, 2007. [doi]

2006

Editorial message: special track on object oriented programming languages and systemsDavide Ancona, Mirko Viroli. SAC 2006: 1402-1403 [doi]

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple CentresMichele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli. ENTCS, 154(1):139-158, 2006. [doi]

PrefaceCarlos Canal, Mirko Viroli. ENTCS, 154(1):1-2, 2006. [doi]

Collective Sorting Tuple SpacesMatteo Casadei, Luca Gardelli, Mirko Viroli. woa 2006: [doi]

Designing Self-organising MAS Environments: The Collective Sort CaseLuca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini. e4mas 2007: 254-271 [doi]

Variant parametric types: A flexible subtyping scheme for genericsAtsushi Igarashi, Mirko Viroli. TOPLAS, 28(5):795-847, 2006. [doi]

A Framework for Engineering Interactions in Java-based Component SystemsAntonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli. ENTCS, 154(1):43-61, 2006. [doi]

Simulation of Minority Game in TuCSoNEnrico Oliva, Mirko Viroli, Andrea Omicini. woa 2006: [doi]

Minority Game: A Logic-Based Approach in TuCSoNEnrico Oliva, Mirko Viroli, Andrea Omicini. woa 2006: [doi]

::::Agens Faber::::: Toward a Theory of Artefacts for MASAndrea Omicini, Alessandro Ricci, Mirko Viroli. ENTCS, 150(3):21-36, 2006. [doi]

Agent Coordination Contexts for the formal specification and enactment of coordination and security policiesAndrea Omicini, Alessandro Ricci, Mirko Viroli. SCP, 63(1):88-107, 2006. [doi]

Agent coordination contexts in a mas coordination infrastructureAlessandro Ricci, Mirko Viroli, Andrea Omicini. aai, 20(2-4):179-202, 2006. [doi]

simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA ApplicationsAlessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini. woa 2006: [doi]

Cognitive Stigmergy: Towards a Framework Based on Agents and ArtifactsAlessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva. e4mas 2007: 124-140 [doi]

CArtA gO : A Framework for Prototyping Artifact-Based Environments in MASAlessandro Ricci, Mirko Viroli, Andrea Omicini. e4mas 2007: 67-86 [doi]

Operating instructions for intelligent agent coordinationMirko Viroli, Alessandro Ricci, Andrea Omicini. ker, 21(1):49-69, 2006. [doi]

Coordination as a ServiceMirko Viroli, Andrea Omicini. FUIN, 73(4):507-534, 2006. [doi]

A Case of Self-Organising Environment for MAS: the Collective Sort ProblemMirko Viroli, Matteo Casadei, Luca Gardelli. eumas 2006: [doi]

2005

Editorial message: special track on object oriented programming languages and systemsDavide Ancona, Rajeev R. Raje, Mirko Viroli. SAC 2005: 1256-1257 [doi]

On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in Luca Gardelli, Mirko Viroli, Andrea Omicini. atal 2006: 153-166 [doi]

On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MASLuca Gardelli, Mirko Viroli, Andrea Omicini. woa 2005: 85-90 [doi]

PrefaceDina Q. Goldin, Mirko Viroli. ENTCS, 141(5):1-4, 2005. [doi]

Lightweight Family PolymorphismAtsushi Igarashi, Chieri Saito, Mirko Viroli. aplas 2005: 161-177 [doi]

Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the ResearchAndrea Omicini, Alessandro Ricci, Mirko Viroli. selmas 2006: 71-90 [doi]

Time-Aware Coordination in ReSpecTAndrea Omicini, Alessandro Ricci, Mirko Viroli. coordination 2005: 268-282 [doi]

RBAC for Organisation and Security in an Agent Coordination InfrastructureAndrea Omicini, Alessandro Ricci, Mirko Viroli. ENTCS, 128(5):65-85, 2005. [doi]

A timed extension of ReSpecTAlessandro Ricci, Mirko Viroli. SAC 2005: 420-427 [doi]

Programming MAS with ArtifactsAlessandro Ricci, Mirko Viroli, Andrea Omicini. promas 2006: 206-221 [doi]

Understanding access restriction of variant parametric types and Java wildcardsGiovanni Rimassa, Mirko Viroli. SAC 2005: 1390-1397 [doi]

Effective and Efficient Compilation of Run-Time Generics in JavaMirko Viroli. ENTCS, 138(2):95-116, 2005. [doi]

On Access Restriction with Java WildcardsMirko Viroli, Giovanni Rimassa. jot, 4(10):117-139, 2005. [doi]

PreviousNext