| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll |
Organizing the Aggregate: Languages for Spatial Computing  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
simpA: An agent-oriented approach for programming concurrent applications on top of Java. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter McBurney, Simon Parsons, Mirko Viroli |
A quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue. |
Knowledge Eng. Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Mirko Viroli |
Coordination models and languages: from parallel computing to self-organisation. |
Knowledge Eng. Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Juan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally |
Self-aware Pervasive Service Ecosystems. |
Procedia CS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli |
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces. |
TAAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Michele Piunti, Mirko Viroli |
Environment programming in multi-agent systems: an artifact-based perspective. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Zambonelli, Mirko Viroli |
A survey on nature-inspired metaphors for pervasive service ecosystems. |
Int. J. Pervasive Computing and Communications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli |
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems. |
SASO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Pianini, Sara Montagna, Mirko Viroli |
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems. |
FedCSIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli |
Coordinating Spatially-Situated Pervasive Service Ecosystems. |
WOA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Danilo Pianini, Mirko Viroli, Sara Montagna |
A Simulation Framework for Pervasive Services Ecosystems. |
WOA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Elena Nardini, Andrea Omicini, Mirko Viroli |
Description spaces with fuzziness. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Sbaraglia, Matteo Casadei, Mirko Viroli |
Programming coordination laws of artifacts in CArtAgO. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Jacob Beal, Matteo Casadei |
Core operational semantics of Proto. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo |
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Franco Zambonelli |
A biochemical approach to adaptive service ecosystems. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Montagna, Mirko Viroli |
A Framework for Modelling and Simulating Networks of Cells. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli |
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces. |
SASO Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli |
Self Organization in Coordination Systems Using a WordNet-Based Ontology. |
SASO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Mirko Viroli (eds.) |
Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010. |
WOA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Franco Zambonelli, Mirko Viroli |
From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems. |
WOA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini |
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN. |
WOA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elena Nardini, Mirko Viroli, Emanuele Panzavolta |
Coordination in open and dynamic environments with TuCSoN semantic tuple centres. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
TuCSoN, coordination infrastructure, semantic tuple centre, semantic tuple space computing, semantic web, pervasive computing, description logic, ReSpecT |
| 1 | Mirko Viroli, Matteo Casadei |
Chemical-inspired self-composition of competing services. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
automated service composition, biochemical tuple space |
| 1 | Matteo Casadei, Mirko Viroli, Luca Gardelli |
On the collective sort problem for distributed tuple spaces. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ambra Molesini, Andrea Omicini, Mirko Viroli |
Environment in agent-oriented software engineering methodologies. |
Multiagent and Grid Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli |
Agents, Intelligence and Tools. |
Artificial Intelligence: An International Perspective |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. |
ICSOFT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini |
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. |
SOAR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei |
Biochemical Tuple Spaces for Self-organising Coordination. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Mirko Viroli |
Using probabilistic model checking and simulation for designing self-organizing systems. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
collective sort, self-organization, stochastic simulation, probabilistic model checking |
| 1 | Mirko Viroli, Matteo Casadei, Andrea Omicini |
A framework for modelling and implementing self-organising coordination. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
A&A, TuCSoN, chemical coordination, self-organising coordination, tuple clustering, ReSpecT |
| 1 | Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli |
A biochemical metaphor for developing eternally adaptive service ecosystems. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Mirko Viroli |
An experience on probabilistic model checking and stochastic simulation to design self-organizing systems. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Montagna, Mirko Viroli |
A computational framework for modelling multicellular biochemistry. |
IEEE Congress on Evolutionary Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Nardini, Andrea Omicini, Mirko Viroli |
General-Purpose Coordination Abstractions for Managing Interaction in MAS. |
Web Intelligence/IAT Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Michele Piunti |
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Michele Piunti, Mirko Viroli |
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming. |
LADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Michele Piunti, Mirko Viroli |
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Cimadamore, Mirko Viroli |
On the reification of Java wildcards. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli |
An Adaptation Logic Framework for Java-based Component Systems. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Pascal Poizat, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore |
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Andrea Omicini, Mirko Viroli |
Prototyping A&A ReSpecT in Maude. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini |
Designing self-organising environments with agents and artefacts: a simulation-driven approach. |
IJAOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Artifacts in the A&A meta-model for multi-agent systems. |
Autonomous Agents and Multi-Agent Systems |
2008 |
DBLP DOI BibTeX RDF |
A&A meta-model, MAS environment, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure, Coordination, Activity theory, Distributed cognition, Artifact |
| 1 | Chieri Saito, Atsushi Igarashi, Mirko Viroli |
Lightweight family polymorphism. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli |
Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems. |
SASO Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Mirko Viroli |
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Cimadamore, Mirko Viroli |
Integrating Java and Prolog through generic methods and type inference. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
java, prolog, generics, wildcards, multiparadigm |
| 1 | Matteo Casadei, Mirko Viroli, Marco Santarelli |
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney |
Argumentation and Artifact for Dialogue Support. |
ArgMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Zambonelli, Mirko Viroli |
Architecture and Metaphors for Eternally Adaptive Service Ecosystems. |
IDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli |
A core calculus for correlation in orchestration languages. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Enrico Denti, Alessandro Ricci |
Engineering a BPEL orchestration engine as a multi-agent system. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Timed environment for web agents. |
Web Intelligence and Agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mirko Viroli, Andrea Omicini, Alessandro Ricci |
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts. |
Applied Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Luca Gardelli, Mirko Viroli |
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Andrea Omicini |
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli |
Infrastructures for the environment of multiagent systems. |
Autonomous Agents and Multi-Agent Systems |
2007 |
DBLP DOI BibTeX RDF |
Multiagent systems, Environment, Software infrastructures |
| 1 | Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli |
On the Problem of Over-clustering in Tuple-based Coordination Systems. |
SASO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei, Luca Gardelli |
A self-organising solution to the collective sort problem in distributed tuple spaces. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
self-organization, tuple spaces, coordination models |
| 1 | Maurizio Cimadamore, Mirko Viroli |
Reifying wildcards in Java using the EGO approach. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
java wildcards, variant parametric types, java generics |
| 1 | Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf |
Self-organized over-clustering avoidance in tuple-space systems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf |
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems. |
IWSOS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Andrea Omicini |
The A&AProgramming Model and Technology for Developing Agent Environments in MAS. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli |
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
agents & artifacts, simpA, concurrent programming |
| 1 | Maurizio Cimadamore, Mirko Viroli |
A Prolog-oriented extension of Java programming based on generics and annotations. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
Java, Prolog, multiparadigm, Java generics |
| 1 | Atsushi Igarashi, Mirko Viroli |
Variant path types for scalable extensibility. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
scalable extensibility, variant path types, subtyping, variance |
| 1 | Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. |
LADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Andrea Omicini |
Give agents their artifacts: the A&A approach for engineering working environments in MAS. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
artifact theory, artifact-based environments, environment design, multiagent system infrastructures, multiagent system languages, programming multiagent systems |
| 1 | Luca Gardelli, Mirko Viroli, Andrea Omicini |
Design Patterns for Self-organising Systems. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Alessandro Ricci, Andrea Omicini |
Operating instructions for intelligent agent coordination. |
Knowledge Eng. Review |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Andrea Omicini |
Agent coordination contexts in a mas coordination infrastructure. |
Applied Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli |
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
Agens Faber: Toward a Theory of Artefacts for MAS. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli |
A Framework for Engineering Interactions in Java-based Component Systems. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi, Mirko Viroli |
Variant parametric types: A flexible subtyping scheme for generics. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Generic classes, Java, subtyping, language design, variance, language semantics |
| 1 | Mirko Viroli, Andrea Omicini |
Coordination as a Service. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Matteo Casadei, Luca Gardelli, Mirko Viroli |
Collective Sorting Tuple Spaces. |
WOA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Oliva, Mirko Viroli, Andrea Omicini |
Minority Game: A Logic-Based Approach in TuCSoN. |
WOA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Enrico Oliva, Mirko Viroli, Andrea Omicini |
Simulation of Minority Game in TuCSoN. |
WOA |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Davide Ancona, Mirko Viroli |
Editorial message: special track on object oriented programming languages and systems. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini |
Designing Self-organising MAS Environments: The Collective Sort Case. |
E4MAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva |
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts. |
E4MAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli, Andrea Omicini |
CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS. |
E4MAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Matteo Casadei, Luca Gardelli |
A Case of Self-Organising Environment for MAS: the Collective Sort Problem. |
EUMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Ricci, Mirko Viroli |
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS. |
Informatica (Slovenia) |
2005 |
DBLP BibTeX RDF |
|
| 1 | Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet |
Environments in multiagent systems. |
Knowledge Eng. Review |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirko Viroli, Giovanni Rimassa |
On Access Restriction with Java Wildcards. |
Journal of Object Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Alessandro Ricci, Mirko Viroli |
RBAC for Organisation and Security in an Agent Coordination Infrastructure. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dina Q. Goldin, Mirko Viroli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")