Per Year

9 publications without Scopus ID  /  2015  /  Mirko Viroli
 @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},
} 
 
9 publications in 2015 without Scopus ID • topindexbottom