R. Romanello

Latest

• An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
• Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
• Neural Networks Reduction via Lumping
• Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
• Incremental NFA Minimization
• Mirrors and Memory in Quantum Automata