Per Sort


Per Sort

15 publications  /  2015  /  Mirko Viroli

articles in journal
Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015
Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), September 2015
Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373(2046), 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
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
Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015
(7 articles in journal / 2015)  [top]  [bottom]
papers in proceedings
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: Principles and Practice of Multi-Agent Systems. Lecture Notes in Computer Science 9387, 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
FORTE2015. Lecture Notes in Computer Science 9039, 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
EMAS 2015, 2015
Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
SAC 2015, 2015
Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
EMAS 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
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
(8 papers in proceedings / 2015)  [top]  [bottom]

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY