Per Year

4 publications / 2017 / Giovanni Ciatto

Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto

4 publications / 2017 • top • index • bottom