Neural Networks Reduction via Lumping. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (AI*IA, 2022)

Mirrors and Memory in Quantum Automata. - Carla Piazza; Riccardo Romanello (QEST, 2022)

Directed Graph Encoding in Quantum Computing Supporting Edge-Failures. - Davide Della Giustina; Carla Piazza; Brian Riccardi; Riccardo Romanello (RC, 2022)

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. - Carla Piazza; Riccardo Romanello (AIQxQIA@AI*IA, 2023)

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. - Carla Piazza; Riccardo Romanello; Robert Wille (CILC, 2023)

Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. - Alex Della Schiava; Carla Piazza; Riccardo Romanello (CILC, 2023)

Speeding up Answer Set Programming by Quantum Computing. - Riccardo Romanello; Davide Della Giustina; Stefano Pessotto; Carla Piazza (QUASAR@HPDC, 2024)

AI-enhanced blockchain technology: A review of advancements and opportunities. - Dalila Ressi; Riccardo Romanello; Carla Piazza; Sabina Rossi (J. Netw. Comput. Appl., 2024)

Classical computation over quantum architectures. - Alex Della Schiava; Carla Piazza; Riccardo Romanello (J. Log. Comput., 2024)

Compressing neural networks via formal methods. - Dalila Ressi; Riccardo Romanello; Sabina Rossi; Carla Piazza (Neural Networks, 2024)

Incremental NFA minimization. - Christian Bianchini; Alberto Policriti; Brian Riccardi; Riccardo Romanello (Theor. Comput. Sci., 2024)

Quantum encoding of dynamic directed graphs. - Davide Della Giustina; C. Londero; Carla Piazza; Brian Riccardi; Riccardo Romanello (J. Log. Algebraic Methods Program., 2024)

Periodic Unitary Encoding for Quantum Anomaly Detection of Temporal Series. - Daniele Lizzio Bosco; Riccardo Romanello; Giuseppe Serra 001 (IQSOFT, 2025)