Per Year

@inproceedings{blockchain-goodtechs2018,
    acm = {3284870},
    address = {New Work, NY, USA},
    apice = {BlockchainGoodtechs2018},
    author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
    booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
    core = {287851425},
    dblp = {conf/goodtechs/PianiniCC0VO18},
    doi = {10.1145/3284869.3284870},
    iris = {11585/655097},
    keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
    lens = {066-721-296-501-482},
    location = {Bologna, Italy},
    month = nov,
    openalex = {W2908544680},
    pages = {271--276},
    publisher = {ACM},
    scholar = {3798219571928546753},
    scopus = {2-s2.0-85061088949},
    title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
    url = {https://dl.acm.org/doi/10.1145/3284869.3284870},
    wos = {WOS:000470918900046},
    year = 2018
}

@inproceedings{wf-io-t2018,
    apice = {WfIoT2018},
    author = {Fortino, Giancarlo and Russo, Wilma and Savaglio, Claudio and Viroli, Mirko and Zhou, MengChu},
    booktitle = {4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018},
    doi = {10.1109/WF-IoT.2018.8355174},
    pages = {488--492},
    title = {Opportunistic cyberphysical services: {A} novel paradigm for the future Internet of Things},
    url = {https://doi.org/10.1109/WF-IoT.2018.8355174},
    year = 2018
}

@article{tomacs2018,
    acm = {3177774},
    address = {New York, NY, USA},
    apice = {TOMACS2018},
    articleno = 16,
    author = {Viroli, Mirko and Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Pianini, Danilo},
    doi = {10.1145/3177774},
    issn = {1049-3301},
    issue_date = {March 2018},
    journal = {ACM Transactions on Modeling and Computer Simulation},
    keywords = {Aggregate computing, collective adaptive systems, distributed algorithms, field calculus, self-stabilisation, simulation and modeling},
    month = mar,
    number = 2,
    numpages = 28,
    pages = {16:1--16:28},
    publisher = {ACM},
    title = {Engineering Resilient Collective Adaptive Systems by Self-Stabilisation},
    url = {https://doi.acm.org/10.1145/3177774},
    volume = 28,
    year = 2018
}

@article{mayer2018,
    apice = {Mayer2018},
    articleno = {e50},
    author = {Mayer Simon and Ciortea Andrei and Ricci Alessandro and Robles Maria Ines and Kovatsch Matthias and Croatti Angelo},
    dblp = {journals/itl/MayerCRRKC18},
    doi = {10.1002/itl2.50},
    iris = {11585/643013},
    journal = {Internet Technology Letters},
    keywords = {HATEOAS, hypermedia, Internet of Things, mixed reality, multiagent systems, Web of Things},
    number = 4,
    numpages = 6,
    pages = {1--6},
    publisher = {Wiley},
    title = {Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions},
    url = {https://onlinelibrary.wiley.com/doi/abs/10.1002/itl2.50},
    urlpdf = {https://onlinelibrary.wiley.com/doi/pdf/10.1002/itl2.50},
    volume = 1,
    wos = {WOS:000439930700004},
    year = 2018
}

@article{gradients-scp166,
    apice = {SCPGradients2018},
    author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
    doi = {10.1016/j.scico.2018.06.002},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
    pages = {146--166},
    title = {Optimal single-path information propagation in gradient-based algorithms},
    url = {https://www.sciencedirect.com/science/article/pii/S0167642318302387},
    volume = 166,
    year = 2018
}

@inproceedings{lpaas-ic2e2018,
    apice = {LpaasIc2e2018},
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {2018 IEEE International Conference on Cloud Engineering (IC2E 2018)},
    core = {287851432},
    dblp = {conf/ic2e/CalegariC0DO18},
    doi = {10.1109/IC2E.2018.00061},
    ieee = {8360344},
    iris = {11585/636933},
    isbn = {978-1-5386-5008-0},
    lens = {029-133-739-786-761},
    month = {17--20~} # apr,
    note = {Best paper award},
    openalex = {W2804481031},
    pages = {292--297},
    publisher = {IEEE Computer Society},
    scholar = {470119961420072962},
    scopus = {2-s2.0-85048334877},
    title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
    url = {https://ieeexplore.ieee.org/document/8360344/},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
    wos = {WOS:000759774400038},
    year = 2018
}

@article{respectx-comsis15,
    apice = {RespectxComsis15},
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    core = {287851430},
    dblp = {journals/comsis/CiattoMO18},
    doi = {10.2298/CSIS180111031C},
    editor = {Bădică, Costin and Trawiński, Bogdan},
    eissn = {2406-1018},
    iris = {11585/646056},
    issn = {1820-0214},
    journal = {Computer Science and Information Systems},
    keywords = {coordination, multi-agent systems, Eclipse IDE, TuCSoN, ReSpecTX},
    lens = {003-425-888-910-122},
    month = oct,
    note = {{S}pecial Section: Contemporary Topics in Intelligent Distributed Computing},
    number = 3,
    openalex = {W2891876727},
    pages = {655--682},
    publisher = {ComSIS Consortium},
    scholar = {14640975833342876198},
    scopus = {2-s2.0-85055164807},
    title = {{\sf{{R}e{S}pec{T}}$\mathbb{X}$}: Programming Interaction Made Easy},
    url = {https://www.comsis.org/archive.php?show=ppridc-7418},
    urlpdf = {http://www.comsis.org/pdf.php?id=idc-7418},
    volume = 15,
    wos = {WOS:000446686100010},
    year = 2018
}

@inproceedings{coordination-aggregate-computing2018,
    apice = {CoordinationAggregateComputing2018},
    author = {Viroli, Mirko and Beal, Jacob and Damiani, Ferruccio and Audrito, Giorgio and Casadei, Roberto and Pianini, Danilo},
    booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings},
    doi = {10.1007/978-3-319-92408-3_12},
    editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
    pages = {252--279},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {From Field-Based Coordination to Aggregate Computing},
    url = {https://doi.org/10.1007/978-3-319-92408-3_12},
    volume = 10852,
    year = 2018
}

@incollection{techsurvey-coord2018,
    apice = {TechsurveyCoord2018},
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco and Louvel, Maxime},
    booktitle = {Coordination Models and Languages},
    core = {196287252},
    dblp = {conf/coordination/Ciatto0LOZ18},
    doi = {10.1007/978-3-319-92408-3_3},
    editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
    eisbn = {978-3-319-92408-3},
    iris = {11585/636939},
    keywords = {Coordination technologies, Middleware, Survey},
    lens = {048-390-800-928-279},
    note = {20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings},
    numpages = 30,
    openalex = {W2804432015},
    pages = {51--80},
    publisher = {Springer},
    scopus = {2-s2.0-85048877084},
    series = {Lecture Notes in Computer Science},
    title = {Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives},
    url = {https://link.springer.com/10.1007/978-3-319-92408-3_3},
    volume = 10852,
    wos = {WOS:001432879100003},
    year = 2018
}

@article{spatialtuples-exsys35,
    apice = {SpatialtuplesExsys35},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
    core = {287851426},
    dblp = {journals/es/RicciVOMCP18},
    doi = {10.1111/exsy.12273},
    editor = {Camacho, David and Novais, Paulo},
    iris = {11585/646034},
    issn = {0266-4720},
    journal = {Expert Systems},
    keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
    lens = {037-189-579-473-936},
    month = oct,
    note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
    number = 5,
    openalex = {W2801510041},
    publisher = {Wiley},
    scholar = {15432439871249761138},
    scopus = {2-s2.0-85045836760},
    title = {Spatial Tuples: Augmenting Reality with Tuples},
    url = {https://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
    volume = 35,
    wos = {WOS:000446560700003},
    year = 2018
}

@inproceedings{mirage-paams2018,
    address = {Cham},
    apice = {MiragePaams2018},
    author = {Croatti, Angelo and Ricci, Alessandro},
    booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection},
    dblp = {conf/paams/CroattiR18a},
    doi = {10.1007/978-3-319-94580-4_25},
    editor = {Demazeau, Yves and An, Bo and Bajo, Javier and Fernandez-Caballero, Antonio},
    iris = {11585/643021},
    isbn = {978-3-319-94580-4},
    pages = {301--304},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-85049381775},
    title = {Developing Agent-Based Pervasive Mixed Reality Systems: The {MiRAgE} Framework},
    url = {https://link.springer.com/10.1007/978-3-319-94580-4_25},
    wos = {WOS:000553806300025},
    year = 2018
}

@article{lpaas-tplp18,
    apice = {LpaasTplp18},
    author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
    dblp = {journals/tplp/CalegariDMO18},
    doi = {10.1017/S1471068418000364},
    editor = {Fioretto, Ferdinando and Pontelli, Enrico},
    iris = {11585/642508},
    journal = {Theory and Practice of Logic Programming},
    keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
    lens = {014-518-018-635-050},
    month = sep,
    note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
    number = {5-6},
    numpages = 28,
    openalex = {W2807492317},
    pages = {846--873},
    publisher = {Cambridge University Press},
    scholar = {13482792136370336832},
    scopus = {2-s2.0-85050006559},
    title = {Logic Programming as a Service},
    url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
    volume = 18,
    wos = {WOS:000443682000005},
    year = 2018
}

@inproceedings{coordination-universality2018,
    apice = {CoordinationUniversality2018},
    author = {Audrito, Giorgio and Beal, Jacob and Damiani, Ferruccio and Viroli, Mirko},
    booktitle = {Coordination Models and Languages - 20th {IFIP} {WG} 6.1 International Conference, {COORDINATION} 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings},
    doi = {10.1007/978-3-319-92408-3_1},
    editor = {Di Marzo Serugendo, Giovanna and Loreti, Michele},
    pages = {1--20},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Space-Time Universality of Field Calculus},
    url = {https://link.springer.com/10.1007/978-3-319-92408-3_1},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-92408-3_1.pdf},
    volume = 10852,
    year = 2018
}

@article{awad2018,
    apice = {Awad2018},
    author = {Edmond Awad and Sohan Dsouza and Richard Kim and Jonathan Schulz and Joseph Henrich and Azim Shariff and Jean-François Bonnefon and Iyad Rahwan},
    doi = {10.1038/s41586-018-0637-6},
    issn = {0028-0836},
    journal = {Nature},
    month = oct,
    number = 7729,
    numpages = 6,
    openalex = {W2896252141},
    pages = {59--64},
    pubmed = {30356211},
    title = {The Moral Machine experiment},
    url = {https://www.nature.com/articles/s41586-018-0637-6},
    urlopenaccess = {https://hdl.handle.net/1721.1/125065},
    volume = 563,
    year = 2018
}

@article{blackboxexplain-csur51,
    address = {New York, NY, USA},
    apice = {BlackboxexplainCsur51},
    articleno = 93,
    author = {Guidotti, Riccardo and Monreale, Anna and Ruggieri, Salvatore and Turini, Franco and Giannotti, Fosca and Pedreschi, Dino},
    doi = {10.1145/3236009},
    issn = {0360-0300},
    issue_date = {September 2019},
    journal = {ACM Computing Surveys},
    keywords = {interpretability, explanations, Open the black box, transparent models},
    month = aug,
    number = 5,
    numpages = 42,
    publisher = {Association for Computing Machinery},
    title = {A Survey of Methods for Explaining Black Box Models},
    url = {https://doi.org/10.1145/3236009},
    volume = 51,
    year = 2018
}

@article{modelinterpretability-cacm61,
    acm = {10.1145/3233231},
    apice = {ModelinterpretabilityCacm61},
    author = {Lipton, Zachary C.},
    doi = {10.1145/3233231},
    journal = {Communications of the ACM},
    month = oct,
    number = 10,
    pages = {36--43},
    publisher = {Association for Computing Machinery},
    title = {The mythos of model interpretability},
    url = {https://dl.acm.org/doi/10.1145/3233231},
    volume = 61,
    year = 2018
}

@article{labelledlp-fi161,
    apice = {LabelledlpFundinfo161},
    author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
    core = {195747834},
    dblp = {journals/fuin/CalegariDDO18},
    doi = {10.3233/FI-2018-1695},
    editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
    iris = {11585/636935},
    journal = {Fundamenta Informaticae},
    keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
    lens = {124-906-407-590-565},
    month = jul,
    note = {Special Issue CILC 2016},
    number = {1-2},
    numpages = 22,
    openalex = {W2810600471},
    pages = {53--74},
    scopus = {2-s2.0-85049682130},
    title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
    url = {https://content.iospress.com/articles/fundamenta-informaticae/fi1695},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
    urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/FI-2018-1695},
    volume = 161,
    wos = {WOS:000437260800005},
    year = 2018
}

@inproceedings{trustaggregate-foclasa2017,
    abstract = {Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour of large collections of interacting devices. Aggregate computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through a functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top of it. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
    apice = {TrustaggregateFoclasa2017},
    author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
    booktitle = {Software Engineering and Formal Methods},
    doi = {10.1007/978-3-319-74781-1_34},
    editor = {Cerone, Antonio and Roveri, Marco},
    isbn = {978-3-319-74781-1},
    pages = {507--522},
    publisher = {Springer International Publishing},
    series = {Lecture Notes in Computer Science},
    title = {Combining Trust and Aggregate Computing},
    url = {https://link.springer.com/10.1007/978-3-319-74781-1_34},
    urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-319-74781-1_34.pdf},
    volume = 10729,
    year = 2018
}

@inproceedings{casadei2018ecas,
    abstract = {On the way to the materialisation of the pervasive computing vision, the technological progress swelling from mobile computing and the Internet of Things (IoT) domain is already rich of missed opportunities. Firstly, coordinating large numbers of heterogeneous situated entities to achieve system-level goals in a resilient and self-adaptive way is complex and requires novel approaches to be seamlessly injected into mainstream distributed computing models. Secondly, achieving effective exploitation of computer resources is difficult, due to operational constraints resulting from current paradigms and uncomprehensive software infrastructures which hinder flexibility, adaptation, and smooth coordination of computational tasks execution. Indeed, building dynamic, context-oriented applications in small- or large-scale IoT with traditional abstractions is hard: even harder is to achieve opportunistic, QoS- and QoE-driven application task management across available hardware and networking infrastructure. In this insight paper, we analyse by the collective adaptation perspective the key directions of the impelling paradigm shift urged by forthcoming large-scale IoT scenarios. Specifically, we consider how collective abstractions and platforms can synergistically assist in such a transformation, by better capturing and enacting a notion of ``collective service'' as well as the dynamic, opportunistic, and context-driven traits of space-time-situated computations},
    apice = {SlefadaptiveiotEcas2018},
    author = {Casadei, Roberto and Viroli, Mirko},
    booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
    doi = {10.1109/FAS-W.2018.00033},
    numpages = 6,
    pages = {106--111},
    title = {Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT},
    year = 2018
}

@article{scp-trust2018,
    apice = {SCPTrust2018},
    author = {Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
    doi = {10.1016/j.scico.2018.07.006},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Aggregate programming, Gradient, Information speed, Reliability, Spatial computing},
    pages = {114--137},
    title = {Towards attack-resistant Aggregate Computing using trust mechanisms},
    url = {https://www.sciencedirect.com/science/article/pii/S0167642318303046},
    volume = 167,
    year = 2018
}

@inproceedings{speakingobjects-mmas2018,
    abstract = {Smart sensors and actuators, embedding learning and reasoning fea- tures and associated to everyday objects and locations, will soon densely popu- late our everyday environments. Being capable of understanding, reasoning, and reporting about what is happening (for sensors) and about what they can make possibly happen (for actuators), these ``speaking objects'' will thus be assimilable to autonomous situated agents. Accordingly, populations of speaking objects will define dense and massive multiagent systems, devoted to monitor and control our environments, let them be homes, industries or, in the large-scale, whole cities. In this context, the necessary coordination among speaking objects will be likely to become associated with the capability of argumenting about situations and about the current state of the affairs, triggering and directing proper distributed conver- sations, and eventually collectively reach future desirable state of the affairs. In this article, we detail the speaking object vision, overview the key enabling tech- nologies, and analyze the key challenges for engineering large-scale collectives of speaking objects and their conversations.},
    apice = {SpeakingObjectsMMAS2018},
    author = {Marco Lippi and Marco Mamei and Mariani, Stefano and Franco Zambonelli},
    booktitle = {International Workshop on Massively Multi-Agent Systems},
    doi = {10.1007/978-3-030-20937-7_1},
    journal = {International Workshop on Massively Multi-Agent Systems},
    title = {Distributed Speaking Objects: a Case for Massive Multiagent Systems},
    url = {http://www.ai.soc.i.kyoto-u.ac.jp/mmas2018/papers/MMAS2018_S1_01.pdf},
    year = 2018
}

@article{apj-characteristics18,
    abstract = {Galactic cosmic-ray (GCR) energy spectra observed in the inner heliosphere are modulated by the solar activity, the solar polarity and structures of solar and interplanetary origin. A high counting rate particle detector (PD) aboard LISA Pathfinder, meant for subsystems diagnostics, was devoted to the measurement of GCR and solar energetic particle integral fluxes above 70 MeV n−1 up to 6500 counts s−1. PD data were gathered with a sampling time of 15 s. Characteristics and energy dependence of GCR flux recurrent depressions and of a Forbush decrease dated 2016 August 2 are reported here. The capability of interplanetary missions, carrying PDs for instrument performance purposes, in monitoring the passage of interplanetary coronal mass ejections is also discussed.},
    apice = {ApjCharacteristics18},
    author = {Armano, M. and Audley, H. and Baird, J. and Bassan, M. and Benella, S. and Binetruy, P. and Born, M. and Bortoluzzi, D. and Cavalleri, A. and Cesarini, A. and Cruise, A. M. and Danzmann, K. and de Deus Silva, K. and Diepholz, I. and Dixon, G. and Dolesi, R. and Fabi, M. and Ferraioli, L. and Ferroni, V. and Finetti, N. and Fitzsimons, E. D. and Freschi, M. and Gesa, L. and Gibert, F. and Giardini, D. and Giusteri, R. and Grimani, C. and Grzymisch, J. and Harrison, I. and Heinzel, G. and Hewitson, M. and Hollington, D. and Hoyland, D. and Hueller, M. and Inchausp{\'{e}}, H. and Jennrich, O. and Jetzer, P. and Karnesis, N. and Kaune, B. and Korsakova, N. and Killow, C. J. and Laurenza, M. and Lobo, J. A. and Lloro, I. and Liu, L. and L{\'{o}}pez-Zaragoza, J. P. and Maarschalkerweerd, R. and Mance, D. and Mart{\'{\i}}n, V. and Martin-Polo, L. and Martino, J. and Martin-Porqueras, F. and Mateos, I. and McNamara, P. W. and Mendes, J. and Mendes, L. and Nofrarias, M. and Paczkowski, S. and Perreur-Lloyd, M. and Petiteau, A. and Pivato, P. and Plagnol, E. and Ramos-Castro, J. and Reiche, J. and Robertson, D. I. and Rivas, F. and Russano, G. and Sabbatini, Federico and Slutsky, J. and Sopuerta, C. F. and Sumner, T. and Tellon, D. and Texier, D. and Thorpe, J. I. and Vetrugno, D. and Vitale, S. and Wanner, G. and Ward, H. and Wass, P. and Weber, W. J. and Wissel, L. and Wittchen, A. and Zambotti, A. and Zanoni, C. and Zweifel, P.},
    doi = {10.3847/1538-4357/aaa774},
    journal = {The Astrophysical Journal},
    month = feb,
    number = 2,
    pages = {113},
    publisher = {American Astronomical Society},
    title = {Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with {LISA} Pathfinder},
    url = {https://doi.org/10.3847/1538-4357/aaa774},
    volume = 854,
    year = 2018
}

@article{lpaas-bdcc2,
    apice = {LpaasBdcc2},
    articleno = 23,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    core = {287851424},
    dblp = {journals/bdcc/CalegariC0DO18},
    doi = {10.3390/bdcc2030023},
    eissn = {2504-2289},
    iris = {11585/640012},
    journal = {Big Data and Cognitive Computing},
    keywords = {Logic Programming as a Service, IoT, symbolic reasoning},
    lens = {017-986-911-790-519},
    number = 3,
    numpages = 26,
    openalex = {W2885077523},
    publisher = {MDPI},
    scholar = {247396456770353218},
    scopus = {2-s2.0-85075881133},
    title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
    url = {https://www.mdpi.com/2504-2289/2/3/23},
    urlpdf = {https://www.mdpi.com/2504-2289/2/3/23/pdf},
    volume = 2,
    year = 2018
}

@inproceedings{bctcoord-bct4mas2018wi,
    apice = {BctcoordBct4mas2018},
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    booktitle = {2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI)},
    core = {287851428},
    dblp = {conf/webi/Ciatto0O18},
    doi = {10.1109/WI.2018.000-9},
    ieee = {8609674},
    iris = {11585/655099},
    isbn = {978-1-5386-7325-6},
    keywords = {blockchain, smart contracts, MAS, coordination, Linda, Ethereum, economy of coordination},
    lens = {117-526-811-136-024},
    month = dec,
    note = {1st International Workshop on Block Chain Technologies 4 Multi-Agent Systems (BCT4MAS 2018)},
    numpages = 8,
    pages = {696--703},
    scholar = {168725511213458827},
    scopus = {2-s2.0-85061893707},
    title = {Blockchain for Trustworthy Coordination: A First Study with {L}inda and {E}thereum},
    url = {https://ieeexplore.ieee.org/document/8609674},
    wos = {WOS:000458968200106},
    year = 2018
}

@incollection{actors-aggregate2018,
    apice = {ActorsAggregate2018},
    author = {Casadei, Roberto and Viroli, Mirko},
    booktitle = {Programming with Actors: State-of-the-Art and Research Perspectives},
    doi = {10.1007/978-3-030-00302-9_4},
    editor = {Ricci, Alessandro and Haller, Philipp},
    pages = {94--122},
    publisher = {Springer International Publishing},
    series = {Lecture Notes in Computer Science},
    title = {Programming Actor-Based Collective Adaptive Systems},
    url = {https://doi.org/10.1007/978-3-030-00302-9_4},
    volume = 10789,
    year = 2018
}

@inproceedings{augmentedworlds-paams2018,
    address = {Cham},
    apice = {AugmentedworldsPaams2018},
    author = {Croatti, Angelo and Ricci, Alessandro},
    booktitle = {Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection},
    dblp = {conf/paams/CroattiR18},
    doi = {10.1007/978-3-319-94580-4_10},
    editor = {Demazeau, Yves and An, Bo and Bajo, Javier and Fernández-Caballero, Antonio},
    iris = {11585/643019},
    isbn = {978-3-319-94580-4},
    pages = {127--139},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-85049376533},
    title = {A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems},
    url = {https://link.springer.com/10.1007/978-3-319-94580-4_10},
    wos = {WOS:000553806300010},
    year = 2018
}

@inproceedings{spacetimelp-woa2018,
    apice = {SpacetimelpWoa2018},
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CalegariC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646038},
    keywords = {LPaaS, situatedness, logic programming, SOA, space-time programming},
    lens = {143-593-833-862-986},
    location = {Palermo, Italy},
    month = {29--30~} # jun,
    numpages = 6,
    openalex = {W2893229461},
    pages = {63--68},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-85054314622},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {Logic Programming in Space-Time: The Case of Situatedness in {LPaaS}},
    url = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
    urlpdf = {https://ceur-ws.org/Vol-2215/paper_11.pdf},
    volume = 2215,
    year = 2018
}

@proceedings{aamas2018,
    booktitle = {Proceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems},
    dblp = {conf/atal/2018},
    editor = {Elisabeth André and Sven Koenig and Mehdi Dastani and Gita Sukthankar},
    isbn = {978-1-4503-5649-7},
    issn = {2523-5699},
    note = {17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Stockholm, Sweden, 8-12 May 2018},
    publisher = {IFAAMAS},
    title = {Proceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems},
    url = {https://www.ifaamas.org/Proceedings/aamas2018/},
    year = 2018
}

@inproceedings{blockchainlp-woa2018,
    apice = {BlockchainlpWoa2018},
    author = {Ciatto, Giovanni and Calegari, Roberta and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    booktitle = {WOA 2018 -- 19th Workshop ``From Objects to Agents''},
    dblp = {conf/woa/CiattoC0DO18},
    editor = {Cossentino, Massimo and Sabatucci, Luca and Seidita, Valeria},
    iris = {11585/646042},
    keywords = {blockchain, logic programming, smart contracts},
    lens = {054-724-593-838-469},
    location = {Palermo, Italy},
    month = jun,
    openalex = {W2893170444},
    pages = {69--74},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scholar = {816353538952619884},
    scopus = {2-s2.0-85054323401},
    series = {CEUR Workshop Proceedings},
    subseries = {AI*IA Series},
    title = {From the Blockchain to Logic Programming and Back: Research Perspectives},
    url = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
    urlpdf = {https://ceur-ws.org/Vol-2215/paper_12.pdf},
    volume = 2215,
    year = 2018
}

@inproceedings{field-calculus-rtss2018,
    apice = {FieldCalculusRTSS2018},
    author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Bini, Enrico},
    booktitle = {2018 IEEE Real-Time Systems Symposium (RTSS)},
    doi = {10.1109/RTSS.2018.00013},
    issn = {2576-3172},
    keywords = {Calculus;Aggregates;Programming;Computational modeling;Real-time systems;Sensors;Wireless sensor networks;aggregate computing;field calculus;shortest path;IoT;distributed systems},
    month = {Dec},
    pages = {23--34},
    title = {Distributed Real-Time Shortest-Paths Computations with the Field Calculus},
    year = 2018
}

@incollection{smfoclasa2018invited,
    apice = {StscoordinationStaf2018},
    author = {Mariani, Stefano},
    booktitle = {Lecture Notes in Computer Science},
    doi = {10.1007/978-3-030-04771-9_22},
    editor = {Manuel Mazzara and Iulian Ober and Gwen Salaün},
    eisbn = {978-3-030-04771-9},
    isbn = {978-3-030-04770-2},
    keywords = {coordination, socio-technical systems, MoK, Speaking Objects, ArgoRec, self-organisation, BIC, argumentation},
    note = {Invited paper},
    publisher = {Springer},
    scopus = {2-s2.0-85058577434},
    series = {Lecture Notes in Computer Science},
    subseries = {Software Technologies: Applications and Foundations (STAF 2018)},
    title = {Coordination of Complex Socio-technical Systems: Challenges and Opportunities},
    url = {https://www.sciencedirect.com/science/article/pii/S0167642319301157},
    urlopenaccess = {https://pdf.sciencedirectassets.com/271600/1-s2.0-S0167642319X00131/1-s2.0-S0167642319301157/main.pdf},
    volume = 11176,
    year = 2018
}

@inproceedings{montagna-wivace2017,
    address = {Cham},
    apice = {SelfloopsWivace2018},
    author = {Montagna, Sara and Braccini, Michele and Roli, Andrea},
    booktitle = {Artificial Life and Evolutionary Computation},
    doi = {10.1007/978-3-319-78658-2_8},
    editor = {Pelillo, Marcello and Poli, Irene and Roli, Andrea and Serra, Roberto and Slanzi, Debora and Villani, Marco},
    isbn = {978-3-319-78658-2},
    pages = {104--115},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-85045231827},
    title = {The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis},
    url = {https://link.springer.com/10.1007/978-3-319-78658-2_8},
    year = 2018
}

@inproceedings{aggregate-alp4iot2017,
    apice = {AggregateAlp4iot2017},
    author = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
    booktitle = {Proceedings 1st Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
    doi = {10.4204/EPTCS.264.2},
    editor = {Pianini, Danilo and Salvaneschi, Guido},
    issn = {2075–2180},
    numpages = 5,
    pages = {18--22},
    scopus = {2-s2.0-85048436603},
    series = {Electronic Proceedings in Theoretical Computer Science},
    title = {Aggregate Graph Statistics},
    url = {https://doi.org/10.4204/EPTCS.264.2},
    urlpdf = {https://eptcs.web.cse.unsw.edu.au/paper.cgi?ALP4IoT2017.2.pdf},
    volume = 264,
    year = 2017
}