dblp.uni-trier.dewww.uni-trier.de

Mirko Viroli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
114EEMirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli: A biochemical metaphor for developing eternally adaptive service ecosystems. SAC 2009: 1221-1222
113EEMirko Viroli, Matteo Casadei, Andrea Omicini: A framework for modelling and implementing self-organising coordination. SAC 2009: 1353-1360
112EEMatteo Casadei, Mirko Viroli: Using probabilistic model checking and simulation for designing self-organizing systems. SAC 2009: 2103-2104
111EEAmbra Molesini, Andrea Omicini, Mirko Viroli: Environment in agent-oriented software engineering methodologies. Multiagent and Grid Systems 5(1): 37-57 (2009)
2008
110EEEnrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney: Argumentation and Artifact for Dialogue Support. ArgMAS 2008: 107-121
109EEFranco Zambonelli, Mirko Viroli: Architecture and Metaphors for Eternally Adaptive Service Ecosystems. IDC 2008: 23-32
108EEMaurizio Cimadamore, Mirko Viroli: Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205
107EEAndrea 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)
106EECarlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008)
105EEAlessandro 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)
104EEMatteo Casadei, Andrea Omicini, Mirko Viroli: Prototyping A&A ReSpecT in Maude. Electr. Notes Theor. Comput. Sci. 194(4): 93-109 (2008)
103EELuca 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)
102EEChieri Saito, Atsushi Igarashi, Mirko Viroli: Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008)
101 Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli: An Adaptation Logic Framework for Java-based Component Systems. J. UCS 14(13): 2158-2181 (2008)
100EEMaurizio Cimadamore, Mirko Viroli: On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008)
2007
99EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: Give agents their artifacts: the A&A approach for engineering working environments in MAS. AAMAS 2007: 150
98EELuca Gardelli, Mirko Viroli, Andrea Omicini: Design Patterns for Self-organising Systems. CEEMAS 2007: 123-132
97EEMatteo 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
96EEMatteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf: Self-organized over-clustering avoidance in tuple-space systems. IEEE Congress on Evolutionary Computation 2007: 1408-1415
95EEMatteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf: A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems. IWSOS 2007: 146-160
94EEAlessandro Ricci, Mirko Viroli, Giulio Piancastelli: simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. LADS 2007: 261-278
93EEAtsushi Igarashi, Mirko Viroli: Variant path types for scalable extensibility. OOPSLA 2007: 113-132
92EEAlessandro Ricci, Mirko Viroli: simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. PPPJ 2007: 185-194
91EEMaurizio Cimadamore, Mirko Viroli: A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202
90EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: The A&AProgramming Model and Technology for Developing Agent Environments in MAS. PROMAS 2007: 89-106
89EEMaurizio Cimadamore, Mirko Viroli: Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322
88EEMirko Viroli, Matteo Casadei, Luca Gardelli: A self-organising solution to the collective sort problem in distributed tuple spaces. SAC 2007: 354-359
87EEMatteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli: On the Problem of Over-clustering in Tuple-based Coordination Systems. SASO 2007: 303-306
86EEMirko 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)
85EEMirko 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)
84EECarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 175(2): 1-2 (2007)
83EEMatteo 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)
82EEMirko Viroli, Andrea Omicini: ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications. Electr. Notes Theor. Comput. Sci. 180(2): 123-144 (2007)
81EEMirko Viroli: A core calculus for correlation in orchestration languages. J. Log. Algebr. Program. 70(1): 74-95 (2007)
80EECarlos Canal, Mirko Viroli: Preface. Sci. Comput. Program. 66(3): 181-183 (2007)
79EEMirko Viroli, Enrico Denti, Alessandro Ricci: Engineering a BPEL orchestration engine as a multi-agent system. Sci. Comput. Program. 66(3): 226-245 (2007)
78EEAndrea Omicini, Alessandro Ricci, Mirko Viroli: Timed environment for web agents. Web Intelligence and Agent Systems 5(2): 161-175 (2007)
2006
77EEAlessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva: Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts. E4MAS 2006: 124-140
76EELuca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini: Designing Self-organising MAS Environments: The Collective Sort Case. E4MAS 2006: 254-271
75EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: CArtA gO : A Framework for Prototyping Artifact-Based Environments in MAS. E4MAS 2006: 67-86
74EEMirko Viroli, Matteo Casadei, Luca Gardelli: A Case of Self-Organising Environment for MAS: the Collective Sort Problem. EUMAS 2006
73EEDavide Ancona, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2006: 1402-1403
72EEMatteo Casadei, Luca Gardelli, Mirko Viroli: Collective Sorting Tuple Spaces. WOA 2006
71EEEnrico Oliva, Mirko Viroli, Andrea Omicini: Minority Game: A Logic-Based Approach in TuCSoN. WOA 2006
70EEEnrico Oliva, Mirko Viroli, Andrea Omicini: Simulation of Minority Game in TuCSoN. WOA 2006
69EEAlessandro 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
68EEAtsushi Igarashi, Mirko Viroli: Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006)
67EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: Agent coordination contexts in a mas coordination infrastructure. Applied Artificial Intelligence 20(2-4): 179-202 (2006)
66EEAndrea Omicini, Alessandro Ricci, Mirko Viroli: Agens Faber: Toward a Theory of Artefacts for MAS. Electr. Notes Theor. Comput. Sci. 150(3): 21-36 (2006)
65EECarlos Canal, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 154(1): 1-2 (2006)
64EEMichele 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)
63EEAntonio 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)
62EEMirko Viroli, Andrea Omicini: Coordination as a Service. Fundam. Inform. 73(4): 507-534 (2006)
61EEMirko Viroli, Alessandro Ricci, Andrea Omicini: Operating instructions for intelligent agent coordination. Knowledge Eng. Review 21(1): 49-69 (2006)
60EEAndrea 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
59EEMirko Viroli, Alessandro Ricci, Andrea Omicini: An organisation infrastructure for Multi-Agent Systems based on Agent Coordination Contexts. AAMAS 2005: 1189-1190
58EEMirko Viroli, Andrea Omicini, Alessandro Ricci: An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts. AI*IA 2005: 198-211
57EEAtsushi Igarashi, Chieri Saito, Mirko Viroli: Lightweight Family Polymorphism. APLAS 2005: 161-177
56EEAndrea Omicini, Alessandro Ricci, Mirko Viroli: Time-Aware Coordination in ReSpecT. COORDINATION 2005: 268-282
55 Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva: Cognitive Stigmergy: A Framework Based on Agents and Artifacts. EUMAS 2005: 332-343
54EELuca 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
53EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: Programming MAS with Artifacts. PROMAS 2005: 206-221
52EEDavide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming languages and systems. SAC 2005: 1256-1257
51EEGiovanni Rimassa, Mirko Viroli: Understanding access restriction of variant parametric types and Java wildcards. SAC 2005: 1390-1397
50EEAlessandro Ricci, Mirko Viroli: A timed extension of ReSpecT. SAC 2005: 420-427
49EEAndrea Omicini, Alessandro Ricci, Mirko Viroli: Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research. SELMAS 2005: 71-90
48EELuca 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
47EEAndrea 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)
46EEMirko Viroli, Andrea Omicini: Process-algebraic approaches for multi-agent systems: an overview. Appl. Algebra Eng. Commun. Comput. 16(2-3): 69-75 (2005)
45EEAndrea 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)
44EEMirko Viroli: Effective and Efficient Compilation of Run-Time Generics in Java. Electr. Notes Theor. Comput. Sci. 138(2): 95-116 (2005)
43EEDina Q. Goldin, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 141(5): 1-4 (2005)
42EEAlessandro Ricci, Mirko Viroli: Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS. Informatica (Slovenia) 29(4): 433-444 (2005)
41EEMirko Viroli, Giovanni Rimassa: On Access Restriction with Java Wildcards. Journal of Object Technology 4(10): 117-139 (2005)
40EEDanny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet: Environments in multiagent systems. Knowledge Eng. Review 20(2): 127-141 (2005)
2004
39EEMirko Viroli, Alessandro Ricci: Instructions-Based Semantics of Agent Mediated Interaction. AAMAS 2004: 102-109
38EEAndrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini: Coordination Artifacts: Environment-Based Coordination for Intelligent Agents. AAMAS 2004: 286-293
37EEMirko Viroli, Alessandro Ricci: Agent Interaction Semantics by Timed Operating Instructions. AC 2004: 173-192
36EEAlessandro Ricci, Mirko Viroli, Andrea Omicini: Environment-Based Coordination Through Coordination Artifacts. E4MAS 2004: 190-214
35EELuca 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
34EEDavide Ancona, Rajeev R. Raje, Mirko Viroli: Editorial message: special track on object oriented programming language and systems. SAC 2004: 1265-1266
33EEAndrea 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
30EEAndrea 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)
29EEMirko Viroli: Towards a Formal Foundation to Orchestration Languages. Electr. Notes Theor. Comput. Sci. 105: 51-71 (2004)
28EEMirko Viroli: Verifying Properties of Coordination by Well-Structured Transition Systems. Electr. Notes Theor. Comput. Sci. 97: 67-96 (2004)
27EERonaldo 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
26EEFederico Bergenti, Giovanni Rimassa, Mirko Viroli: Operational semantics for agents: the grey-box modeling approach. AAMAS 2003: 934-935
25EEFederico 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
22EEMirko Viroli: A Type-Passing Approach for the Implementation of Parametric Methods in Java. Comput. J. 46(3): 263-294 (2003)
21EEMirko Viroli, Andrea Omicini: Coordination as a Service: Ontological and Formal Foundation. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
20EEAndrea 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
19EEMirko Viroli, Andrea Omicini: Specifying agent observable behaviour. AAMAS 2002: 712-720
18EEMirko Viroli, Andrea Omicini: Tuple-Based Models in the Observation Framework. COORDINATION 2002: 364-379
17EEAtsushi Igarashi, Mirko Viroli: On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469
16EEGiovanni 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
14EEMirko 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
10EEMirko Viroli, Andrea Omicini: An Observation Approach to the Semantics of Agent Communication Languages. Applied Artificial Intelligence 16(9-10): 775-793 (2002)
9EEMirko 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
7EEGianluca Moro, Mirko Viroli: Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions. HICSS 2001
6EEMirko Viroli, Gianluca Moro, Andrea Omicini: On observation as a coordination paradigm: an ontology and a formal framework. SAC 2001: 166-175
5EEMirko 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
3EEGianluca Moro, Mirko Viroli: On Observing and Constraining Active Systems. ESAW 2000: 34-50
2EEMirko 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

