The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Mirko Viroli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  90. Argumentation and Artifact for Dialogue Support. [Citation Graph (, )][DBLP]


  91. Give agents their artifacts: the A&A approach for engineering working environments in MAS. [Citation Graph (, )][DBLP]


  92. Biochemical Tuple Spaces for Self-organising Coordination. [Citation Graph (, )][DBLP]


  93. A Case of Self-Organising Environment for MAS: the Collective Sort Problem. [Citation Graph (, )][DBLP]


  94. General-Purpose Coordination Abstractions for Managing Interaction in MAS. [Citation Graph (, )][DBLP]


  95. FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. [Citation Graph (, )][DBLP]


  96. The A&AProgramming Model and Technology for Developing Agent Environments in MAS. [Citation Graph (, )][DBLP]


  97. Integrating Java and Prolog through generic methods and type inference. [Citation Graph (, )][DBLP]


  98. Using probabilistic model checking and simulation for designing self-organizing systems. [Citation Graph (, )][DBLP]


  99. A framework for modelling and implementing self-organising coordination. [Citation Graph (, )][DBLP]


  100. A biochemical metaphor for developing eternally adaptive service ecosystems. [Citation Graph (, )][DBLP]


  101. Chemical-inspired self-composition of competing services. [Citation Graph (, )][DBLP]


  102. Coordination in open and dynamic environments with TuCSoN semantic tuple centres. [Citation Graph (, )][DBLP]


  103. Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. [Citation Graph (, )][DBLP]


  104. Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. [Citation Graph (, )][DBLP]


  105. Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. [Citation Graph (, )][DBLP]


  106. Nature-Inspired Spatial Metaphors for Pervasive Service Ecosystems. [Citation Graph (, )][DBLP]


  107. Self-organized over-clustering avoidance in tuple-space systems. [Citation Graph (, )][DBLP]


  108. A computational framework for modelling multicellular biochemistry. [Citation Graph (, )][DBLP]


  109. An experience on probabilistic model checking and stochastic simulation to design self-organizing systems. [Citation Graph (, )][DBLP]


  110. simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. [Citation Graph (, )][DBLP]


  111. Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming. [Citation Graph (, )][DBLP]


  112. Architecture and Metaphors for Eternally Adaptive Service Ecosystems. [Citation Graph (, )][DBLP]


  113. Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming. [Citation Graph (, )][DBLP]


  114. Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts. [Citation Graph (, )][DBLP]


  115. Artifacts in the A&A meta-model for multi-agent systems. [Citation Graph (, )][DBLP]


  116. Preface. [Citation Graph (, )][DBLP]


  117. Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. [Citation Graph (, )][DBLP]


  118. Prototyping A&A ReSpecT in Maude. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002