R. Romanello

Latest

• AI-enhanced blockchain technology: A review of advancements and opportunities
• Compressing neural networks via formal methods
• Incremental NFA minimization
• Quantum encoding of dynamic directed graphs
• 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
• Synthesis of CNOT minimal quantum circuits with topological constraints through ASP
• Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
• Incremental NFA Minimization
• Mirrors and Memory in Quantum Automata