Giovanni Ciatto
Title
Cited by
Cited by
Year
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
G Ciatto, S Mariani, M Louvel, A Omicini, F Zambonelli
International Conference on Coordination Languages and Models, 51-80, 2018
162018
From the Blockchain to Logic Programming and Back: Research Perspectives.
G Ciatto, R Calegari, S Mariani, E Denti, A Omicini
WOA, 69-74, 2018
112018
Towards XMAS: eXplainability through Multi-Agent Systems
G Ciatto, R Calegari, A Omicini, D Calvaresi
AI&IoT 2019 -- Artificial Intelligence and Internet of Things 2019 2502 (3 …, 2019
62019
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
R Calegari, G Ciatto, J Dellaluce, A Omicini
WOA, 105-112, 2019
62019
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum
G Ciatto, S Mariani, A Omicini
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), 696-703, 2018
52018
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
D Pianini, G Ciatto, R Casadei, S Mariani, M Viroli, A Omicini
Proceedings of the 4th EAI International Conference on Smart Objects and …, 2018
42018
Towards Agent-Oriented Blockchains: Autonomous Smart Contracts
G Ciatto, A Maffi, S Mariani, A Omicini
International Conference on Practical Applications of Agents and Multi-Agent …, 2019
32019
LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning
R Calegari, G Ciatto, S Mariani, E Denti, A Omicini
Big Data and Cognitive Computing 2 (3), 23, 2018
32018
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
R Calegari, G Ciatto, S Mariani, E Denti, A Omicini
2018 IEEE International Conference on Cloud Engineering (IC2E), 292-297, 2018
32018
Programming the Interaction Space Effectively with
G Ciatto, S Mariani, A Omicini
International Symposium on Intelligent and Distributed Computing, 89-101, 2017
32017
Spiking Neural Networks as Timed Automata
G Ciatto, E De Maria, C Di Giusto
Proceedings of Advances in Systems and Synthetic Biology, 55-68, 2017
32017
Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic
G Ciatto, E De Maria, C Di Giusto
32017
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
S Mariani, O Andrea, C Giovanni
18th Workshop" From Objects to Agents” 1867, 61-64, 2017
32017
Comparative Analysis of Blockchain Technologies Under a Coordination Perspective
G Ciatto, M Bosello, S Mariani, A Omicini
International Conference on Practical Applications of Agents and Multi-Agent …, 2019
22019
Logic Programming in Space-Time: The Case of Situatedness in LPaaS.
R Calegari, G Ciatto, S Mariani, E Denti, A Omicini
WOA, 63-68, 2018
22018
Formal Validation of Neural Networks as Timed Automata
E De Maria, C Di Giusto, G Ciatto
Proceedings of the 8th International Conference on Computational Systems …, 2017
22017
An Abstract Framework for Agent-Based Explanations in AI
G Ciatto, D Calvaresi, MI Schumacher, A Omicini
Proceedings of the 19th International Conference on Autonomous Agents and …, 2020
12020
TuSoW: Tuple Spaces for Edge Computing
G Ciatto, L Rizzato, A Omicini, S Mariani
2019 28th International Conference on Computer Communication and Networks …, 2019
12019
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
G Ciatto, A Maffi, S Mariani, A Omicini
International Congress on Blockchain and Applications, 45-53, 2019
12019
ReSpecTX: Programming interaction made easy
OA Ciatto Giovanni, Mariani Stefano
Computer Science and Information Systems (ComSIS) 15 (3), 655-682, 2018
1*2018
The system can't perform the operation now. Try again later.
Articles 1–20