7 citations · 18 across the 21 of their papers we have counts for
3 papers · 1 filter
T-Count Optimizing Genetic Algorithm for Quantum State Preparation
Andrew Wright, Marco Lewis, Paolo Zuliani +1
Quantum state preparation is a crucial process within numerous quantum algorithms, and the need for efficient initialization of quantum registers is ever increasing as demand for u…
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
We present SilVer (Silq Verification), an automated tool for verifying behaviors of quantum programs written in Silq, which is a high-level programming language for quantum computi…
Verification of Quantum Systems using Barrier Certificates
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
Various techniques have been used in recent years for verifying quantum computers, that is, for determining whether a quantum computer/system satisfies a given formal specification…