Per Year

13 publications without IEEE No  /  2015  /  Mirko Viroli
@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{sapere-pmc10years,
   author = {Zambonelli, Franco and Omicini, Andrea and Anzengruber, Bernhard and Castelli, Gabriella and DeAngelis, Francesco L. and Di Marzo Serugendo, Giovanna and Dobson, Simon and Fernandez-Marquez, José Luis and Ferscha, Alois and Mamei, Marco and Mariani, Stefano and Molesini, Ambra and Montagna, Sara and Nieminen, Jussi and Pianini, Danilo and Risoldi, Matteo and Rosi, Alberto and Stevenson, Graeme and Viroli, Mirko and Ye, Juan},
   dblp = {journals/percom/ZambonelliOACAS15},
   doi = {10.1016/j.pmcj.2014.12.002},
   editor = {Kumar, Mohan and Becker, Christian},
   iris = {11585/480586},
   issn = {1574-1192},
   journal = {Pervasive and Mobile Computing},
   keywords = {Pervasive computing; Multi-agent systems; Coordination models; Self-organization},
   month = feb,
   note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
   pages = {236–252},
   part = {B},
   scholar = {15583593111038826907},
   scopus = {2-s2.0-84924155453},
   semanticscholar = {16555450},
   title = {Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination},
   url = {http://www.sciencedirect.com/science/article/pii/S1574119214001904},
   volume = 17,
   wos = {000350826800007},
   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},}
@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{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},
13 publications in 2015 without IEEE No • topindexbottom