Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mirko Viroli
2010 – today
- 2013
[j63]Danilo Pianini, Sara Montagna, Mirko Viroli: Chemical-oriented simulation of computational systems with ALCHEMIST. J. Simulation 7(3): 202-215 (2013)- [j62]Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli: Injecting Self-Organisation into Pervasive Service Ecosystems. MONET 18(3): 398-412 (2013)
- [j61]Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluís Arcos: Description and composition of bio-inspired design patterns: a complete overview. Natural Computing 12(1): 43-67 (2013)
- [j60]Mirko Viroli: On competitive self-composition in pervasive services. Sci. Comput. Program. 78(5): 556-568 (2013)
- [j59]Elena Nardini, Andrea Omicini, Mirko Viroli: Semantic tuple centres. Sci. Comput. Program. 78(5): 569-582 (2013)
- [j58]Mirko Viroli, Jacob Beal, Kyle Usbeck: Operational semantics of proto. Sci. Comput. Program. 78(6): 633-656 (2013)
- [j57]Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli: Simulation in Agent-Oriented Software Engineering: The SODA case study. Sci. Comput. Program. 78(6): 705-714 (2013)
- [c105]Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli: Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks. SAC 2013: 1369-1376
- 2012
- [j56]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comp. Sci. 22(2): 267-326 (2012)
- [c104]Mirko Viroli, Danilo Pianini, Jacob Beal: Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments. COORDINATION 2012: 212-229
- [c103]Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson: Pervasive ecosystems: a coordination model based on semantic chemistry. SAC 2012: 295-302
- [c102]Sara Montagna, Danilo Pianini, Mirko Viroli: A model for drosophila melanogaster development from a single cell to stripe pattern formation. SAC 2012: 1406-1412
- [c101]Ronaldo Menezes, Andrea Omicini, Mirko Viroli: Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp. SAC 2012: 1557-1559
- [c100]Sara Montagna, Danilo Pianini, Mirko Viroli: Gradient-Based Self-Organisation Patterns of Anticipative Adaptation. SASO 2012: 169-174
- [c99]Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna: Self-Organising Semantic Resource Discovery for Pervasive Systems. SASO Workshops 2012: 181-186
- [c98]Matteo Casadei, Mirko Viroli: Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. SASO Workshops 2012: 199-204
- [c97]Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla-Esso Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli: Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach. SASO Workshops 2012: 223-228
- [i1]Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll: Organizing the Aggregate: Languages for Spatial Computing. CoRR abs/1202.5509 (2012)
- 2011
- [j55]Alessandro Ricci, Michele Piunti, Mirko Viroli: Environment programming in multi-agent systems: an artifact-based perspective. Autonomous Agents and Multi-Agent Systems 23(2): 158-192 (2011)
- [j54]Franco Zambonelli, Mirko Viroli: A survey on nature-inspired metaphors for pervasive service ecosystems. Int. J. Pervasive Computing and Communications 7(3): 186-204 (2011)
- [j53]Peter McBurney, Simon Parsons, Mirko Viroli: A quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue. Knowledge Eng. Review 26(1): 1-3 (2011)
- [j52]Andrea Omicini, Mirko Viroli: Coordination models and languages: from parallel computing to self-organisation. Knowledge Eng. Review 26(1): 53-59 (2011)
- [j51]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 7: 197-199 (2011)
- [j50]
- [j49]Alessandro Ricci, Mirko Viroli, Giulio Piancastelli: simpA: An agent-oriented approach for programming concurrent applications on top of Java. Sci. Comput. Program. 76(1): 37-62 (2011)
- [j48]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli: Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces. TAAS 6(2): 14 (2011)
- [c96]Danilo Pianini, Sara Montagna, Mirko Viroli: A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems. FedCSIS 2011: 667-674
- [c95]
- [c94]Marco Sbaraglia, Matteo Casadei, Mirko Viroli: Programming coordination laws of artifacts in CArtAgO. SAC 2011: 885-886
- [c93]
- [c92]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli: A Coordination Approach to Adaptive Pervasive Service Ecosystems. SASO Workshops 2011: 114-119
- [c91]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli: Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems. SASO 2011: 223-224
- [c90]Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo: Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. SERENE 2011: 115-129
- [c89]Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli: Coordinating Spatially-Situated Pervasive Service Ecosystems. WOA 2011: 19-27
- [c88]Danilo Pianini, Mirko Viroli, Sara Montagna: A Simulation Framework for Pervasive Services Ecosystems. WOA 2011: 150-157
- 2010
- [j47]Sara Montagna, Mirko Viroli: A Framework for Modelling and Simulating Networks of Cells. Electr. Notes Theor. Comput. Sci. 268: 115-129 (2010)
- [j46]Mirko Viroli, Franco Zambonelli: A biochemical approach to adaptive service ecosystems. Inf. Sci. 180(10): 1876-1892 (2010)
- [c87]Mirko Viroli, Matteo Casadei: Chemical-inspired self-composition of competing services. SAC 2010: 2029-2036
- [c86]Elena Nardini, Mirko Viroli, Emanuele Panzavolta: Coordination in open and dynamic environments with TuCSoN semantic tuple centres. SAC 2010: 2037-2044
- [c85]Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli: Self Organization in Coordination Systems Using a WordNet-Based Ontology. SASO 2010: 114-123
- [c84]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli: Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces. SASO Workshops 2010: 212-217
- [c83]Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini: A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN. WOA 2010
- [c82]Franco Zambonelli, Mirko Viroli: From Service-Oriented Architectures to Nature-Inspired Pervasive Service Ecosystems. WOA 2010
- [e2]Andrea Omicini, Mirko Viroli (Eds.): Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010. CEUR Workshop Proceedings 621, CEUR-WS.org 2010
2000 – 2009
- 2009
- [j45]Ambra Molesini, Andrea Omicini, Mirko Viroli: Environment in agent-oriented software engineering methodologies. Multiagent and Grid Systems 5(1): 37-57 (2009)
- [j44]Matteo Casadei, Mirko Viroli, Luca Gardelli: On the collective sort problem for distributed tuple spaces. Sci. Comput. Program. 74(9): 702-722 (2009)
- [c81]Matteo Casadei, Mirko Viroli: An experience on probabilistic model checking and stochastic simulation to design self-organizing systems. IEEE Congress on Evolutionary Computation 2009: 1538-1545
- [c80]Sara Montagna, Mirko Viroli: A computational framework for modelling multicellular biochemistry. IEEE Congress on Evolutionary Computation 2009: 2233-2240
- [c79]Mirko Viroli, Matteo Casadei: Biochemical Tuple Spaces for Self-organising Coordination. COORDINATION 2009: 143-162
- [c78]Elena Nardini, Andrea Omicini, Mirko Viroli: General-Purpose Coordination Abstractions for Managing Interaction in MAS. Web Intelligence/IAT Workshops 2009: 501-506
- [c77]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli: FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225
- [c76]Alessandro Ricci, Michele Piunti, Mirko Viroli: Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming. LADS 2009: 35-54
- [c75]Alessandro Ricci, Michele Piunti, Mirko Viroli: Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming. MALLOW 2009
- [c74]Alessandro Ricci, Mirko Viroli, Michele Piunti: Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. PROMAS 2009: 133-150
- [c73]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli: A biochemical metaphor for developing eternally adaptive service ecosystems. SAC 2009: 1221-1222
- [c72]Mirko Viroli, Matteo Casadei, Andrea Omicini: A framework for modelling and implementing self-organising coordination. SAC 2009: 1353-1360
- [c71]Matteo Casadei, Mirko Viroli: Using probabilistic model checking and simulation for designing self-organizing systems. SAC 2009: 2103-2104
- [c70]Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini: Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. SOAR 2009: 152-176
- [p1]Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli: Agents, Intelligence and Tools. Artificial Intelligence: An International Perspective 2009: 157-173
- 2008
- [j43]Andrea Omicini, Alessandro Ricci, Mirko Viroli: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3): 432-456 (2008)
- [j42]Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
- [j41]Matteo Casadei, Andrea Omicini, Mirko Viroli: Prototyping A&A ReSpecT in Maude. Electr. Notes Theor. Comput. Sci. 194(4): 93-109 (2008)
- [j40]Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore: Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. Electr. Notes Theor. Comput. Sci. 194(4): 111-132 (2008)
- [j39]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini: Designing self-organising environments with agents and artefacts: a simulation-driven approach. IJAOSE 2(2): 171-195 (2008)
- [j38]Chieri Saito, Atsushi Igarashi, Mirko Viroli: Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008)
- [j37]Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli: An Adaptation Logic Framework for Java-based Component Systems. J. UCS 14(13): 2158-2181 (2008)
- [j36]Maurizio Cimadamore, Mirko Viroli: On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008)
- [c69]Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney: Argumentation and Artifact for Dialogue Support. ArgMAS 2008: 107-121
- [c68]Franco Zambonelli, Mirko Viroli: Architecture and Metaphors for Eternally Adaptive Service Ecosystems. IDC 2008: 23-32
- [c67]Maurizio Cimadamore, Mirko Viroli: Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205
- [c66]Matteo Casadei, Mirko Viroli: Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. SASO 2008: 213-222
- [c65]Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli: Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems. SASO Workshops 2008: 332-337
- [c64]Matteo Casadei, Mirko Viroli, Marco Santarelli: Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. WETICE 2008: 70-75
- 2007
- [j35]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)
- [j34]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)
- [j33]
- [j32]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)
- [j31]Mirko Viroli, Andrea Omicini: ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. Electr. Notes Theor. Comput. Sci. 180(2): 123-144 (2007)
- [j30]Mirko Viroli: A core calculus for correlation in orchestration languages. J. Log. Algebr. Program. 70(1): 74-95 (2007)
- [j29]
- [j28]Mirko Viroli, Enrico Denti, Alessandro Ricci: Engineering a BPEL orchestration engine as a multi-agent system. Sci. Comput. Program. 66(3): 226-245 (2007)
- [j27]Andrea Omicini, Alessandro Ricci, Mirko Viroli: Timed environment for web agents. Web Intelligence and Agent Systems 5(2): 161-175 (2007)
- [c63]Alessandro Ricci, Mirko Viroli, Andrea Omicini: Give agents their artifacts: the A&A approach for engineering working environments in MAS. AAMAS 2007: 150
- [c62]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf: Self-organized over-clustering avoidance in tuple-space systems. IEEE Congress on Evolutionary Computation 2007: 1408-1415
- [c61]Luca Gardelli, Mirko Viroli, Andrea Omicini: Design Patterns for Self-organising Systems. CEEMAS 2007: 123-132
- [c60]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
- [c59]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
- [c58]Alessandro Ricci, Mirko Viroli, Giulio Piancastelli: simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. LADS 2007: 261-278
- [c57]
- [c56]Alessandro Ricci, Mirko Viroli: simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. PPPJ 2007: 185-194
- [c55]Maurizio Cimadamore, Mirko Viroli: A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202
- [c54]Alessandro Ricci, Mirko Viroli, Andrea Omicini: The A&AProgramming Model and Technology for Developing Agent Environments in MAS. PROMAS 2007: 89-106
- [c53]Mirko Viroli, Matteo Casadei, Luca Gardelli: A self-organising solution to the collective sort problem in distributed tuple spaces. SAC 2007: 354-359
- [c52]Maurizio Cimadamore, Mirko Viroli: Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322
- [c51]Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli: On the Problem of Over-clustering in Tuple-based Coordination Systems. SASO 2007: 303-306
- 2006
- [j26]Alessandro Ricci, Mirko Viroli, Andrea Omicini: Agent coordination contexts in a mas coordination infrastructure. Applied Artificial Intelligence 20(2-4): 179-202 (2006)
- [j25]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)
- [j24]
- [j23]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)
- [j22]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)
- [j21]
- [j20]Mirko Viroli, Alessandro Ricci, Andrea Omicini: Operating instructions for intelligent agent coordination. Knowledge Eng. Review 21(1): 49-69 (2006)
- [j19]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)
- [j18]Atsushi Igarashi, Mirko Viroli: Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006)
- [c50]Alessandro Ricci, Mirko Viroli, Andrea Omicini: CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS. E4MAS 2006: 67-86
- [c49]Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva: Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts. E4MAS 2006: 124-140
- [c48]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini: Designing Self-organising MAS Environments: The Collective Sort Case. E4MAS 2006: 254-271
- [c47]Mirko Viroli, Matteo Casadei, Luca Gardelli: A Case of Self-Organising Environment for MAS: the Collective Sort Problem. EUMAS 2006
- [c46]Davide Ancona, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2006: 1402-1403
- [c45]
- [c44]
- [c43]Enrico Oliva, Mirko Viroli, Andrea Omicini: Minority Game: A Logic-Based Approach in TuCSoN. WOA 2006
- [c42]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
- 2005
- [j17]Mirko Viroli, Andrea Omicini: Process-algebraic approaches for multi-agent systems: an overview. Appl. Algebra Eng. Commun. Comput. 16(2-3): 69-75 (2005)
- [j16]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)
- [j15]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)
- [j14]Mirko Viroli: Effective and Efficient Compilation of Run-Time Generics in Java. Electr. Notes Theor. Comput. Sci. 138(2): 95-116 (2005)
- [j13]
- [j12]Alessandro Ricci, Mirko Viroli: Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS. Informatica (Slovenia) 29(4): 433-444 (2005)
- [j11]Mirko Viroli, Giovanni Rimassa: On Access Restriction with Java Wildcards. Journal of Object Technology 4(10): 117-139 (2005)
- [j10]Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet: Environments in multiagent systems. Knowledge Eng. Review 20(2): 127-141 (2005)
- [c41]Mirko Viroli, Andrea Omicini, Alessandro Ricci: An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts. AI*IA 2005: 198-211
- [c40]
- [c39]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
- [c38]Mirko Viroli, Alessandro Ricci, Andrea Omicini: An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts. AAMAS 2005: 1189-1190
- [c37]Andrea Omicini, Alessandro Ricci, Mirko Viroli: Time-Aware Coordination in ReSpecT. COORDINATION 2005: 268-282
- [c36]Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva: Cognitive Stigmergy: A Framework Based on Agents and Artifacts. EUMAS 2005: 332-343
- [c35]Alessandro Ricci, Mirko Viroli, Andrea Omicini: Programming MAS with Artifacts. PROMAS 2005: 206-221
- [c34]
- [c33]Davide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257
- [c32]Giovanni Rimassa, Mirko Viroli: Understanding access restriction of variant parametric types and Java wildcards. SAC 2005: 1390-1397
- [c31]Andrea Omicini, Alessandro Ricci, Mirko Viroli: Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research. SELMAS 2005: 71-90
- [c30]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
- 2004
- [j9]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)
- [j8]Mirko Viroli: Verifying Properties of Coordination by Well-Structured Transition Systems. Electr. Notes Theor. Comput. Sci. 97: 67-96 (2004)
- [j7]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)
- [j6]Mirko Viroli: Towards a Formal Foundation to Orchestration Languages. Electr. Notes Theor. Comput. Sci. 105: 51-71 (2004)
- [c29]Mirko Viroli, Alessandro Ricci: Agent Interaction Semantics by Timed Operating Instructions. AC 2004: 173-192
- [c28]Mirko Viroli, Alessandro Ricci: Instructions-Based Semantics of Agent Mediated Interaction. AAMAS 2004: 102-109
- [c27]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini: Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. AAMAS 2004: 286-293
- [c26]Alessandro Ricci, Mirko Viroli, Andrea Omicini: Environment-Based Coordination Through Coordination Artifacts. E4MAS 2004: 190-214
- [c25]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
- [c24]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa: Integrating objective & subjective coordination in multi-agent systems. SAC 2004: 449-455
- [c23]Davide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266
- [c22]
- [c21]Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini: A Conceptual Framework for Self-Organising MAS. WOA 2004: 100-109
- 2003
- [j5]Mirko Viroli: A Type-Passing Approach for the Implementation of Parametric Methods in Java. Comput. J. 46(3): 263-294 (2003)
- [j4]Mirko Viroli, Andrea Omicini: Coordination as a Service: Ontological and Formal Foundation. Electr. Notes Theor. Comput. Sci. 68(3): 457-482 (2003)
- [j3]Andrea Omicini, Alessandro Ricci, Mirko Viroli: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. Electr. Notes Theor. Comput. Sci. 85(3): 17-36 (2003)
- [c20]Federico Bergenti, Giovanni Rimassa, Mirko Viroli: Operational semantics for agents: the grey-box modeling approach. AAMAS 2003: 934-935
- [c19]Federico Bergenti, Giovanni Rimassa, Mirko Viroli: Operational Semantics for Agents by Iterated Refinement. DALT 2003: 37-53
- [c18]Mirko Viroli: Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media. SAC 2003: 394-401
- [c17]Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli: Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN. WOA 2003: 85-91
- 2002
- [j2]Mirko Viroli, Andrea Omicini: An Observation Approach to the Semantics of Agent Communication Languages. Applied Artificial Intelligence 16(9-10): 775-793 (2002)
- [j1]
- [c16]
- [c15]Mirko Viroli, Andrea Omicini: Tuple-Based Models in the Observation Framework. COORDINATION 2002: 364-379
- [c14]Atsushi Igarashi, Mirko Viroli: On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469
- [c13]Giovanni Rimassa, Mirko Viroli: An Operational Framework for the Semantics of Agent Communication Languages. ESAW 2002: 111-125
- [c12]Mirko Viroli, Andrea Omicini: A Specification Language for Agents Observable Behavior. IC-AI 2002: 321-327
- [c11]Mirko Viroli, Alessandro Ricci: Tuple-Based Coordination Models in Event-Based Scenarios. ICDCS Workshops 2002: 595-601
- [c10]Alessandro Ricci, Andrea Omicini, Mirko Viroli: Extending ReSpecT for Multiple Coordination Flows. PDPTA 2002: 1407-1413
- [c9]Mirko Viroli, Andrea Omicini, Alessandro Ricci: On the Expressiveness of Event-based Coordination Media. PDPTA 2002: 1414-1420
- [c8]
- 2001
- [c7]Gianluca Moro, Mirko Viroli: Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions. HICSS 2001
- [c6]Mirko Viroli, Gianluca Moro, Andrea Omicini: On observation as a coordination paradigm: an ontology and a formal framework. SAC 2001: 166-175
- [c5]Mirko Viroli: Parametric polymorphism in Java: an efficient implementation for parametric methods. SAC 2001: 610-619
- [c4]Mirko Viroli, Andrea Omicini: Multi-Agent Systems as Composition of Observable Systems. WOA 2001: 62-67
- [e1]Andrea Omicini, Mirko Viroli (Eds.): 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, ISBN 88-371-1272-6
- 2000
- [c3]
- [c2]Mirko Viroli, Antonio Natali: Parametric polymorphism in Java: an approach to translation based on reflective features. OOPSLA 2000: 146-165
- [c1]Gianluca Moro, Antonio Natali, Mirko Viroli: On the Consistent Observation of Active Systems. WOA 2000: 47-51
Coauthor Index
[j59] [j57] [c101] [j52] [j51] [c95] [c85] [c83] [e2] [j45] [c78] [c72] [c70] [p1] [j43] [j41] [j39] [c69] [j35] [j31] [j27] [c63] [c61] [c54] [j26] [j25] [j21] [j20] [j19] [c50] [c49] [c48] [c44] [c43] [c42] [j17] [j16] [j15] [c41] [c39] [c38] [c37] [c36] [c35] [c31] [c30] [j9] [j7] [c27] [c26] [c25] [c24] [c21] [j4] [j3] [c17] [j2] [j1] [c16] [c15] [c12] [c10] [c9] [c8] [c6] [c4] [e1]
[j56] [j55] [j49] [c77] [c76] [c75] [c74] [p1] [j43] [j40] [j37] [j35] [j34] [j28] [j27] [c63] [c58] [c56] [c54] [j26] [j25] [j23] [j22] [j20] [j19] [c50] [c49] [c42] [j16] [j15] [j12] [j10] [c41] [c38] [c37] [c36] [c35] [c34] [c31] [j9] [c29] [c28] [c27] [c26] [c25] [c24] [c22] [c21] [j3] [c17] [c11] [c10] [c9]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team