Per Year
Per Year
4 publications without Google Scholar ID / 2017 / Giovanni Ciatto
- Programming the Interaction Space Effectively with ReSpecTX
- Formal Validation of Neural Networks as Timed Automata
- Spiking Neural Networks as Timed Automata
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing