Riccardo Romanello

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Finite State Automata

Top Venues

J. Log. Algebraic Methods Program.

Publications

Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Compressing neural networks via formal methods. Neural Networks 178 (2024)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
AI-enhanced blockchain technology: A review of advancements and opportunities. J. Netw. Comput. Appl. 225 (2024)
Christian Bianchini, Alberto Policriti, Brian Riccardi, Riccardo Romanello
Incremental NFA minimization. Theor. Comput. Sci. 1004 (2024)
Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello
Quantum encoding of dynamic directed graphs. J. Log. Algebraic Methods Program. 136 (2024)
Carla Piazza, Riccardo Romanello, Robert Wille
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits. CILC (2023)
Alex Della Schiava, Carla Piazza, Riccardo Romanello
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto. CILC (2023)
Carla Piazza, Riccardo Romanello
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP. AIQxQIA@AI*IA (2023)
Carla Piazza, Riccardo Romanello
Mirrors and Memory in Quantum Automata. QEST (2022)
Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi
Neural Networks Reduction via Lumping. AI*IA (2022)
Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza
Neural Networks Reduction via Lumping. CoRR (2022)
Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini
Incremental NFA Minimization. ICTCS (2022)