Per Sort & Year

Publications  /  2017  /  Giovanni Ciatto

Papers in Proceedings
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 in 2017)  [top]  [bottom]
(4 publications in 2017)

Tags:

Publications / Ciatto

Home
clouds
tags  |  co-authors  |  co-editors  |  journals
per sort & year
in journal  |  in proc  |  edited  |  editorials
2022  |  2021  |  2020  |  2019  |  2018  |  2017
per status
online  |  in press  |  proof  |  camera-ready  |  revised  |  accepted  |  revision  |  submitted  |  draft  |  note
services
ACM Digital Library  |  DBLP  |  IEEE Xplore  |  IRIS  |  PubMed  |  Google Scholar  |  Scopus  |  Semantic Scholar  |  Web of Science  |  DOI

Avatar

Contacts

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY