Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

von Borgna, Agustín
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress

von Chardonnet, Kostia
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)

An Automated Deductive Verification Framework for Circuit-building

von Chareton, Christophe
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem

von Brugière, Timothée Goubault de
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)

On the Semantics of Polychronous Polytimed Specifications

von Van, Hai Nguyen
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)