


Остановите войну!
for scientists:


default search action
Mirko Viroli
Person information

- affiliation: University of Bologna, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j82]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. 19(1) (2023) - [j81]Gianluca Aguzzi
, Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Gianluca Torta
, Mirko Viroli
:
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17(1-2): 27-62 (2023) - [c200]Gianluca Aguzzi
, Roberto Casadei
, Mirko Viroli
:
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION 2023: 31-51 - [c199]Davide Domini
, Filippo Cavallari
, Gianluca Aguzzi
, Mirko Viroli
:
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala. COORDINATION 2023: 52-70 - [c198]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Gianluca Torta
, Mirko Viroli
:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - 2022
- [j80]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - [j79]Gianluca Aguzzi
, Roberto Casadei
, Danilo Pianini
, Mirko Viroli
:
Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Comput. 26(6): 16-23 (2022) - [j78]Roberto Casadei
, Giancarlo Fortino
, Danilo Pianini
, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli:
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge. IEEE Internet Things J. 9(20): 20136-20148 (2022) - [j77]Giorgio Audrito
, Ferruccio Damiani, Volker Stolz, Gianluca Torta
, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j76]Roberto Casadei
, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini:
ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20: 101248 (2022) - [c197]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach. ACSOS 2022: 11-20 - [c196]Danilo Pianini, Roberto Casadei, Mirko Viroli:
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. ACSOS 2022: 81-90 - [c195]Gianluca Aguzzi
, Roberto Casadei
, Mirko Viroli
:
Towards Reinforcement Learning-based Aggregate Computing. COORDINATION 2022: 72-91 - [c194]Roberto Casadei
, Stefano Mariani, Danilo Pianini
, Mirko Viroli
, Franco Zambonelli
:
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. COORDINATION 2022: 99-117 - [c193]Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli:
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c192]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi
, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c191]Gianluca Aguzzi, Roberto Casadei, Mirko Viroli:
Machine Learning for Aggregate Computing: a Research Roadmap. ICDCS Workshops 2022: 119-124 - [d1]Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli:
Dynamic decentralization domains for the Internet of Things - Simulation Repository. IEEE DataPort, 2022 - [i7]Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli:
Space-fluid Adaptive Sampling by Self-Organisation. CoRR abs/2210.17505 (2022) - 2021
- [j75]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani, Danilo Pianini
, Mirko Viroli:
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96(Part): 107580 (2021) - [j74]Roberto Casadei
, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021) - [j73]Danilo Pianini, Roberto Casadei
, Mirko Viroli, Antonio Natali:
Partitioned integration and coordination via the self-organising coordination regions pattern. Future Gener. Comput. Syst. 114: 44-68 (2021) - [j72]Roberto Casadei
, Gianluca Aguzzi
, Mirko Viroli
:
A Programming Approach to Collective Autonomy. J. Sens. Actuator Networks 10(2): 27 (2021) - [j71]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Volker Stolz
, Mirko Viroli:
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175: 110908 (2021) - [j70]Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli:
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. Log. Methods Comput. Sci. 17(4) (2021) - [j69]Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203: 102584 (2021) - [c190]Gianluca Aguzzi
, Roberto Casadei, Danilo Pianini, Guido Salvaneschi
, Mirko Viroli:
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C 2021: 99-104 - [c189]Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns
:
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. ACSOS-C 2021: 160-165 - [c188]Roberto Casadei
, Mirko Viroli
, Alessandro Ricci
, Giorgio Audrito
:
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION 2021: 149-167 - [c187]Gianluca Aguzzi
, Roberto Casadei
, Niccolò Maltoni, Danilo Pianini
, Mirko Viroli
:
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. COORDINATION 2021: 285-299 - 2020
- [j68]Roberto Casadei
, Danilo Pianini
, Andrea Placuzzi
, Mirko Viroli
, Danny Weyns
:
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment. Future Internet 12(11): 203 (2020) - [j67]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [j66]Antonio Bucchiarone
, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis
, Mirko Viroli, Roberto Casadei
, Simon Dobson
:
On the Social Implications of Collective Adaptive Systems. IEEE Technol. Soc. Mag. 39(3): 36-46 (2020) - [c186]Roberto Casadei
, Mirko Viroli, Alessandro Ricci
:
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time. ACSOS Companion 2020: 139-144 - [c185]Danilo Pianini
, Stefano Mariani, Mirko Viroli
, Franco Zambonelli
:
Time-Fluid Field-Based Coordination. COORDINATION 2020: 193-210 - [c184]Giorgio Audrito
, Sergio Bergamini, Ferruccio Damiani
, Mirko Viroli
:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c183]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Ferruccio Damiani
:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [i6]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020) - [i5]Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli:
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. CoRR abs/2012.13806 (2020)
2010 – 2019
- 2019
- [j65]Roberto Casadei
, Giancarlo Fortino
, Danilo Pianini
, Wilma Russo, Claudio Savaglio
, Mirko Viroli
:
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing. Future Gener. Comput. Syst. 91: 252-262 (2019) - [j64]Roberto Casadei
, Giancarlo Fortino
, Danilo Pianini, Wilma Russo, Claudio Savaglio
, Mirko Viroli:
A development approach for collective opportunistic Edge-of-Things services. Inf. Sci. 498: 154-169 (2019) - [j63]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini:
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019) - [j62]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani
, Danilo Pianini, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) - [c182]Roberto Casadei
, Christos Tsigkanos
, Mirko Viroli, Schahram Dustdar
:
Engineering Resilient Collaborative Edge-Enabled IoT. SCC 2019: 36-45 - [c181]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@AI*IA 2019: 82-96 - [c180]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c179]Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli:
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 411-427 - [c178]Giorgio Audrito
, Jacob Beal
, Ferruccio Damiani
, Danilo Pianini
, Mirko Viroli
:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c177]Roberto Casadei
, Danilo Pianini, Mirko Viroli, Antonio Natali:
Self-organising Coordination Regions: A Pattern for Edge Computing. COORDINATION 2019: 182-199 - [c176]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Danilo Pianini
, Ferruccio Damiani
:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c175]Shaukat Ali, Ferruccio Damiani, Schahram Dustdar
, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
:
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) 2019: 177-180 - [c174]Roberto Casadei
, Mirko Viroli:
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach. FMEC 2019: 60-67 - [c173]Giorgio Audrito
, Mirko Viroli
, Ferruccio Damiani
, Danilo Pianini
, Jacob Beal
:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c172]Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re:
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach. PerCom Workshops 2019: 549-554 - [c171]Danilo Pianini, Roberto Casadei
, Mirko Viroli:
Security in Collective Adaptive Systems: A Roadmap. FAS*W@SASO/ICAC 2019: 86-91 - [c170]Roberto Casadei
, Danilo Pianini, Guido Salvaneschi
, Mirko Viroli:
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC 2019: 92-97 - [i4]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019) - 2018
- [j61]Alessandro Ricci
, Mirko Viroli
, Andrea Omicini
, Stefano Mariani
, Angelo Croatti
, Danilo Pianini
:
Spatial Tuples: Augmenting reality with tuples. Expert Syst. J. Knowl. Eng. 35(5) (2018) - [j60]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli
:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j59]Roberto Casadei
, Alessandro Aldini
, Mirko Viroli
:
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167: 114-137 (2018) - [j58]Mirko Viroli
, Giorgio Audrito
, Jacob Beal
, Ferruccio Damiani
, Danilo Pianini
:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28(2): 16:1-16:28 (2018) - [c169]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c168]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c167]Danilo Pianini, Giovanni Ciatto
, Roberto Casadei
, Stefano Mariani, Mirko Viroli, Andrea Omicini:
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. GOODTECHS 2018: 271-276 - [c166]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c165]Roberto Casadei
, Mirko Viroli:
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT. FAS*W@SASO/ICAC 2018: 106-111 - [c164]Giancarlo Fortino
, Wilma Russo, Claudio Savaglio
, Mirko Viroli, MengChu Zhou:
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things. WF-IoT 2018: 488-492 - [c163]Giorgio Audrito, Ferruccio Damiani, Volker Stolz
, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - [p6]Roberto Casadei
, Mirko Viroli:
Programming Actor-Based Collective Adaptive Systems. Programming with Actors 2018: 94-122 - 2017
- [j57]Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti:
Aggregate plans for multiagent systems. Int. J. Agent Oriented Softw. Eng. 5(4): 336-365 (2017) - [j56]Angelo Croatti
, Alessandro Ricci
, Mirko Viroli:
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE. Int. J. Distributed Syst. Technol. 8(1): 46-58 (2017) - [j55]Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
:
Self-Adaptation to Device Distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12(3): 12:1-12:29 (2017) - [c162]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c161]Danilo Pianini, Simon Dobson
, Mirko Viroli:
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration. SASO 2017: 11-20 - [c160]Matteo Francia
, Danilo Pianini, Jacob Beal, Mirko Viroli:
Towards a Foundational API for Resilient Distributed Systems Design. FAS*W@SASO/ICCAC 2017: 27-32 - [c159]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c158]Danilo Pianini, Jacob Beal, Mirko Viroli:
Practical Aggregate Programming with Protelis. FAS*W@SASO/ICCAC 2017: 391-392 - [c157]Roberto Casadei
, Alessandro Aldini
, Mirko Viroli:
Combining Trust and Aggregate Computing. SEFM Workshops 2017: 507-522 - [c156]Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou:
Modeling Opportunistic IoT Services in Open IoT Ecosystems. WOA 2017: 90-95 - [c155]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 - [i3]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017) - 2016
- [j54]Stefan Dulman, Jean-Louis Giavitto, Antoine Spicher, Mirko Viroli:
Spatial computing: introduction to the special issue. Knowl. Eng. Rev. 31(4): 323-324 (2016) - [j53]Simon A. 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. Knowl. Eng. Rev. 31(4): 343-366 (2016) - [j52]Ferruccio Damiani
, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) - [j51]Mirko Viroli, Ada Diaconescu, Nagarajan Kandasamy:
SASO 2014: Selected, Revised, and Extended Best Papers. ACM Trans. Auton. Adapt. Syst. 11(2): 5:1-5:2 (2016) - [c154]Danilo Pianini
, Jacob Beal, Mirko Viroli:
Improving Gossip Dynamics Through Overlapping Replicates. COORDINATION 2016: 192-207 - [c153]Roberto Casadei, Mirko Viroli:
Towards Aggregate Programming in Scala. PMLDC@ECOOP 2016: 5 - [c152]Mirko Viroli, Roberto Casadei
, Danilo Pianini
:
Simulating Large-scale Aggregate MASs with Alchemist and Scala. FedCSIS 2016: 1495-1504 - [c151]Mirko Viroli, Roberto Casadei
, Danilo Pianini
:
On execution platforms for large-scale aggregate computing. UbiComp Adjunct 2016: 1321-1326 - [c150]Alessandro Ricci
, Mirko Viroli, Andrea Omicini
, Stefano Mariani, Angelo Croatti
, Danilo Pianini
:
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces. IDC 2016: 121-130 - [c149]Jacob Beal, Mirko Viroli, Danilo Pianini
, Ferruccio Damiani
:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69 - [c148]Mirko Viroli, Antonio Bucchiarone
, Danilo Pianini
, Jacob Beal:
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE. FAS*W@SASO/ICCAC 2016: 186-191 - [c147]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli, Roberto Casadei
:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c146]Jacob Beal, Mirko Viroli:
Aggregate Programming: From Foundations to Applications. SFM 2016: 233-260 - [c145]Mirko Viroli, Jacob Beal:
Resiliency with Aggregate Computing: State of the Art and Roadmap. FORECAST@STAF 2016: 5-18 - [i2]Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016) - 2015
- [j50]Jacob Beal
, Danilo Pianini
, Mirko Viroli:
Aggregate Programming for the Internet of Things. Computer 48(9): 22-30 (2015) - [j49]Ferruccio Damiani
, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015) - [j48]Franco Zambonelli
, Andrea Omicini
, Bernhard Anzengruber, Gabriella Castelli, Francesco L. De Angelis, Giovanna Di Marzo Serugendo
, Simon A. Dobson
, Jose 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 Mob. Comput. 17: 236-252 (2015) - [j47]Mirko Viroli
, Danilo Pianini
, Sara Montagna
, Graeme Stevenson, Franco Zambonelli
:
A coordination model of pervasive service ecosystems. Sci. Comput. Program. 110: 3-22 (2015) - [j46]Jacob Beal, Mirko Viroli:
Formal foundations of sensor network applications. ACM SIGSPATIAL Special 7(2): 36-42 (2015) - [j45]Sara Montagna
, Mirko Viroli, Andrea Roli
:
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development. Simul. 91(7): 666-685 (2015) - [c144]Mirko Viroli, Alessandro Ricci
:
Towards Agent Aggregates: Perspectives and Challenges. EMAS@AAMAS 2015: 18-30 - [c143]Alessandro Ricci
, Angelo Croatti
, Pietro Brunetti, Mirko Viroli:
Programming Mirror Worlds: An Agent-Oriented Programming Perspective. EMAS@AAMAS 2015: 191-211 - [c142]Pietro Brunetti, Angelo Croatti
, Alessandro Ricci
, Mirko Viroli:
Smart Augmented Fields for Emergency Operations. EUSPN/ICTH 2015: 392-399 - [c141]Ferruccio Damiani
, Mirko Viroli, Danilo Pianini
, Jacob Beal
:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128 - [c140]Mirko Viroli:
Programming very-large scale systems of wearables. UbiComp/ISWC Adjunct 2015: 887-888 - [c139]Mirko Viroli, Danilo Pianini
, Alessandro Ricci
, Pietro Brunetti, Angelo Croatti
:
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan. PRIMA 2015: 49-64 - [c138]Danilo Pianini
, Mirko Viroli, Jacob Beal:
Protelis: practical aggregate programming. SAC 2015: 1846-1853 - [c137]Danilo Pianini
, Angelo Croatti
, Alessandro Ricci
, Mirko Viroli:
Computational Fields Meet Augmented Reality: Perspectives and Challenges. SASO Workshops 2015: 80-85 - [c136]Mirko Viroli, Jacob Beal, Ferruccio Damiani
, Danilo Pianini
:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90 - [e7]Tom Holvoet
, Mirko Viroli:
Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9037, Springer 2015, ISBN 978-3-319-19281-9 [contents] - 2014
- [j44]Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli:
Best ACM SAC Articles on Coordination and Self-Adaptation. ACM Trans. Auton. Adapt. Syst. 9(2): 6:1-6:2 (2014) - [c135]