@inproceedings{kotlindsi4prolog-woa2020,
address = {Aachen, Germany},
author = {Ciatto, Giovanni and Calegari, Roberta and Siboni, Enrico and Denti, Enrico and Omicini, Andrea},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CiattoCSDO20},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781391},
keywords = {object-oriented programming, multi-paradigm languages, domain-specific languages, Kotlin},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 18,
pages = {219--236},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095597762},
series = {CEUR Workshop Proceedings},
subseries = {AIxIA Series},
title = {{{\sf 2}P-{\sc Kt}}: logic programming with objects \char"26{} functions in {K}otlin},
url = {http://ceur-ws.org/Vol-2706/paper14.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/paper14.pdf},
volume = 2706,
year = 2020
} }}})))
((({{{ @inproceedings{preface-woa2020,
address = {Aachen, Germany},
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
booktitle = {WOA 2020 -- 21th Workshop ``From Objects to Agents''},
editor = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea and Sartor, Giovanni},
iris = {11585/781522},
location = {Bologna, Italy},
month = oct,
note = {21st Workshop ``From Objects to Agents'' (WOA 2020), Bologna, Italy, 14--16~} # sep # {~2020. Proceedings},
numpages = 2,
pages = {iii--iv},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85095596630},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Preface},
url = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
urlpdf = {http://ceur-ws.org/Vol-2706/xpreface.pdf},
volume = 2706,
year = 2020
} }}})))
((({{{ @incollection{semanticselfcomposition-isola2020,
address = {Cham},
author = {Caselli, Ashley and Ciatto, Giovanni and Di Marzo Serugendo, Giovanna and Omicini, Andrea},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles},
dblp = {conf/isola/CaselliCSO20},
doi = {10.1007/978-3-030-61470-6_13},
editor = {Margaria, Tiziana and Steffen, Bernhard},
iris = {11585/776750},
isbn = {978-3-030-61470-6},
month = oct,
pages = {205--223},
publisher = {Springer International Publishing},
scopus = {2-s2.0-85096570203},
series = {Lecture Notes in Computer Science},
title = {Engineering Semantic Self-composition of Services Through Tuple-Based Coordination},
url = {https://link.springer.com/10.1007/978-3-030-61470-6_13},
urlopenaccess = {https://cris.unibo.it/retrieve/handle/11585/776750/695563/ccdmso-isola-2020.pdf},
urlpdf = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-61470-6_13.pdf},
volume = 12477,
year = 2020
} }}})))
</div>
<div class="mainselectbottom">
5 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2020 {{stringEngIta eng='without' ita='senza'/}} Google Scholar ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2019" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2019&service=scholar&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2019
</a>
</div>
<div>
((({{{ @incollection{preface-aiiot2019,
author = {Savaglio, Claudio and Ciatto, Giovanni and Omicini, Andrea and Fortino, Giancarlo},
booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/707353},
issn = {1613-0073},
keywords = {Artificial Intelligence; Internet of Things},
month = nov,
pages = {i},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85075928953},
series = {CEUR Workshop Proceedings},
title = {Preface -- AI\&IoT 2019},
urlpdf = {http://ceur-ws.org/Vol-2502/preface.pdf},
volume = 2502,
year = 2019
} }}})))
((({{{ @proceedings{aiiot2019-ceur2502,
booktitle = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
dblp = {conf/aiia/2019aiiot},
editor = {Savaglio, Claudio and Fortino, Giancarlo and Ciatto, Giovanni and Omicini, Andrea},
iris = {11585/707347},
issn = {1613-0073},
keywords = {artificial intelligence; Internet of Things},
location = {Rende, Italy},
month = nov,
publisher = {Sun SITE Central Europe, RWTH Aachen University},
series = {CEUR Workshop Proceedings},
title = {AI\&IoT 2019 -- Artificial Intelligence and Internet of Things 2019},
url = {http://ceur-ws.org/Vol-2502/},
volume = 2502,
year = 2019
} }}})))
((({{{ @inproceedings{tusow-icccn2019,
address = {Valencia, Spain},
author = {Ciatto, Giovanni and Rizzato, Lorenzo and Omicini, Andrea and Mariani, Stefano},
booktitle = {The 28th International Conference on Computer Communications and Networks (ICCCN 2019)},
dblp = {conf/icccn/CiattoRO019},
doi = {10.1109/ICCCN.2019.8846916},
ieee = {8846916},
iris = {11585/695576},
isbn = {978-1-7281-1856-7},
isbn-usb = {978-1-7281-1855-0},
issn = {2637-9430},
keywords = {TuSoW, edge computing, coordination, tuple spaces, LINDA, Web of Things},
month = {29}}},
scopus = {2-s2.0-85073155391},
title = {{TuSoW}: Tuple Spaces for Edge Computing},
url = {http://ieeexplore.ieee.org/document/8846916},
wos = {000533348400007},
year = 2019
} }}})))
((({{{ @incollection{xailp-woa2019,
author = {Calegari, Roberta and Ciatto, Giovanni and Dellaluce, Jason and Omicini, Andrea},
booktitle = {WOA 2019 -- 20th Workshop ``From Objects to Agents''},
dblp = {conf/woa/CalegariCDO19},
editor = {Bergenti, Federico and Monica, Stefania},
iris = {11585/692870},
keywords = {XAI, logic programming, machine learning, symbolic vs. subsymbolic},
location = {Parma, Italy},
month = {26--28}}},
scopus = {2-s2.0-85069688451},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Interpretable Narrative Explanation for {ML} Predictors with {LP}: A Case Study for {XAI}},
url = {http://ceur-ws.org/Vol-2404/paper16.pdf},
volume = 2404,
year = 2019
} }}})))
((({{{ @incollection{edgeintelligenceguidelines-idcs2019,
author = {Calegari, Roberta and Ciatto, Giovanni and Denti, Enrico and Omicini, Andrea},
booktitle = {Internet and Distributed Computing Systems (IDCS 2019)},
dblp = {conf/idcs/CalegariCDO19},
doi = {10.1007/978-3-030-34914-1_25},
eisbn = {978-3-030-34914-1},
iris = {11585/705119},
isbn = {978-3-030-34913-4},
keywords = {design guidelines, CPCS, micro-intelligence, LPaaS, Situated Logic Programming, Edge intelligence},
location = {Napoli, Italy},
month = {10--12}}},
scopus = {2-s2.0-85075905010},
series = {Lecture Notes in Computer Science},
title = {Engineering Micro-intelligence at the Edge of {CPCS}: Design Guidelines},
url = {http://link.springer.com/10.1007/978-3-030-34914-1_25},
volume = 11874,
year = 2019
} }}})))
</div>
<div class="mainselectbottom">
5 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2019 {{stringEngIta eng='without' ita='senza'/}} Google Scholar ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2018" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2018&service=scholar&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2018
</a>
</div>
<div>
((({{{ @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
} }}})))
((({{{ @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
} }}})))
</div>
<div class="mainselectbottom">
2 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2018 {{stringEngIta eng='without' ita='senza'/}} Google Scholar ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2017" href=/xwiki/bin/view/GiovanniCiatto/Publications/Services/PerYear?year=2017&service=scholar&id=false&bibtex=true&inline=true&user=XWiki.GiovanniCiatto>
2017
</a>
</div>
<div>
((({{{ @inproceedings{respect-idc2017,
author = {Ciatto, Giovanni and Mariani, Stefano and Omicini, Andrea},
booktitle = {Intelligent Distributed Computing XI},
dblp = {conf/idc/Ciatto0O17},
doi = {10.1007/978-3-319-66379-1_9},
editor = {Ivanović, Mirjana and Bădică, Costin and Dix, Jürgen and Jovanović, Zoran and Malgeri, Michele and Savić, Miloš},
eisbn = {978-3-319-66379-1},
eissn = {1860-9503},
iris = {11585/609374},
isbn = {978-3-319-66378-4},
issn = {1860-949X},
numpages = 13,
pages = {89-101},
publisher = {Springer},
scopus = {2-s2.0-85030981290},
series = {Studies in Computational Intelligence},
title = {Programming the Interaction Space Effectively with \textsf{{R}e{S}pec{TX}} },
url = {http://link.springer.com/10.1007/978-3-319-66379-1_9},
volume = 737,
wos = {000451440400009},
year = 2017
} }}})))
((({{{ @inproceedings{coordination-woa2017,
author = {Mariani, Stefano and Omicini, Andrea and Ciatto, Giovanni},
booktitle = {WOA 2017 -- 18th Workshop ``From Objects to Agents''},
chapter = 11,
dblp = {conf/woa/0001OC17},
editor = {De Meo, Pasquale and Postorino, Maria Nadia and Rosaci, Domenico and Sarn{\'e}, Giuseppe M.L.},
iris = {11585/602750},
issn = {1613-0073},
month = jun,
numpages = 4,
pages = {61--64},
publisher = {Sun SITE Central Europe, RWTH Aachen University},
scopus = {2-s2.0-85025164372},
series = {CEUR Workshop Proceedings},
subseries = {AI*IA Series},
title = {Novel Opportunities for Tuple-based Coordination: {XP}ath, the {B}lockchain, and Stream Processing},
url = {http://ceur-ws.org/Vol-1867/w11.pdf},
volume = 1867,
year = 2017
} }}})))
((({{{ @inproceedings{snnta-assb17,
author = {Ciatto, Giovanni and {De Maria}, Elisabetta and {Di Giusto}, Cinzia},
booktitle = {Proc. of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB)},
pages = {55--69},
publisher = {EDP Sciences},
title = {{Spiking Neural Networks as Timed Automata}},
url = {http://epigenomique.free.fr/en/index.php},
year = 2017
} }}})))
((({{{ @inproceedings{DeMaria:2017:FVN:3156346.3156350,
author = {De Maria, Elisabetta and Di Giusto, Cinzia and Ciatto, Giovanni},
title = {Formal Validation of Neural Networks As Timed Automata},
booktitle = {Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics},
series = {CSBio '17},
year = {2017},
isbn = {978-1-4503-5350-2},
location = {Nha Trang City, Viet Nam},
pages = {15--22},
numpages = {8},
url = {http://doi.acm.org/10.1145/3156346.3156350},
doi = {10.1145/3156346.3156350},
acm = {3156350},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Leaky Integrate and Fire Model, Model Checking, Neural networks, Temporal Logic, Timed Automata},
}
}}})))
</div>
<div id="bottom" class="mainselectbottom">
4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2017 {{stringEngIta eng='without' ita='senza'/}} Google Scholar ID • [[top>>||anchor="top"]] • [[index>>||anchor="index"]] • [[bottom>>||anchor="bottom"]]</div>
0000-0002-1841-8996