Per Sort
Per Sort
275 publications / 2000–2023 / Mirko Viroli
articles in journal | papers in proceedings | book chapters | edited volumes | editorials / introductions / prefaces
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali Partitioned integration and coordination via the self-organising coordination regions pattern Future Generation Computer Systems 114, 2021 |
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing Future Generation Computer Systems 91, 2019 |
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal A Higher-Order Calculus of Computational Fields ACM Transactions on Computational Logic 20(1), January 2019 |
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From distributed coordination to field calculus and aggregate computing Journal of Logical and Algebraic Methods in Programming 109, 2019 |
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli A development approach for collective opportunistic Edge-of-Things services Information Sciences 498, 2019 |
Roberto Casadei, Alessandro Aldini, Mirko Viroli Towards attack-resistant Aggregate Computing using trust mechanisms Science of Computer Programming 167, 2018 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimal single-path information propagation in gradient-based algorithms Science of Computer Programming 166, 2018 |
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini Engineering Resilient Collective Adaptive Systems by Self-Stabilisation ACM Transactions on Modeling and Computer Simulation 28(2), March 2018 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini Spatial Tuples: Augmenting Reality with Tuples Expert Systems: The Journal of Knowledge Engineering 35(5), October 2018 |
Angelo Croatti, Alessandro Ricci, Mirko Viroli Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE International Journal of Distributed Systems and Technologies 8(1), 2017 |
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Self-Adaptation to Device Distribution in the Internet of Things ACM Transactions on Autonomous and Adaptive Systems 12(3), September 2017 |
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti Aggregate plans for multiagent systems International Journal of Agent-Oriented Software Engineering 4(5), 2017 |
Ferruccio Damiani, Mirko Viroli, Jacob Beal A type-sound calculus of computational fields Science of Computer Programming 117, 2016 |
Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi Spatial awareness in pervasive ecosystems Knowledge Engineering Review 31(4), September 2016 |
Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination Pervasive and Mobile Computing 17-B, February 2015 |
Jacob Beal, Mirko Viroli Space-Time Programming Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 2015 |
Jacob Beal, Danilo Pianini, Mirko Viroli Aggregate Programming for the Internet of Things Computer 48(9), Sept 2015 |
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli A coordination model of pervasive service ecosystems Science of Computer Programming 110, 2015 |
Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields Logical Methods in Computer Science 11(4), 2015 |
Jacob Beal, Mirko Viroli Formal Foundations of Sensor Network Applications SIGSPATIAL Special 7(2), September 2015 |
Sara Montagna, Mirko Viroli, Andrea Roli A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development Simulation: Transactions of the Society for Modeling and Simulation International 91(7), June 2015 |
Danilo Pianini, Sara Montagna, Mirko Viroli Chemical-oriented Simulation of Computational Systems with ALCHEMIST Journal of Simulation, 2013 |
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos Description and composition of bio-inspired design patterns: a complete overview Natural Computing 12(1), 2013 |
Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli Injecting Self-organisation into Pervasive Service Ecosystems Mobile Networks and Applications 18(3), 2013 |
Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli Simulation in Agent-Oriented Software Engineering: The SODA Case Study Science of Computer Programming 78(6), June 2013 |
Elena Nardini, Andrea Omicini, Mirko Viroli Semantic Tuple Centres Science of Computer Programming 78(5), May 2013 |
Mirko Viroli, Jacob Beal, Kyle Usbeck Operational Semantics of Proto Science of Computer Programming 78(6), June 2013 |
Mirko Viroli On competitive self-composition in pervasive services Science of Computer Programming 78(5), May 2013 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli Standard Type Soundness for Agents and Artifacts Scientific Annals of Computer Science 22(2), 2012 |
Franco Zambonelli, Mirko Viroli A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems International Journal of Pervasive Computing and Communications 7(3), 2011 |
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java Science of Computer Programming 76(1), January 2011 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 76(1), May 2011 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli A Calculus of Agents and Artifacts Communications in Computer and Information Science 50, 2011 |
Andrea Omicini, Mirko Viroli Coordination Models and Languages: From Parallel Computing To Self-Organisation Knowledge Engineering Review 26(1), March 2011 |
Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011 |
Peter McBurney, Simon Parsons, Mirko Viroli A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue Knowledge Engineering Review 26(1), March 2011 |
Alessandro Ricci, Michele Piunti, Mirko Viroli Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective Autonomous Agents and Multi-Agent Systems 23(2), September 2011 |
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres ACM SIGAPP Applied Computing Review 11(2), Spring 2011 |
Mirko Viroli, Franco Zambonelli A Biochemical Approach to Adaptive Service Ecosystems Information Sciences 180(10), 2010 |
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli Argumentation and Artifacts for Negotiation Support International Journal of Artificial Intelligence 4(S10), Spring 2010 |
Matteo Casadei, Mirko Viroli, Luca Gardelli On the Collective Sort Problem for Distributed Tuple Spaces Science of Computer Programming 74(9), 2009 |
Ambra Molesini, Andrea Omicini, Mirko Viroli Environment in Agent-Oriented Software Engineering Methodologies Multiagent and Grid Systems 5(1), 2009 |
Chieri Saito, Atsushi Igarashi, Mirko Viroli Lightweight Family Polymorphism Journal of Functional Programming 18(3), May 2008 |
Maurizio Cimadamore, Mirko Viroli On the reification of Java wildcards Science of Computer Programming 73(2-3), October 2008 |
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli An Adaptation Logic Framework for Java-based Component Systems Journal of Universal Computer Science 14(13), 2008 |
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach International Journal of Agent-Oriented Software Engineering 2(2), 2008 |
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), December 2008 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 66(3), May 2007 |
Atsushi Igarashi, Mirko Viroli Variant path types for scalable extensibility ACM SIGPLAN Notices 42(10), 2007 |
Davide Ancona, Mirko Viroli Guest Editorial Journal of Object Technology 6(2), 2007 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Timed Environment for Web Agents Web Intelligence and Agent Systems 5(2), August 2007 |
Mirko Viroli, Enrico Denti, Alessandro Ricci Engineering a BPEL Orchestration Engine as a Multi-agent System Science of Computer Programming 66(3), May 2007 |
Mirko Viroli A core calculus for correlation in orchestration languages Journal of Logic and Algebraic Programming 70(1), January 2007 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts Applied Artificial Intelligence 21(4-5), April 2007 |
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), July 2007 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies Science of Computer Programming 63(1), November 2006 |
Mirko Viroli, Alessandro Ricci, Andrea Omicini Operating Instructions for Intelligent Agent Coordination Knowledge Engineering Review 21(1), March 2006 |
Atsushi Igarashi, Mirko Viroli Variant Parametric Types: A Flexible Subtyping Scheme for Generics ACM Transactions on Programming Languages and Systems 28(5), September 2006 |
Mirko Viroli, Andrea Omicini Coordination as a Service Fundamenta Informaticae 73(4), 2006 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Agent Coordination Contexts in a MAS Coordination Infrastructure Applied Artificial Intelligence 20(2-4), February 2006 |
Mirko Viroli, Giovanni Rimassa On Access Restriction with Java Wildcards Journal of Object Technology 4(10), 2005 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005 |
Alessandro Ricci, Mirko Viroli Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS Informatica 29(4), November 2005 |
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet Environments in Multiagent Systems Knowledge Engineering Review 20(2), June 2005 |
Davide Ancona, Mirko Viroli Guest Editorial Journal of Object Technology 3(11), 2004 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa Multi-agent Infrastructures for Objective and Subjective Coordination Applied Artificial Intelligence 18(9-10), October 2004 |
Mirko Viroli A Type-Passing Approach for the Implementation of Parametric Methods in {Java} The Computer Journal 46(3), 2003 |
Mirko Viroli, Andrea Omicini An Observation Approach to Semantics of Agents Communication Languages Applied Artificial Intelligence 16(9-10), October-December 2002 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci Modelling Agents as Observable Sources Journal of Universal Computer Science 8(4), April 2002 |
Mirko Viroli, Andrea Omicini Multi-Agent Systems as Composition of Observable Systems AI*IA Notizie XIV(4), December 2001 |
Mirko Viroli, Antonio Natali Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature ACM SIGPLAN Notices 35(10), 2000 |
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli Time-Fluid Field-Based Coordination Coordination Models and Languages, 2020 |
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali Self-organising Coordination Regions: a Pattern for Edge Computing Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019 |
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli On Context-Orientation in Aggregate Programming IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019 |
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli The share Operator for Field-Based Coordination Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019 |
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal On a Higher-Order Calculus of Computational Fields Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019 |
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar Engineering Resilient Collaborative Edge-Enabled IoT 2019 IEEE International Conference on Services Computing (SCC), July 2019 |
Roberto Casadei, Mirko Viroli Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019 |
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019 |
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani Aggregate Processes in Field Calculus Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019 |
Danilo Pianini, Roberto Casadei, Mirko Viroli Security in Collective Adaptive Systems: A Roadmap IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019 |
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns Big Data from the Cloud to the Edge: The Aggregate Computing Solution Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019 |
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli Case studies for a new IoT programming paradigm: Fluidware AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019 |
Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re Towards Adaptive Flow Programming for the IoT: The Fluidware Approach IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, 11-15 March 2019 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini Distributed Real-Time Shortest-Paths Computations with the Field Calculus 2018 IEEE Real-Time Systems Symposium (RTSS), December 2018 |
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Space-Time Universality of Field Calculus ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Aggregate Graph Statistics ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018 |
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini From Field-Based Coordination to Aggregate Computing COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018 |
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain GOODTECHS 2018, November 2018 |
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things 4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018 |
Roberto Casadei, Alessandro Aldini, Mirko Viroli Combining Trust and Aggregate Computing Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018 |
Roberto Casadei, Mirko Viroli Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini Spatial Tuples: Augmenting Physical Reality with Tuple Spaces Studies in Computational Intelligence 678, 2017 |
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou Modeling Opportunistic IoT Services in Open IoT Ecosystems WOA 2017. CEUR Workshop Proceedings 1867, June 2017 |
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli Towards a Foundational API for Resilient Distributed Systems Design 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017 |
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli Compositional Blocks for Optimal Self-Healing Gradients 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 2017 |
Danilo Pianini, Simon Dobson, Mirko Viroli Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017 |
Danilo Pianini, Jacob Beal, Mirko Viroli Practical Aggregate Programming with Protelis 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017 |
Danilo Pianini, Jacob Beal, Mirko Viroli Improving Gossip Dynamics Through Overlapping Replicates COORDINATION 2016, 2016 |
Jacob Beal, Mirko Viroli Aggregate Programming: From Foundations to Applications Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016 |
Danilo Pianini, Jacob Beal, Mirko Viroli Improving Gossip Dynamics Through Overlapping Replicates Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016 |
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani Self-adaptation to Device Distribution Changes in Situated Computing Systems 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016 |
Roberto Casadei, Mirko Viroli Towards Aggregate Programming in Scala 1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016 |
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE SASO 2016, 2016 |
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei Run-Time Management of Computation Domains in Field Calculus 2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016 |
Mirko Viroli, Roberto Casadei, Danilo Pianini On Execution Platforms for Large-scale Aggregate Computing Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016 |
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, September 2016 |
Mirko Viroli, Jacob Beal Resiliency with Aggregate Computing: State of the Art and Roadmap Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016 |
Mirko Viroli, Roberto Casadei, Danilo Pianini Simulating Large-scale Aggregate MASs with Alchemist and Scala Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016 |
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli Programming Mirror-Worlds: An Agent-Oriented Programming Perspective EMAS 2015, 2015 |
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields FORTE 2015. Lecture Notes in Computer Science 9039, 2015 |
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli Smart Augmented Fields for Emergency Operations Procedia Computer Science 63, September 2015 |
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan PRIMA 2015. Lecture Notes in Computer Science 9387, 2015 |
Mirko Viroli, Alessandro Ricci Towards agent aggregates: perspectives and challenges EMAS 2015, 2015 |
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015 |
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli Computational Fields Meet Augmented Reality: Perspectives and Challenges 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, September 2015 |
Danilo Pianini, Mirko Viroli, Jacob Beal Protelis: Practical Aggregate Programming SAC 2015, 2015 |
Jacob Beal, Mirko Viroli Building Blocks for Aggregate Programming of Self-Organising Applications Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014 |
Mirko Viroli, Ferruccio Damiani A Calculus of Self-stabilising Computational Fields COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014 |
Mirko Viroli Towards a Unified Model of Spatial Computing 7th International Spatial Computing Workshop (SCW 2014), 6 May 2014 |
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha HPC from a self-organisation perspective: The case of crowd steering at the urban scale High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014 |
Mirko Viroli, Ferruccio Damiani, Jacob Beal A calculus of computation fields Communications in Computer and Information Science 393, 2013 |
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 CM 2013, March 2013 |
Mirko Viroli Engineering Confluent Computational Fields: from Functions to Rewrite Rules SCW 2013, 6 May 2013 |
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli Self-Organising Semantic Resource Discovery for Pervasive Systems ASENSIS 2012, April 2013 |
Sara Montagna, Mirko Viroli Composing Gradients for a Context-Aware Navigation of Users in a Smart-City SCW 2013, 6 May 2013 |
Matteo Casadei, Mirko Viroli Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems ASENSIS 2012, April 2013 |
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli Engineering Pervasive Multiagent Systems in SAPERE EMAS 2013, 6-7 May 2013 |
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli Engineering Pervasive Multiagent Systems in SAPERE EMAS 2013. Lecture Notes in Computer Science 8245, December 2013 |
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna Self-Organising Semantic Resource Discovery for Pervasive Systems ASENSIS 2012, April 2013 |
Sara Montagna, Danilo Pianini, Mirko Viroli Gradient-based Self-organisation Patterns of Anticipative Adaptation Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012 |
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems WOA 2012, 12 September 2012 |
Matteo Casadei, Mirko Viroli Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems ASENSIS 2012, 10 September 2012 |
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012 |
Mirko Viroli, Graeme Stevenson On the Space-time Situation of Pervasive Service Ecosystems Workshop on Spatial Computing, June 2012 |
Mirko Viroli, Danilo Pianini, Jacob Beal Linda in space-time: an adaptive coordination model for mobile ad-hoc environments Coordination Models and Languages. LNCS 7274, June 2012 |
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson Self-organising Semantic Resource Discovery for Pervasive Systems ASENSIS 2012, 10 September 2012 |
Sara Montagna, Danilo Pianini, Mirko Viroli A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation SAC 2012, 26-30 March 2012 |
Matteo Casadei, Mirko Viroli A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems WOA 2012, 12 September 2012 |
Ronaldo Menezes, Andrea Omicini, Mirko Viroli Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp CM 2012, 26-30 March 2012 |
Mirko Viroli, Graeme Stevenson On the Space-time Situation of Pervasive Service Ecosystems Workshop on Spatial Computing, 2012 |
Danilo Pianini, Sara Montagna, Mirko Viroli A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011 |
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli A Coordination Approach to Adaptive Pervasive Service Ecosystems 2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011 |
Elena Nardini, Andrea Omicini, Mirko Viroli Description Spaces with Fuzziness CM 2011, March 2011 |
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna Description and Composition of Bio-Inspired Design Patterns: the Gradient Case Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011 |
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli Coordinating Spatially-Situated Pervasive Service Ecosystems WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011 |
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo Self-organising Pervasive Ecosystems: A Crowd Evacuation Example Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011 |
Danilo Pianini, Mirko Viroli, Sara Montagna A Simulation Framework for Pervasive Services Ecosystems WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011 |
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011 |
Mirko Viroli, Jacob Beal, Matteo Casadei Core Operational Semantics of Proto SAC 2011, 21–25 March 2011 |
Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally Self-aware Pervasive Service Ecosystems Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). Procedia Computer Science 7, May 2011 |
Marco Sbaraglia, Mirko Viroli, Matteo Casadei Programming Coordination Laws of Artifacts in CArtAgO CM 2011, March 2011 |
Mirko Viroli, Matteo Casadei Chemical-Inspired Self-Composition of Competing Services SAC 2010, March 2010 |
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010 |
Alessandro Ricci, Mirko Viroli, Michele Piunti Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments Programming Multi-Agent Systems. LNAI 5919, 2010 |
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli Self Organization in Coordination Systems using a WordNet-based Ontology 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), September 2010 |
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN WOA 2010. CEUR Workshop Proceedings 621, September 2010 |
Sara Montagna, Mirko Viroli A Framework for Modelling and Simulating Networks of Cells Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) . Electronic Notes in Theoretical Computer Science Volume 268, 21 December 2010 |
Elena Nardini, Mirko Viroli, Emanuele Panzavolta Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres CM 2010, March 2010 |
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney Argumentation and Artifact for Dialogue Support Argumentation in Multi-Agent Systems. Lecture Notes in Computer Science 5384, February 2009 |
Matteo Casadei, Mirko Viroli An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009 |
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009 |
Mirko Viroli, Matteo Casadei Biochemical Tuple Spaces for Self-Organising Coordination Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009 |
Mirko Viroli, Matteo Casadei, Andrea Omicini A Framework for Modelling and Implementing Self-Organising Coordination 24th Annual ACM Symposium on Applied Computing (SAC 2009), March 2009 |
Matteo Casadei, Mirko Viroli Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, July 2009 |
Alessandro Ricci, Mirko Viroli, Michele Piunti Formalising the Environment in MAS Programming: a Formal Model Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009 |
Sara Montagna, Mirko Viroli A computational framework for modelling multicellular biochemistry 2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009 |
Elena Nardini, Andrea Omicini, Mirko Viroli General-Purpose Coordination Abstractions for Managing Interaction in MAS The WI-IAT 2009 Workshops Proceedings, September 2009 |
Alessandro Ricci, Michele Piunti, Mirko Viroli Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009 |
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini Experimenting with Stochastic Prolog as a Simulation Language 23º Convegno Italiano di Logica Computazionale (CILC'08), July 2008 |
Franco Zambonelli, Mirko Viroli Architecture and Metaphors for Eternally Adaptive Service Ecosystems Intelligent Distributed Computing, Systems and Applications. Studies in Computational Intelligence 162/2008, September 2008 |
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, July 2008 |
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems 9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008 |
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney Argumentation and Artifact for Dialogue Support 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), May 2008 |
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems Workshop on Spatial Computing, October 2008 |
Matteo Casadei, Mirko Viroli, Marco Santarelli Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks CoMA 2008, June 2008 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini The A&A Programming Model and Technology for Developing Agent Environments in MAS Programming Multi-Agent Systems. Lecture Notes in Computer Science 4908, April 2008 |
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore 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 (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008 |
Maurizio Cimadamore, Mirko Viroli Integrating Java and Prolog through Generic Methods and Type Inference 23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008 |
Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008 |
Enrico Oliva, Mirko Viroli, Andrea Omicini Arguments and Artifacts for Dispute Resolution 9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008 |
Matteo Casadei, Mirko Viroli Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008 |
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini Designing Self-organising MAS Environments: The Collective Sort Case E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007 |
Luca Gardelli, Mirko Viroli, Andrea Omicini Design Patterns for Self-Organising Systems CEEMAS 2007. Lecture Notes in Computer Science 4696, September 2007 |
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007 |
Mirko Viroli, Andrea Omicini ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), May 2007 |
Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), September 2007 |
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli On the Problem of Over-clustering in Tuple-based Coordination Systems 1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007 |
Alessandro Ricci, Mirko Viroli simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java 5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007 |
Maurizio Cimadamore, Mirko Viroli A Prolog-oriented extension of Java programming based on generics and annotations 5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007 |
Mirko Viroli, Matteo Casadei, Luca Gardelli A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf Self-Organized Over-Clustering Avoidance in Tuple-Space Systems IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007 |
Luca Gardelli, Mirko Viroli, Andrea Omicini On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006 |
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva Cognitive Stigmergy: A Framework Based on Agents and Artifacts E4MAS 2006, 8 May 2006 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Agens Faber: Toward a Theory of Artefacts for MAS Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, May 2006 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006 |
Matteo Casadei, Luca Gardelli, Mirko Viroli A Case of Self-Organising Environment for MAS: the Collective Sort Problem 4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006 |
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli A Framework for Engineering Interactions in Java-based Component Systems Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), August 2006 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Programming MAS with Artifacts Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS EMCSR 2006, April 2006 |
Enrico Oliva, Mirko Viroli, Andrea Omicini Simulation of Minority Game in TuCSoN WOA 2006. CEUR Workshop Proceedings 204, October 2006 |
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006 |
Luca Gardelli, Mirko Viroli, Matteo Casadei On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation E4MAS 2006, May 8 2006 |
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. CEUR Workshop Proceedings 204, October 2006 |
Luca Gardelli, Mirko Viroli, Andrea Omicini Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS EMCSR 2006, April 2006 |
Enrico Oliva, Mirko Viroli, Andrea Omicini Simulating Minority Game with TuCSoN Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini CArtAgO: An Infrastructure for Engineering Computational Environments in MAS E4MAS 2006, May 2006 |
Enrico Oliva, Mirko Viroli, Andrea Omicini Minority Game: A Logic-Based Approach in TuCSoN WOA 2006. CEUR Workshop Proceedings 204, October 2006 |
Luca Gardelli, Mirko Viroli, Matteo Casadei On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation AICA 2006, 21-22 September 2006 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Collective Sorting Tuple Spaces WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006 |
Mirko Viroli, Alessandro Ricci, Andrea Omicini An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts 4th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2005), July 2005 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Environment-Based Coordination Through Coordination Artifacts Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts AI*IA 2005: Advances in Artificial Intelligence. Lecture Notes in Computer Science 3673, September 2005 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci Engineering MAS Environment with Artifacts 2nd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2005), July 2005 |
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva Cognitive Stigmergy: A Framework Based on Agents and Artifacts 3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 7-8 December 2005 |
Mirko Viroli, Alessandro Ricci Agent Interaction Semantics by Timed Operating Instructions Agent Communication. Lecture Notes in Artificial Intelligence 3396, January 2005 |
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 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi, November 2005 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Programming MAS with Artifacts 3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), July 2005 |
Luca Gardelli, Mirko Viroli, Andrea Omicini On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN 3rd International Workshop “Engineering Self-Organising Applications” (ESOA 2005), July 2005 |
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli RBAC for Organisation and Security in an Agent Coordination Infrastructure Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, May 2005 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Time-Aware Coordination in ReSpecT Coordination Models and Languages. Lecture Notes in Computer Science 3454, April 2005 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini Coordination Artifacts: Environment-based Coordination for Intelligent Agents AAMAS 2004, 19-23 July 2004 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa Integrating Objective & Subjective Coordination in Multi-Agent Systems Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), March 2004 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini A Conceptual Framework for Self-Organising MAS WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali, November 2004 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure 1st International Workshop "Safety and Security in MultiAgent Systems" (SASEMAS 2004), July 2004 |
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication International Workshop on Coordination in Emergent Agent Societies (CEAS'04), August 2004 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Agent Coordination Context: From Theory to Practice Cybernetics and Systems 2004, April 2004 |
Alessandro Ricci, Mirko Viroli, Andrea Omicini Role-Based Access Control in MAS using Agent Coordination Contexts 1st International Workshop “Agent Organizations: Theory and Practice” (AOTP'04), July 2004 |
Mirko Viroli, Andrea Omicini ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), August 2004 |
Ronaldo Menezes, Andrea Omicini, Mirko Viroli On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electronic Notes in Theoretical Computer Science 97, July 2004 |
Mirko Viroli, Alessandro Ricci, Andrea Omicini A Semantics for the Interaction of Agents with Coordination Artifacts Cybernetics and Systems 2004, April 2004 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli Formal Specification and Enactment of Security Policies through Agent Coordination Contexts SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, August 2003 |
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN WOA 2003, 10-11 September 2003 |
Mirko Viroli, Andrea Omicini Coordination as a Service: Ontological and Formal Foundation Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, March 2003 |
Mirko Viroli, Andrea Omicini Specifying Agent Observable Behaviour AAMAS 2002, July 2002 |
Ronaldo Menezes, Andrea Omicini, Mirko Viroli Have ReSpecT for LogOp AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), November 2002 |
Mirko Viroli, Andrea Omicini A Specification Language for Agents Observable Behaviour International Conference on Artificial Intelligence (IC-AI'02), July 2002 |
Mirko Viroli, Andrea Omicini Tuple-based Models in the Observation Framework Coordination Models and Languages. Lecture Notes in Computer Science 2315, 2002 |
Mirko Viroli, Andrea Omicini On the Grey-Box Modelling Approach for Autonomous Agents 8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", September 2002 |
Mirko Viroli, Andrea Omicini, Alessandro Ricci On the Expressiveness of Event-Based Coordination Media International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), July 2002 |
Mirko Viroli, Andrea Omicini Towards an Alternative Semantics for FIPA ACL Cybernetics and Systems 2002, 2-5 April 2002 |
Mirko Viroli, Alessandro Ricci Tuple-based Coordination Models in Event-based Scenarios 22nd International Conference on Distributed Computing Systems, 2002 |
Alessandro Ricci, Andrea Omicini, Mirko Viroli Extending ReSpecT for Multiple Coordination Flows International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), July 2002 |
Mirko Viroli, Gianluca Moro, Andrea Omicini On Observation as a Coordination Pattern: An Ontology and a Formal Framework CM 2001, March 2001 |
Mirko Viroli, Andrea Omicini Multi-Agent Systems as Composition of Observable Systems AI*IA/TABOO Joint Workshop “Dagli oggetti agli agenti: tendenze evolutive dei sistemi software” (WOA 2001), September 2001 |
Roberto Casadei, Mirko Viroli Programming Actor-Based Collective Adaptive Systems Programming with Actors: State-of-the-Art and Research Perspectives. Lecture Notes in Computer Science 10789, 2018 |
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli Argumentation and Artifacts for Negotiation Support Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014 |
Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll Organizing the Aggregate: Languages for Spatial Computing Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013 |
Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012 |
Sara Montagna, Mirko Viroli A Computational Framework for Multilevel Morphologies Morphogenetic Engineering. Understanding Complex Systems, 2012 |
Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli Middleware Infrastructures for Self-organising Pervasive Computing Systems Self-organising Software. Natural Computing Series, 2011 |
Luca Gardelli, Mirko Viroli, Andrea Omicini Combining Simulation and Formal Tools for Developing Self-Organizing MAS Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009 |
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini Environment Programming in CArtAgO Multi-Agent Programming II: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009 |
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli Agents, Intelligence, and Tools Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, 2009 |
Andrea Omicini, Alessandro Ricci, Mirko Viroli The Multidisciplinary Patterns of Interaction from Sciences to Computer Science Interactive Computation: The New Paradigm, September 2006 |
Andrea Omicini, Mirko Viroli (eds.) WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* WOA 2010. CEUR Workshop Proceedings 621, 2010 |
Andrea Omicini, Mirko Viroli (eds.) WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software |
Canal Carlos, Pascal Poizat, Mirko Viroli Preface Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, 2008 |
Canal Carlos, Mirko Viroli Preface Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, 2007 |
Canal Carlos, Mirko Viroli Preface Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006 |
Mirko Viroli, Andrea Omicini Process-Algebraic Approaches for Multi-Agent Systems: An Overview Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005 |