Per anno
- Programming the Interaction Space Effectively with ReSpecTX
(articolo in atti) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini - Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (articolo in atti) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
- Spiking Neural Networks as Timed Automata (articolo in atti) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Formal Validation of Neural Networks as Timed Automata (articolo in atti) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
0000-0002-1841-8996