Coauthor Index

1Davide Ancona [34] [52] [73]
2Federico Bergenti [25] [26]
3Claudio Buda [69]
4Michele Cabano [64]
5Carlos Canal (Carlos Canal Velasco) [65] [80] [84] [106]
6Matteo Casadei [72] [74] [76] [83] [87] [88] [95] [96] [97] [103] [104] [112] [113] [114]
7Cristiano Castelfranchi [32] [35] [38]
8Maurizio Cimadamore [89] [91] [100] [105] [108]
9Marco Cioffi [30]
10Enrico Denti [64] [79]
11Luca Gardelli [48] [54] [55] [72] [74] [76] [77] [83] [88] [98] [103]
12Dina Q. Goldin [43]
13Tom Holvoet [40] [85]
14Atsushi Igarashi [17] [57] [68] [93] [102]
15Peter McBurney [110]
16Ronaldo Menezes [11] [27] [87] [95] [96] [97]
17Ambra Molesini [111]
18Sara Montagna [114]
19Gianluca Moro [1] [3] [6] [7]
20Antonio Natali [1] [2] [63] [69] [101]
21Enrico Oliva [55] [63] [70] [71] [77] [101] [110]
22Andrea Omicini [4] [6] [8] [9] [10] [11] [12] [13] [15] [18] [19] [20] [21] [23] [27] [30] [32] [33] [35] [36] [38] [45] [46] [47] [48] [49] [53] [54] [55] [56] [58] [59] [60] [61] [62] [66] [67] [69] [70] [71] [75] [76] [77] [78] [82] [86] [90] [98] [99] [103] [104] [107] [110] [111] [113]
23Giulio Piancastelli [94]
24Pascal Poizat [106]
25Rajeev R. Raje [34] [52]
26Alessandro Ricci [12] [13] [14] [20] [23] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [42] [45] [47] [49] [50] [53] [55] [56] [58] [59] [60] [61] [63] [64] [66] [67] [69] [75] [77] [78] [79] [85] [86] [90] [92] [94] [99] [101] [105] [107]
27Giovanni Rimassa [16] [23] [25] [26] [30] [33] [41] [51]
28Chieri Saito [57] [102]
29Kurt Schelfthout [85]
30Michael Schumacher [40]
31Robert Tolksdorf [87] [95] [96] [97]
32Luca Tummolini [32] [35] [38]
33Danny Weyns [40]
34Nicola Zaghini [69]
35Franco Zambonelli [85] [109] [114]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)