Riccardo Romanello

According to our database, Riccardo Romanello authored at least 14 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Exact Persistent Stochastic Non-Interference.

Carla Piazza, Riccardo Romanello, Sabina Rossi

CoRR, August, 2025

Periodic Unitary Encoding for Quantum Anomaly Detection of Temporal Series.

Daniele Lizzio Bosco, Riccardo Romanello, Giuseppe Serra

Proceedings of the 1st International Conference on Quantum Software, 2025

2024

Quantum encoding of dynamic directed graphs.

Davide Della Giustina, C. Londero, Carla Piazza, Brian Riccardi, Riccardo Romanello

J. Log. Algebraic Methods Program., January, 2024

Compressing neural networks via formal methods.

Dalila Ressi, Riccardo Romanello, Sabina Rossi, Carla Piazza

Neural Networks, 2024

Classical computation over quantum architectures.

Alex Della Schiava, Carla Piazza, Riccardo Romanello

J. Log. Comput., 2024

AI-enhanced blockchain technology: A review of advancements and opportunities.

Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi

J. Netw. Comput. Appl., 2024

Speeding up Answer Set Programming by Quantum Computing.

Riccardo Romanello, Davide Della Giustina, Stefano Pessotto, Carla Piazza

Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval, 2024

2023

Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto.

Alex Della Schiava, Carla Piazza, Riccardo Romanello

Proceedings of the 38th Italian Conference on Computational Logic, 2023

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits.

Carla Piazza, Riccardo Romanello, Robert Wille

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP.

Carla Piazza, Riccardo Romanello

Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6, 2023

2022

Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.

Davide Della Giustina, Carla Piazza, Brian Riccardi, Riccardo Romanello

Proceedings of the Reversible Computation - 14th International Conference, 2022

Mirrors and Memory in Quantum Automata.

Carla Piazza, Riccardo Romanello

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Incremental NFA Minimization.

Brian Riccardi, Riccardo Romanello, Alberto Policriti, Christian Bianchini

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Neural Networks Reduction via Lumping.

Dalila Ressi, Riccardo Romanello, Carla Piazza, Sabina Rossi

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022