Publications
Filters
2026

Integrated Encoding and Quantization to Enhance Quanvolutional Neural Networks
D. Lizzio Bosco, B. Portelli, G. Serra
IEEE Transactions on Quantum Engineering
2025

CNOT Minimal Circuit Synthesis: A Reinforcement Learning Approach
R. Romanello, D. Lizzio Bosco, J. Cossio, D. Sutulovic, G. Serra, C. Piazza, P. Burelli
IEEE International Conference on Quantum Artificial Intelligence (QAI)

Periodic Unitary Encoding for Quantum Anomaly Detection of Temporal Series
D. Lizzio Bosco, R. Romanello, G. Serra
International Conference on Quantum Software

Softer is Better: Tweaking Quantum Dropout to Enhance Quantum Neural Network Trainability
D. Lizzio Bosco, R. Romanello, G. Serra, C. Piazza
International Conference on Quantum Communications, Networking, and Computing

Qubit Routing via Swap Network: a Minimum Dominating Path Approach.
R. Romanello, D.Lizzio Bosco, G. Serra, C. Piazza
International Conference on Computational Science (ICCS)
2024

Quantum Encoding of Dynamic Directed Graphs
D. Della Giustina, C. Piazza, B. Riccardi, R. Romanello
Journal of Logical and Algebraic Methods in Programming

Classical computation over quantum architectures: From graph encoding to declarative languages compilation
A. Della Schiava, C. Piazza, R. Romanello
Journal of Logic and Computation

Automatic and Effective Discovery of Quantum Kernels
M. Incudini, D. Lizzio Bosco, F. Martini, M. Grossi, G. Serra
IEEE Transactions on Emerging Topics in Computational Intelligence
2023

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
C. Piazza, R. Romanello, R. Wille
Italian Conference in Computational Logic

Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
A. Della Schiava, C. Piazza, R. Romanello
Italian Conference in Computational Logic

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP
C. Piazza, R. Romanello
AI x IA, workshop on Quantum Computation

Speeding up Answer Set Programming by Quantum Computing
D. Della Giustina, S. Pessotto, C. Piazza, R. Romanello
International Symposium on High-Performance Parallel and Distributed Computing, workshop on Quantum Computation
2022

Heisenberg in Quantum Automata
C. Piazza, R. Romanello
Italian Conference in Computational Logic


Mirrors and Memory in Quantum Automata
C. Piazza, R. Romanello
Quantitative Evaluation of Systems

Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.
D. Della Giustina, C. Piazza, B. Riccardi, R. Romanello.
Reversible Computation
2018

Entangle: A Translation Framework from Quipper Programs to Quantum
L. Anticoli, C Piazza, L. Taglialegne, P. Zuliani
New Frontiers in Quantitative Methods in Informatics: 7th Workshop
2017

Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains
L. Anticoli, C Piazza, L. Taglialegne, P. Zuliani
Workshop on New Frontiers in Quantitative Methods in Informatics

Verifying quantum programs: from Quipper to QPMC
L. Anticoli, C. Piazza, L. Taglialegne, P. Zuliani
arXiv preprint