41 citations · 53 across the 7 of their papers we have counts for
1 paper · 2 filters
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…