Publications

Journals

2024

JLAMP

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

JLC

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

Conferences

CILC2022

CILC

Authors: C. Piazza, R. Romanello.
Title: Heisenberg in Quantum Automata.
Conference: Italian Conference in Computational Logic, 2022.

RC2022

RC

Authors: D. Della Giustina, C. Piazza, B. Riccardi, R. Romanello.
Title: Directed Graph Encoding in Quantum Computing Supporting Edge-Failures.
Conference: Reversible Computation, 2022.

QEST2022

QEST

Authors: C. Piazza, R. Romanello.
Title: Mirrors and Memory in Quantum Automata.
Conference: Quantitative Evaluation of Systems, 2022.

CILC2023

CILC

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

CILC2023

CILC

Authors: A. Della Schiava, C. Piazza, R. Romanello.
Title: Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto.
Conference: Italian Conference in Computational Logic, 2023.
Best student paper award
AIQ x QIA 23

AIQ x QIA 23

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

QUASAR24

Authors: Davide Della Giustina, Stefano Pessotto, Carla Piazza, Riccardo Romanello
Title: Speeding up Answer Set Programming by Quantum Computing
Conference: International Symposium on High-Performance Parallel and Distributed Computing, workshop on Quantum Computation, 2023.

Student Sessions

MOVEP2022

MOVEP

Authors: C. Piazza, R. Romanello.
Title: Heisenberg-Inspired Quantum Automata.
Conference: MOVEP, 2022.