Drupal-Biblio17<style face="normal" font="default" size="100%">Verifiable measurement-based quantum random sampling with trapped ions</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Verified Compilation of Quantum Oracles</style>Drupal-Biblio17<style face="normal" font="default" size="100%">A Verified Optimizer for Quantum Circuits</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Validating and Certifying Stabilizer States</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Variational Quantum Computation of Excited States</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Verification Logics for Quantum Programs</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Verified Optimization in a Quantum Intermediate Representation</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Verified Quantum Information Scrambling</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Valley Blockade in a Silicon Double Quantum Dot</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal</style>