@inproceedings(vigna:facebook, author = {Lars Backstrom and Paolo Boldi and Marco Rosa and Johan Ugander and Sebastiano Vigna}, year = {2012}, title = {Four degrees of separation}, booktitle = {Web Science 2012, WebSci '12, Evanston, IL, {USA} - June 22 - 24, 2012}, pages = {33--42}, doi = {10.1145/2380718.2380723}, ) @article(BPV-COMPUTER2015, author = {Jacob Beal and Danilo Pianini and Mirko Viroli}, year = {2015}, title = {Aggregate Programming for the {Internet of Things}}, journal = {IEEE Computer}, volume = {48}, number = {9}, doi = {10.1109/MC.2015.261}, ) @inproceedings(BV-FOCAS2014, author = {Jacob Beal and Mirko Viroli}, year = {2014}, title = {Building blocks for aggregate programming of self-organising applications}, booktitle = {2nd FoCAS Workshop on Fundamentals of Collective Systems}, publisher = {IEEE CS}, pages = {8--13}, doi = {10.1109/SASOW.2014.6}, ) @inproceedings(vigna:hyperanf, author = {Paolo Boldi and Marco Rosa and Sebastiano Vigna}, year = {2011}, title = {HyperANF: approximating the neighbourhood function of very large graphs on a budget}, booktitle = {Proceedings of the 20th International Conference on World Wide Web, {WWW} 2011, Hyderabad, India, March 28 - April 1, 2011}, pages = {625--634}, doi = {10.1145/1963405.1963493}, ) @article(DVB-SCP2016, author = {Ferruccio Damiani and Mirko Viroli and Jacob Beal}, year = {2016}, title = {A type-sound calculus of computational fields}, journal = {Science of Computer Programming}, volume = {117}, pages = {17 -- 44}, doi = {10.1016/j.scico.2015.11.005}, ) @incollection(forte2015, author = {Ferruccio Damiani and Mirko Viroli and Danilo Pianini and Jacob Beal}, year = {2015}, title = {Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems}, series = {Lecture Notes in Computer Science}, volume = {9039}, publisher = {Springer}, pages = {113--128}, doi = {10.1007/978-3-319-19195-9}, ) @article(google:mapreduce, author = {Jeffrey Dean and Sanjay Ghemawat}, year = {2008}, title = {MapReduce: simplified data processing on large clusters}, journal = {Commun. {ACM}}, volume = {51}, number = {1}, pages = {107--113}, doi = {10.1145/1327452.1327492}, ) @inproceedings(flajolet:hyperloglog, author = {Philippe Flajolet and {\'E}ric Fusy and Olivier Gandouet and Fr{\'e}d{\'e}ric Meunier}, year = {2007}, title = {HyperLogLog: the analysis of a near-optimal cardinality estimation algorithm}, booktitle = {Analysis of Algorithms 2007 (AofA07)}, pages = {127--146}, ) @article(FJ, author = {Atsushi Igarashi and Benjamin C. Pierce and Philip Wadler}, year = {2001}, title = {{Featherweight Java}: A Minimal Core Calculus for {Java} and {GJ}}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {23}, number = {3}, doi = {10.1145/503502.503505}, ) @article(lafuente:fixpoint, author = {Lluch{-}Lafuente, Alberto and Michele Loreti and Ugo Montanari}, year = {2017}, title = {Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields}, journal = {Logical Methods in Computer Science}, volume = {13}, number = {1}, doi = {10.23638/LMCS-13(1:13)2017}, ) @inproceedings(palmer:anf, author = {Christopher R. Palmer and Phillip B. Gibbons and Christos Faloutsos}, year = {2002}, title = {{ANF:} a fast and scalable tool for data mining in massive graphs}, booktitle = {Proceedings of the Eighth {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada}, pages = {81--90}, doi = {10.1145/775047.775059}, ) @inproceedings(VBDP-SASO2015, author = {Mirko Viroli and Jacob Beal and Ferruccio Damiani and Danilo Pianini}, year = {2015}, title = {Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields}, booktitle = {IEEE SASO 2015}, publisher = {IEEE}, pages = {81--90}, doi = {10.1109/SASO.2015.16}, ) @inproceedings(VCP-UBICOMPW2016, author = {Mirko Viroli and Roberto Casadei and Danilo Pianini}, year = {2016}, title = {On Execution Platforms for Large-scale Aggregate Computing}, booktitle = {Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct}, series = {UbiComp '16}, publisher = {ACM}, address = {New York, NY, USA}, pages = {1321--1326}, doi = {10.1145/2968219.2979129}, )