Publications

Filters

2026

Integrated Encoding and Quantization to Enhance Quanvolutional Neural Networks

Integrated Encoding and Quantization to Enhance Quanvolutional Neural Networks

D. Lizzio Bosco, B. Portelli, G. Serra

IEEE Transactions on Quantum Engineering

Quantum Machine LearningMachine Learning

2025

CNOT Minimal Circuit Synthesis: A Reinforcement Learning Approach

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)

Circuit SynthesisReinforcement LearningSuperconducting ArchitecturesMachine Learning
Periodic Unitary Encoding for Quantum Anomaly Detection of Temporal Series

Periodic Unitary Encoding for Quantum Anomaly Detection of Temporal Series

D. Lizzio Bosco, R. Romanello, G. Serra

International Conference on Quantum Software

Quantum Machine LearningMachine Learning
Softer is Better: Tweaking Quantum Dropout to Enhance Quantum Neural Network Trainability

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

Quantum Machine LearningMachine Learning
Qubit Routing via Swap Network: a Minimum Dominating Path Approach.

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)

Circuit SynthesisSuperconducting ArchitecturesGraph Theory

2024

Quantum Encoding of Dynamic Directed Graphs

Quantum Encoding of Dynamic Directed Graphs

D. Della Giustina, C. Piazza, B. Riccardi, R. Romanello

Journal of Logical and Algebraic Methods in Programming

Graph TheoryQuantum Algorithms
Classical computation over quantum architectures: From graph encoding to declarative languages compilation

Classical computation over quantum architectures: From graph encoding to declarative languages compilation

A. Della Schiava, C. Piazza, R. Romanello

Journal of Logic and Computation

Programming LanguagesGraph Theory
Automatic and Effective Discovery of Quantum Kernels

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

Quantum Machine LearningMachine Learning

2023

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits

An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits

C. Piazza, R. Romanello, R. Wille

Italian Conference in Computational Logic

Circuit Synthesis, Superconducting Architectures
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto

Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto

A. Della Schiava, C. Piazza, R. Romanello

Italian Conference in Computational Logic

Hardware CompilationQuantum AlgorithmsGraph Theory
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP

Synthesis of CNOT minimal quantum circuits with topological constraints through ASP

C. Piazza, R. Romanello

AI x IA, workshop on Quantum Computation

Circuit SynthesisSuperconducting Architectures
Speeding up Answer Set Programming by Quantum Computing

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

Quantum Algorithms

2022

Heisenberg in Quantum Automata

Heisenberg in Quantum Automata

C. Piazza, R. Romanello

Italian Conference in Computational Logic

Quantum Automata Theory
Heisenberg-Inspired Quantum Automata

Heisenberg-Inspired Quantum Automata

C. Piazza, R. Romanello

MOVEP

Quantum Automata Theory
Mirrors and Memory in Quantum Automata

Mirrors and Memory in Quantum Automata

C. Piazza, R. Romanello

Quantitative Evaluation of Systems

Quantum Automata Theory
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.

Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.

D. Della Giustina, C. Piazza, B. Riccardi, R. Romanello.

Reversible Computation

Quantum AlgorithmsGraph Theory

2018

Entangle: A Translation Framework from Quipper Programs to Quantum

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

Quantum Programming LanguagesQuantum AlgorithmsQuantum Verification

2017

Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains

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

Quantum Programming LanguagesQuantum AlgorithmsQuantum Verification
Verifying quantum programs: from Quipper to QPMC

Verifying quantum programs: from Quipper to QPMC

L. Anticoli, C. Piazza, L. Taglialegne, P. Zuliani

arXiv preprint

Quantum Programming LanguagesQuantum Verification