Riccardo Romanello

Orcid: 0000-0002-2855-1221

According to our database1, Riccardo Romanello authored at least 11 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Quantum encoding of dynamic directed graphs.
J. Log. Algebraic Methods Program., January, 2024

Incremental NFA minimization.
Theor. Comput. Sci., 2024

Compressing neural networks via formal methods.
Neural Networks, 2024

AI-enhanced blockchain technology: A review of advancements and opportunities.
J. Netw. Comput. Appl., 2024

Speeding up Answer Set Programming by Quantum Computing.
Proceedings of the 2024 Workshop on Quantum Search and Information Retrieval, 2024

2023
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits.
Proceedings of the 38th Italian Conference on Computational Logic, 2023

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP.
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.
Proceedings of the Reversible Computation - 14th International Conference, 2022

Mirrors and Memory in Quantum Automata.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Neural Networks Reduction via Lumping.
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022


  Loading...