Per Year


4 publications  /  2017  /  Giovanni Ciatto

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

Tags:

Publications / Ciatto

Home
clouds
tags  |  co-authors  |  co-editors  |  journals
per year
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017
per sort
in journal  |  in proc  |  chapters  |  books  |  edited  |  spec issues  |  editorials  |  entries  |  manuals  |  tech reps  |  phd th  |  others
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–2023 APICe@DISI – PRIVACY