Per anno
@inproceedings{VR-EMAS2015, author = {Viroli, Mirko and Ricci, Alessandro}, booktitle = {Engineering Multi-Agent Systems (EMAS 2015)}, location = {Istanbul, Turkey}, numpages = 13, title = {Towards agent aggregates: perspectives and challenges}, year = 2015 }
@ARTICLE{7274429, author={Beal, Jacob and Pianini, Danilo and Viroli, Mirko}, journal={Computer}, title={Aggregate Programming for the Internet of Things}, year={2015}, volume={48}, number={9}, pages={22-30}, keywords={Aggregate programmin;Embedded systems;Internet of things;Pervasive computing;Programming;DSLs;Internet of Things;IoT;aggregate programming;distributed systems;domain-specific languages;embedded systems;field calculus;pervasive computing}, doi={10.1109/MC.2015.261}, ISSN={0018-9162}, month={Sept},}
@article{aggregatecomputing-saso2015, abstract = {{Self-organising systems are notoriously difficult to engineer}, author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo}, booktitle = {Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015)}, doi = {10.1109/SASO.2015.16}, ieee = {7306598}, keywords = {Aggregate computing, computational fields, self-stabilisation}, pages = {81--90}, title = {Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields}, url = {https://ieeexplore.ieee.org/document/7306598}, year = 2015 }
@proceedings{ProtelisSAC14, address = {Salamanca, Spain}, author = {Pianini, Danilo and Viroli, Mirko and Beal, Jacob}, booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015}, doi = {10.1145/2695664.2695913}, editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman}, isbn = {978-1-4503-3196-8}, pages = {1846--1853}, publisher = {ACM}, title = {Protelis: Practical Aggregate Programming}, url = {http://doi.acm.org/10.1145/2695664.2695913}, year = 2015}
@article{DV-LMCS2015, author = {Damiani, Ferruccio and Viroli, Mirko}, doi = {10.2168/LMCS-11(4:21)2015}, issn = {1860-5974}, journal = {Logical Methods in Computer Science}, number = 4, numpages = 53, pages = {1--53}, publisher = {EPI Sciences}, title = {Type-based Self-stabilisation for Computational Fields}, url = {http://lmcs.episciences.org/1622}, volume = 11, year = 2015 }
@article{spacetime-rsta373, address = {London, UK}, author = {Beal, Jacob and Viroli, Mirko}, doi = {10.1098/rsta.2014.0220}, isbn = {1471-2962}, issn = {1364-503X}, journal = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences}, keywords = {Spatial Computing; Aggregate Programming; Computational Fields}, number = 2046, publisher = {The Royal Society}, title = {Space--Time Programming}, url = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220}, urlpdf = {http://rsta.royalsocietypublishing.org/content/373/2046/20140220.full-text.pdf}, volume = 373, year = 2015 }
@article{msbionet-simulation91, author = {Montagna, Sara and Viroli, Mirko and Roli, Andrea}, doi = {10.1177/0037549715585569}, eissn = {1741-3133}, issn = {0037-5497}, journal = {SIMULATION: Transactions of the Society for Modeling and Simulation International}, keywords = {Multicellular systems biology, developmental biology, spatial stochastic multiscale model, Drosophila melanogaster, parameter estimation, metaheuristics}, month = jun, number = 7, pages = {666--685}, publisher = {SAGE}, title = {A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development}, volume = 91, year = 2015 }
@incollection{computationalfields-forte2015, Author = {Damiani, Ferruccio and Viroli, Mirko and Pianini, Danilo and Beal, Jacob}, Booktitle = {Formal Techniques for Distributed Objects, Components, and Systems}, Doi = {10.1007/978-3-319-19195-9_8}, Editor = {Graf, Susanne and Viswanathan, Mahesh}, Isbn = {978-3-319-19194-2}, Pages = {113--128}, Publisher = {Springer International Publishing}, Series = {Lecture Notes in Computer Science}, Title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields}, Url = {http://link.springer.com/10.1007/978-3-319-19195-9_8}, Volume = 9039, Year = 2015}
@article{BV-SPATIAL2015, author = {Beal, Jacob and Viroli, Mirko}, title = {Formal Foundations of Sensor Network Applications}, journal = {SIGSPATIAL Special}, issue_date = {July 2015}, volume = {7}, number = {2}, month = sep, year = {2015}, issn = {1946-7729}, pages = {36--42}, numpages = {7}, url = {http://doi.acm.org/10.1145/2826686.2826693}, doi = {10.1145/2826686.2826693}, acm = {2826693}, publisher = {ACM}, address = {New York, NY, USA}, }