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
}
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~} # apr,
note = {Best paper award},
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 = {http://ieeexplore.ieee.org/document/8360344/},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8360344},
wos = {000759774400038},
year = 2018
}
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~} # apr,
note = {Best paper award},
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 = {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
}
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
}
@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
}
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
}
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
}
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{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
}
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
}