@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{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
} @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{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
} 
0000-0002-6655-3869