Per Sort
Per Sort
15 publications / 2015 / Mirko Viroli
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 |
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 |