| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Mirko Viroli Davide Ancona , Rajeev Raje , Mirko Viroli: Editorial message: special track on object oriented programming language and systems. SAC 2004 : 1265-1266 Andrea Omicini , Alessandro Ricci , Mirko Viroli, Giovanni Rimassa : Integrating objective & subjective coordination in multi-agent systems. SAC 2004 : 449-455 Federico Bergenti , Giovanni Rimassa , Mirko Viroli: Operational semantics for agents: the grey-box modeling approach. AAMAS 2003 : 934-935 Mirko Viroli: Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media. SAC 2003 : 394-401 Mirko Viroli: A Type-Passing Approach for the Implementation of Parametric Methods in Java. Comput. J. 46 (3): 263-294 (2003) Mirko Viroli, Andrea Omicini : Coordination as a Service: Ontological and Formal Foundation. Electr. Notes Theor. Comput. Sci. 68 (3): (2003) Andrea Omicini , Alessandro Ricci , Mirko Viroli: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. Electr. Notes Theor. Comput. Sci. 85 (3): (2003) Mirko Viroli, Andrea Omicini : Specifying agent observable behaviour. AAMAS 2002 : 712-720 Mirko Viroli, Andrea Omicini : Tuple-Based Models in the Observation Framework. COORDINATION 2002 : 364-379 Atsushi Igarashi , Mirko Viroli: On Variance-Based Subtyping for Parametric Types. ECOOP 2002 : 441-469 Giovanni Rimassa , Mirko Viroli: An Operational Framework for the Semantics of Agent Communication Languages. ESAW 2002 : 111-125 Mirko Viroli, Andrea Omicini : A Specification Language for Agents Observable Behavior. IC-AI 2002 : 321-327 Mirko Viroli, Alessandro Ricci : Tuple-Based Coordination Models in Event-Based Scenarios. ICDCS Workshops 2002 : 595-601 Alessandro Ricci , Andrea Omicini , Mirko Viroli: Extending ReSpecT for Multiple Coordination Flows. PDPTA 2002 : 1407-1413 Mirko Viroli, Andrea Omicini , Alessandro Ricci : On the Expressiveness of Event-based Coordination Media. PDPTA 2002 : 1414-1420 Mirko Viroli, Andrea Omicini : An Observation Approach to the Semantics of Agent Communication Languages. Applied Artificial Intelligence 16 (9-10): 775-793 (2002) Mirko Viroli, Andrea Omicini : Modelling Agents as Observable Sources. J. UCS 8 (4): 423-451 (2002) Gianluca Moro , Mirko Viroli: Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions. HICSS 2001 Mirko Viroli, Gianluca Moro , Andrea Omicini : On observation as a coordination paradigm: an ontology and a formal framework. SAC 2001 : 166-175 Mirko Viroli: Parametric polymorphism in Java: an efficient implementation for parametric methods. SAC 2001 : 610-619 Gianluca Moro , Mirko Viroli: On Observing and Constraining Active Systems. ESAW 2000 : 34-50 Mirko Viroli, Antonio Natali : Parametric polymorphism in Java: an approach to translation based on reflective features. OOPSLA 2000 : 146-165 1 [ 22 ] 2 [ 20 ] 3 [ 13 ] 4 [ 2 ] [ 4 ] [ 5 ] 5 [ 1 ] 6 [ 4 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 11 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 21 ] 7 [ 22 ] 8 [ 8 ] [ 9 ] [ 10 ] [ 16 ] [ 21 ] 9 [ 12 ] [ 20 ] [ 21 ]  ©2004 Association for Computing Machinery |
