Search filters

List of works by Robert Rand

A Verified Optimizer for Quantum Circuits

scientific article published on 12 July 2023

A verified optimizer for Quantum circuits

scientific article published on 04 January 2021

An Algebraic Language for Specifying Quantum Networks

scientific article published on 20 June 2024

Qunity: A Unified Language for Quantum and Classical Computing

scientific article published on 11 January 2023

Towards an Algebraic Specification of Quantum Networks

scientific article published on 16 August 2023

Writing and verifying a Quantum optimizing compiler (keynote)

scientific article published on 18 March 2022

Paulina is supported by:

About Paulina

Help