Publications

Journals

2023

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
2023

JLC

The extended version of Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto is under review at JLC. Stay tuned.

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.

Student Sessions

MOVEP2022

MOVEP

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