Per Sort

E-mail address: giovanni.ciatto@unibo.it
Office address: Lab E (a.k.a. "Area 4.0") ground floor at "Nuovo Campus", Via dell'Università n°50, 47521, Cesena (FC), Italy
Office hours: contact me to take an appointment
Personal homepage: https://about.me/gciatto
Institutional homepage: <a class="wikimodel-freestanding" href="https://www.unibo.it/sitoweb/giovanni.ciatto/en"> https://www.unibo.it/sitoweb/giovanni.ciatto/en

4 papers in proceedings / 2017 / Giovanni Ciatto

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with ReSpecTX
Studies in Computational Intelligence 737, 2017

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017

Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Spiking Neural Networks as Timed Automata
ALP4IoT2017, 2017

Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
WOA 2017. CEUR Workshop Proceedings 1867, June 2017

(4 papers in proceedings / 2017) [top] [bottom]

Tags:

Created by Andrea Omicini on 13/10/2021 19:21