Foto del docente

Giovanni Ciatto

Dottorando

Dipartimento di Informatica - Scienza e Ingegneria

Tutor didattico

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: ING-IND/05 IMPIANTI E SISTEMI AEROSPAZIALI

Pubblicazioni

Giovanni Ciatto; Stefano Mariani; Andrea Omicini, Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum, in: 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), IEEE, 2018, pp. 696 - 703 (atti di: 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), Santiago, Chile, 3-6 December 2018) [Contributo in Atti di convegno]

Ciatto, Giovanni;Calegari, Roberta;Mariani, Stefano;Denti, Enrico;Omicini, Andrea, From the Blockchain to Logic Programming and Back: Research Perspectives, in: WOA 2018 – 19th Workshop "From Objects to Agents”, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2018, 2215, pp. 69 - 74 (atti di: WOA 2018 – 19th Workshop "From Objects to Agents”, Palermo, Italy) [Contributo in Atti di convegno]

Calegari, Roberta; Ciatto, Giovanni; Mariani, Stefano; Denti, Enrico; Omicini, Andrea, LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning, «BIG DATA AND COGNITIVE COMPUTING», 2018, 2, pp. 1 - 26 [articolo]

Roberta Calegari; Giovanni Ciatto; Enrico Denti; Stefano Mariani; Andrea Omicini, Logic Programming as a Service in tuProlog, 2018. [software]

Calegari, Roberta;Ciatto, Giovanni;Mariani, Stefano;Denti, Enrico;Omicini, Andrea, Logic Programming in Space-Time: The Case of Situatedness in LPaaS, in: WOA 2018 – 19th Workshop ``From Objects to Agents'', Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2018, 2215, pp. 63 - 68 (atti di: WOA 2018 – 19th Workshop ``From Objects to Agents'', Palermo, Italy) [Contributo in Atti di convegno]

Calegari, Roberta; Ciatto, Giovanni; Mariani, Stefano; Denti, Enrico; Omicini, Andrea, Micro-intelligence for the IoT: SE challenges and practice in LPaaS, in: Proceedings - 2018 IEEE International Conference on Cloud Engineering, IC2E 2018, Institute of Electrical and Electronics Engineers Inc., 2018, pp. 292 - 297 (atti di: 2018 IEEE International Conference on Cloud Engineering, IC2E 2018, Orlando, FL, USA, 2018) [Contributo in Atti di convegno]

Giovanni Ciatto, Stefano Mariani, Andrea Omicini, ReSpecTX: Programming Interaction Made Easy, «COMPUTER SCIENCE AND INFORMATION SYSTEMS», 2018, 15, pp. 655 - 682 [articolo]

Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini, Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain, in: Marco Furini, Silvia Mirri, Kevin Bouchard, Barbara Guidi, GOODTECHS'18 – Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, New York, NY, ACM, 2018, pp. 271 - 276 (atti di: GOODTECHS'18 – 4th EAI International Conference on Smart Objects and Technologies for Social Good, pages 271-276, November 2018, ACM, New Work, NY, USA, Bologna, Italy, 28-30 November 2018) [Contributo in Atti di convegno]

Ciatto, Giovanni; Mariani, Stefano; Louvel, Maxime; Omicini, Andrea; Zambonelli, Franco, Twenty years of coordination technologies: State-of-the-art and perspectives, in: Lecture Notes in Computer Science, Springer Verlag, 2018, 10852, pp. 51 - 80 (atti di: 20th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2018 Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, esp, 2018) [Contributo in Atti di convegno]

De Maria, Elisabetta; Di Giusto, Cinzia; Ciatto, Giovanni, Formal validation of neural networks as timed automata, in: De Maria, Elisabetta, ACM International Conference Proceeding Series, Association for Computing Machinery, 2017, 132747, pp. 15 - 22 (atti di: 8th International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2017, Vietnam, 2017) [Contributo in Atti di convegno]

Mariani, Stefano; Omicini, Andrea; Ciatto, Giovanni, Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing, in: WOA 2017 – 18th Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2017, 1867, pp. 61 - 64 (atti di: 18th Workshop “From Objects to Agents” (WOA 2017), Scilla, RC, Italy, 15-17 June 2017) [Contributo in Atti di convegno]

Ciatto, Giovanni; Mariani, Stefano; Omicini, Andrea, Programming the interaction space effectively with ReSpecTX, in: Studies in Computational Intelligence, Springer Verlag, «STUDIES IN COMPUTATIONAL INTELLIGENCE», 2017, 737, pp. 89 - 101 (atti di: 11th International Symposium on Intelligent Distributed Computing (IDC 2017), Belgrade, Serbia, 11/10/2017 – 13/10/2017) [Contributo in Atti di convegno]

Ciatto, Giovanni; De Maria, Elisabetta; Di Giusto, Cinzia, Spiking Neural Networks as Timed Automata, in: Proceedings of the Lyon Spring School on Advances in Systems and Synthetic Biology, 2017, pp. 55 - 68 (atti di: Advances in Systems and Synthetic Biology, Lione, 13/03/2017) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.