Per Sort
Per Sort
72 articles in journal / 2000–2023 / Mirko Viroli
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 |
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 |
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 |
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, 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 |
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 |
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, Danilo Pianini, Alessandro Ricci, Angelo Croatti Aggregate plans for multiagent systems International Journal of Agent-Oriented Software Engineering 4(5), 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 |
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 |
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 |
Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields Logical Methods in Computer Science 11(4), 2015 |
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, Mirko Viroli Formal Foundations of Sensor Network Applications SIGSPATIAL Special 7(2), September 2015 |
Jacob Beal, Danilo Pianini, Mirko Viroli Aggregate Programming for the Internet of Things Computer 48(9), Sept 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 |
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli A coordination model of pervasive service ecosystems Science of Computer Programming 110, 2015 |
Elena Nardini, Andrea Omicini, Mirko Viroli Semantic Tuple Centres Science of Computer Programming 78(5), May 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 |
Mirko Viroli On competitive self-composition in pervasive services Science of Computer Programming 78(5), May 2013 |
Danilo Pianini, Sara Montagna, Mirko Viroli Chemical-oriented Simulation of Computational Systems with ALCHEMIST Journal of Simulation, 2013 |
Mirko Viroli, Jacob Beal, Kyle Usbeck Operational Semantics of Proto Science of Computer Programming 78(6), June 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 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli Standard Type Soundness for Agents and Artifacts Scientific Annals of Computer Science 22(2), 2012 |
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 |
Andrea Omicini, Mirko Viroli Coordination Models and Languages: From Parallel Computing To Self-Organisation Knowledge Engineering Review 26(1), March 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 |
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 |
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli A Calculus of Agents and Artifacts Communications in Computer and Information Science 50, 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 |
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 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 76(1), May 2011 |
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli Argumentation and Artifacts for Negotiation Support International Journal of Artificial Intelligence 4(S10), Spring 2010 |
Mirko Viroli, Franco Zambonelli A Biochemical Approach to Adaptive Service Ecosystems Information Sciences 180(10), 2010 |
Ambra Molesini, Andrea Omicini, Mirko Viroli Environment in Agent-Oriented Software Engineering Methodologies Multiagent and Grid Systems 5(1), 2009 |
Matteo Casadei, Mirko Viroli, Luca Gardelli On the Collective Sort Problem for Distributed Tuple Spaces Science of Computer Programming 74(9), 2009 |
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 |
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 |
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 |
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 |
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 |
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 Timed Environment for Web Agents Web Intelligence and Agent Systems 5(2), August 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, 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 |
Carlos Canal, Mirko Viroli Preface Science of Computer Programming 66(3), May 2007 |
Mirko Viroli, Andrea Omicini Coordination as a Service Fundamenta Informaticae 73(4), 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 |
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 |
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 |
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 |
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 |
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 |