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'', Aachen, 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]Open Access
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]
Ciatto, Giovanni; Mariani, Stefano; Omicini, Andrea, Programming the interaction space effectively with ReSpecTX, in: Studies in Computational Intelligence, Springer Verlag, «STUDIES IN COMPUTATIONAL INTELLIGENCE», 2018, 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]
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, ReSpecTX: Programming Interaction Made Easy, «COMPUTER SCIENCE AND INFORMATION SYSTEMS», 2018, 15, pp. 655 - 682 [articolo]Open Access
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, PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS-BIOLOGY AND BIOINFORMATICS (CSBIO 2017), 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; 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]
