Mirko Viroli
Orcid: 0000-0003-2702-5702Affiliations:
- University of Bologna, Italy
According to our database1,
Mirko Viroli
authored at least 308 papers
between 2000 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
2024
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw., April, 2024
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning.
Sci. Comput. Program., 2024
Internet Things, 2024
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime.
Future Gener. Comput. Syst., 2024
Proceedings of the 25th Workshop "From Objects to Agents", 2024
Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, 2024
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Proceedings of the Coordination Models and Languages, 2024
Proceedings of the Coordination Models and Languages, 2024
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Swarm Intell., June, 2023
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.
Log. Methods Comput. Sci., 2023
Proceedings of the 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things, 2023
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala.
Proceedings of the Coordination Models and Languages, 2023
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
Proceedings of the Coordination Models and Languages, 2023
Proceedings of the Coordination Models and Languages, 2023
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
2022
Dataset, April, 2022
J. Syst. Softw., 2022
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge.
IEEE Internet Things J., 2022
IEEE Internet Comput., 2022
Dagstuhl Artifacts Ser., 2022
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022
2021
Sci. Comput. Program., 2021
Log. Methods Comput. Sci., 2021
J. Syst. Softw., 2021
Partitioned integration and coordination via the self-organising coordination regions pattern.
Future Gener. Comput. Syst., 2021
Eng. Appl. Artif. Intell., 2021
Comput. Electr. Eng., 2021
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Dataset, November, 2020
IEEE Technol. Soc. Mag., 2020
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment.
Future Internet, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Coordination Models and Languages, 2020
Proceedings of the Coordination Models and Languages, 2020
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Inf. Sci., 2019
Future Gener. Comput. Syst., 2019
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach.
Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019
Proceedings of the 13th European Conference on Software Architecture, 2019
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019
2018
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018
ACM Trans. Model. Comput. Simul., 2018
Sci. Comput. Program., 2018
Sci. Comput. Program., 2018
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things.
Proceedings of the 4th IEEE World Forum on Internet of Things, 2018
Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.
Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018
Proceedings of the Coordination Models and Languages, 2018
Proceedings of the Coordination Models and Languages, 2018
2017
ACM Trans. Auton. Adapt. Syst., 2017
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE.
Int. J. Distributed Syst. Technol., 2017
Proceedings of the Proceedings First Workshop on Architectures, 2017
Proceedings of the 18th Workshop "From Objects to Agents", 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration.
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017
Proceedings of the 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, 2017
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.
Proceedings of the Coordination Models and Languages, 2017
2016
ACM Trans. Auton. Adapt. Syst., 2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
Proceedings of the Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing, 2016
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development.
Simul., 2015
Pervasive Mob. Comput., 2015
Log. Methods Comput. Sci., 2015
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015
Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015
2014
ACM Trans. Auton. Adapt. Syst., 2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
HPC from a self-organisation perspective: The case of crowd steering at the urban scale.
Proceedings of the International Conference on High Performance Computing & Simulation, 2014
Proceedings of the Coordination Models and Languages, 2014
2013
Sci. Comput. Program., 2013
Nat. Comput., 2013
Mob. Networks Appl., 2013
J. Simulation, 2013
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013
2012
Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems.
Proceedings of the 13th Workshop on Objects and Agents, 2012
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems.
Proceedings of the 13th Workshop on Objects and Agents, 2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
A model for drosophila melanogaster development from a single cell to stripe pattern formation.
Proceedings of the ACM Symposium on Applied Computing, 2012
Dynamic composition of coordination abstractions for pervasive systems: the case of <i>LogOp</i>.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Proceedings of the Morphogenetic Engineering, Toward Programmable Complex Systems, 2012
2011
Proceedings of the Self-organising Software - From Natural to Artificial Adaptation, 2011
ACM Trans. Auton. Adapt. Syst., 2011
simpA: An agent-oriented approach for programming concurrent applications on top of Java.
Sci. Comput. Program., 2011
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Knowl. Eng. Rev., 2011
A quarter-century of <i>The Knowledge Engineering Review</i>: Introduction to the Special Issue.
Knowl. Eng. Rev., 2011
Int. J. Pervasive Comput. Commun., 2011
Auton. Agents Multi Agent Syst., 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 3rd Workshop on Biologically Inspired Algorithms for Distributed Systems, 2011
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011
2010
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010
Proceedings of the 11th WOA 2010 Workshop, 2010
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN.
Proceedings of the 11th WOA 2010 Workshop, 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
2009
Proceedings of the Artificial Intelligence: An International Perspective, 2009
Sci. Comput. Program., 2009
Multiagent Grid Syst., 2009
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Using probabilistic model checking and simulation for designing self-organizing systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming.
Proceedings of the Second Multi-Agent Logics, 2009
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.
Proceedings of the Languages, 2009
Proceedings of the Software and Data Technologies - 4th International Conference, 2009
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
Proceedings of the ICSOFT 2009, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009
Proceedings of the IEEE Congress on Evolutionary Computation, 2009
An experience on probabilistic model checking and stochastic simulation to design self-organizing systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009
Proceedings of the Multi-Agent Systems - Simulation and Applications., 2009
Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009
2008
J. Univers. Comput. Sci., 2008
Designing self-organising environments with agents and artefacts: a simulation-driven approach.
Int. J. Agent Oriented Softw. Eng., 2008
Auton. Agents Multi Agent Syst., 2008
Arguments and Artifacts for Dispute Resolution.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008
2007
Sci. Comput. Program., 2007
J. Log. Algebraic Methods Program., 2007
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007
Auton. Agents Multi Agent Syst., 2007
Appl. Artif. Intell., 2007
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007
A self-organising solution to the collective sort problem in distributed tuple spaces.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java.
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007
Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications.
Proceedings of the Languages, 2007
Proceedings of the Self-Organizing Systems, Second International Workshop, 2007
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007
Proceedings of the Multi-Agent Systems and Applications V, 2007
Proceedings of the IEEE Congress on Evolutionary Computation, 2007
Give agents their artifacts: the A&A approach for engineering working environments in MAS.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
2006
ACM Trans. Program. Lang. Syst., 2006
Agent Coordination Contexts for the formal specification and enactment of coordination and security policies.
Sci. Comput. Program., 2006
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006
Appl. Artif. Intell., 2006
Proceedings of the 7th WOA 2006 Workshop, 2006
Proceedings of the 7th WOA 2006 Workshop, 2006
Proceedings of the 7th WOA 2006 Workshop, 2006
Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006
2005
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS.
Informatica (Slovenia), 2005
Proceedings of the First International Workshop on Coordination and Organisation, 2005
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005
Proceedings of the Workshop on the Foundations of Interactive Computation, 2005
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005
Appl. Algebra Eng. Commun. Comput., 2005
Appl. Algebra Eng. Commun. Comput., 2005
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005
Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.
Proceedings of the Software Engineering for Multi-Agent Systems IV, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Editorial message: special track on object oriented programming languages and systems.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Programming Multi-Agent Systems, 2005
Cognitive Stigmergy: A Framework Based on Agents and Artifacts.
Proceedings of the EUMAS 2005, 2005
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005
On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in .
Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005
An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the Second Workshop on Object Oriented Developments, 2004
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
Appl. Artif. Intell., 2004
Timed Coordination Artifacts with ReSpecT.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004
A Conceptual Framework for Self-Organising MAS.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Editorial message: special track on object oriented programming language and systems.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
"Exhibitionists" and "Voyeurs" Do It Better: A Shared Environment for Flexible Coordination with Tacit Messages.
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004
Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004
2003
Proceedings of FOCLASA 2003, 2003
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts.
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study.
Proceedings of FOCLASA 2003, 2003
Comput. J., 2003
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003
Proceedings of the Declarative Agent Languages and Technologies, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Appl. Artif. Intell., 2002
Have ReSpecT for LogOp.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002
On the Expressiveness of Event-based Coordination Media.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Extending ReSpecT for Multiple Coordination Flows.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
A Specification Language for Agents Observable Behavior.
Proceedings of the International Conference on Artificial Intelligence, 2002
Proceedings of the Engineering Societies in the Agents World III, 2002
Proceedings of the ECOOP 2002, 2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
2001
Multi-Agent Systems as Composition of Observable Systems.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
Enabling Business Cooperation using a Publish-Subscribe Architecture Aware of Transactions.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
2000
On the Consistent Observation of Active Systems.
Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000
Parametric polymorphism in Java: an approach to translation based on reflective features.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000
Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000