7 citations · 14 across the 26 of their papers we have counts for
3 papers · 1 filter
High-level quantum algorithm programming using Silq
Viktorija Bezganovic, Marco Lewis, Sadegh Soudjani +1
Quantum computing, with its vast potential, is fundamentally shaped by the intricacies of quantum mechanics, which both empower and constrain its capabilities. The development of a…
Verification of Quantum Circuits through Discrete-Time Barrier Certificates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Current methods for verifying quantum computers are predominately based on interactive or automatic theorem provers. Considering that quantum computers are dynamical in nature, thi…
Matrix Representation of Arbitrarily Controlled Quantum Gates
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
Controlled operations allow for the entanglement of quantum registers. In particular, a controlled- gate allows an operation, , to be applied to the target register and entan…