Per Year

 @inproceedings{blockchain-goodtechs2018,
    acm = {10.1145/3284869.3284870},
    address = {New Work, NY, USA},
    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},
    dblp = {conf/goodtechs/PianiniCC0VO18},
    doi = {10.1145/3284869.3284870},
    iris = {11585/655097},
    keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
    location = {Bologna, Italy},
    month = nov,
    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 = {http://dl.acm.org/citation.cfm?doid=3284870},
    wos = {000470918900046},
    year = 2018
} 

 @inproceedings{10.1007/978-3-319-94580-4_25,
    address = {Cham},
    author = {Croatti, Angelo and Ricci, Alessandro},
     editor = {Demazeau, Yves and An, Bo and Bajo, Javier and Fernandez-Caballero, Antonio},
    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},
    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/chapter/10.1007/978-3-319-94580-4_25},
    wos = {000553806300025},
    year = 2018
} 

 @inproceedings{ADV-ALP4IOT2018,
  author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
  title     = {Aggregate Graph Statistics},
  booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
  pages     = {18--22},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.264.2},
  doi       = {10.4204/EPTCS.264.2},
  editor    = {Pianini, Danilo and Salvaneschi, Guido},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {264},
  year      = {2018}
} 

 @inproceedings{lpaas-ic2e2018,
    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)},
    dblp = {conf/ic2e/CalegariC0DO18conf/ic2e/CalegariC0DO18},
    doi = {10.1109/IC2E.2018.00061},
    ieee = {8360344},
    iris = {11585/636933},
    isbn = {978-1-5386-5008-0},
    month = {17--20}}},
    publisher = {IEEE Computer Society},
    scholar = {470119961420072962},
    scopus = {2-s2.0-85048334877},
    title = {Micro-intelligence for the {IoT}: {SE} Challenges and Practice in {LPaaS}},
    url = {http://ieeexplore.ieee.org/document/8360344/},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
    wos = {000759774400038},
    year = 2018
} 

 @article{respectx-comsis15,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    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},
    month = oct,
    note = {{S}pecial Section: Contemporary Topics in Intelligent Distributed Computing},
    number = 3,
    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 = {http://www.comsis.org/archive.php?show=ppridc-7418},
    urlpdf = {http://www.comsis.org/pdf.php?id=idc-7418},
    volume = 15,
    wos = {000446686100010},
    year = 2018
} 

 @incollection{techsurvey-coord2018,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea and Zambonelli, Franco and Louvel, Maxime},
    booktitle = {Coordination Models and Languages},
    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},
    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,
    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 = {http://link.springer.com/10.1007/978-3-319-92408-3_3},
    volume = 10852,
    year = 2018
} 

 @article{spatialtuples-exsys35,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
    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},
    month = oct,
    note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
    number = 5,
    publisher = {Wiley},
    scholar = {15432439871249761138},
    scopus = {2-s2.0-85045836760},
    title = {Spatial Tuples: Augmenting Reality with Tuples},
    url = {http://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
    volume = 35,
    wos = {000446560700003},
    year = 2018
} 

 @article{lpaas-tplp18,
    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},
    month = sep,
    note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
    number = 5-6,
    numpages = 28,
    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 = {000443682000005},
    year = 2018
} 

 @article{labelledlp-fi161,
    author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
    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},
    month = jul,
    note = {Special Issue CILC 2016},
    number = 1-2,
    numpages = 22,
    pages = {53--74},
    scopus = {2-s2.0-85049682130},
    title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
    url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
    urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/636935/838171/CDDO-FI-2017.pdf},
    volume = 161,
    wos = {000437260800005},
    year = 2018
} 

 @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
  series    = {Lecture Notes in Computer Science},
  volume    = {10729},
pages={507--522},
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.},
isbn={978-3-319-74781-1}
} 

 @article{lpaas-bdcc2,
    articleno = 23,
    author = {Calegari, Roberta and Ciatto, Giovanni and Mariani, Stefano and Denti, Enrico and Omicini, Andrea},
    dblp = {journals/fuin/CalegariDDO18},
    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},
    number = 3,
    numpages = 26,
    publisher = {MDPI},
    scholar = {247396456770353218},
    scopus = {2-s2.0-85075881133},
    title = {{LPaaS} as Micro-intelligence: Enhancing {IoT} with Symbolic Reasoning},
    url = {http://www.mdpi.com/2504-2289/2/3/23},
    urlpdf = {http://www.mdpi.com/2504-2289/2/3/23/pdf},
    volume = 2,
    year = 2018
} 

 @inproceedings{bctcoord-bct4mas2018wi,
    author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
    booktitle = {2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI)},
    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},
    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 = {http://ieeexplore.ieee.org/document/8609674},
    wos = {000458968200106},
    year = 2018
} 

 @inproceedings{spacetimelp-woa2018,
    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},
    location = {Palermo, Italy},
    month = {29--30}}},
    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 = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_11.pdf},
    volume = 2215,
    year = 2018
} 

 @inproceedings{Montagna-WIVACE2017,
    address = {Cham},
    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{blockchainlp-woa2018,
    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},
    location = {Palermo, Italy},
    month = jun,
    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 = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    urlpdf = {http://ceur-ws.org/Vol-2215/paper_12.pdf},
    volume = 2215,
    year = 2018
} 

 @inproceedings{10.1007/978-3-319-94580-4_10,
    address = {Cham},
    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 = {000553806300010},
    year = 2018
}