Per anno
@article{VPMSZ-SCP2015, title = "A coordination model of pervasive service ecosystems", journal = "Science of Computer Programming", volume = "110", number = "", pages = "3 - 22", year = "2015", issn = "0167-6423", doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003", url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264", author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco", keywords = "Coordination models and languages", keywords = "Pervasive computing", keywords = "Service ecosystems", keywords = "Process algebras", keywords = "Self-organisation " }
@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 }
@incollection{VPRBC-PRIMA2015, author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Brunetti, Pietro and Croatti, Angelo}, booktitle = {PRIMA 2015: Principles and Practice of Multi-Agent Systems}, dblp = {conf/prima/ViroliPRBC15}, doi = {10.1007/978-3-319-25524-8_4}, editor = {Chen, Qingliang and Torroni, Paolo and Villata, Serena and Hsu, Jane and Omicini, Andrea}, iris = {11585/521212}, isbn = {978-3-319-25523-1}, keywords = {Spatial Computing; Aggregate Programming; Computational Fields}, language = {English}, pages = {49--64}, publisher = {Springer International Publishing}, scopus = {2-s2.0-84950323451}, series = {Lecture Notes in Computer Science}, title = {Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan}, url = {http://dx.doi.org/10.1007/978-3-319-25524-8_4}, volume = 9387, wos = {000367782600004}, 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}
@inproceedings{7306561, author={Pianini, Danilo and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko}, booktitle={2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops}, title={Computational Fields Meet Augmented Reality: Perspectives and Challenges}, year=2015, pages={80--85}, doi={10.1109/SASOW.2015.18}, month=sep}
@inproceedings{mirrorworlds-emas2015, acm = {10.1007/978-3-319-26184-3_11}, author = {Ricci, Alessandro and Croatti, Angelo and Brunetti, Pietro and Viroli, Mirko}, booktitle = {Engineering Multi-Agent Systems (EMAS 2015)}, dblp = {conf/atal/RicciCBV15}, doi = {10.1007/978-3-319-26184-3_11}, iris = {11585/520878}, location = {Istanbul, Turkey}, numpages = 21, scopus = {2-s2.0-84951273866}, title = {Programming Mirror-Worlds: An Agent-Oriented Programming Perspective}, wos = {000367684000011}, year = 2015 }
@inproceedings{augmentedfields-icth2015, author = {Brunetti, Pietro and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko}, booktitle = {Procedia Computer Science}, dblp = {conf/euspn/BrunettiCRV15}, doi = {10.1016/j.procs.2015.08.358}, iris = {11585/538763}, issn = {1877-0509}, keywords = {Healthcare}, location = {Berlin, Germany}, month = sep, note = {The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015) / Affiliated Workshops}, numpages = 8, pages = {392--399}, publisher = {Elsevier Science B.V.}, scopus = {2-s2.0-84954144309}, series = {Procedia Computer Science}, title = {Smart Augmented Fields for Emergency Operations}, url = {http://www.sciencedirect.com/science/article/pii/S187705091502493X}, urlpdf = {http://ac.els-cdn.com/S187705091502493X/1-s2.0-S187705091502493X-main.pdf?_tid=684d780e-20f7-11e6-ba1e-00000aacb361&acdnat=1464015946_6d656e32785b1aabe27fa5997b5dbbcb}, volume = 63, wos = {000373842900051}, 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}, }