Semantics of quantum programming languages: Classical control, quantum control von Valiron, Benoît

Volltext

Strong simulation of linear optical processes von Heurtel, Nicolas, Mansfield, Shane, Senellart, Jean, Valiron, Benoît

Volltext

Quantum circuits synthesis using Householder transformations von Goubault de Brugière, Timothée, Baboulin, Marc, Valiron, Benoît, Allouche, Cyril

Volltext

Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target von Scherer, Artur, Valiron, Benoît, Mau, Siun-Chuon, Alexander, Scott, van den Berg, Eric, Chapuran, Thomas E.

Volltext

Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures von Goubault de Brugière, Timothée, Baboulin, Marc, Valiron, Benoît, Martiel, Simon, Allouche, Cyril

Volltext

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus von Borgna, Agustín, Perdrix, Simon, Valiron, Benoît

Volltext

On new PageRank computation methods using quantum computing von Chapuis-Chkaiban, Théodore, Toffano, Zeno, Valiron, Benoît

Volltext

Categorical Semantics of Reversible Pattern-Matching von Chardonnet, Kostia, Lemonnier, Louis, Valiron, Benoît

Volltext

The vectorial λ-calculus von Arrighi, Pablo, Díaz-Caro, Alejandro, Valiron, Benoît

Volltext

Generating Reversible Circuits from Higher-Order Functional Programs von Valiron, Benoît

Volltext

Reducing the Depth of Linear Reversible Quantum Circuits von Brugiere, Timothee Goubault de, Baboulin, Marc, Valiron, Benoit, Martiel, Simon, Allouche, Cyril

Volltext

Addressable Quantum Gates von Arrighi, Pablo, Cedzich, Christopher, Costes, Marin, Rémond, Ulysse, Valiron, Benoît

Volltext

Quantum Computation: From a Programmer’s Perspective von Valiron, Benoît

Volltext

Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress von Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît

Volltext

Quantum Computation: a Tutorial von Valiron, Benoît

Volltext

An Introduction to Quantum Programming in Quipper von Green, Alexander S., Lumsdaine, Peter LeFanu, Ross, Neil J., Selinger, Peter, Valiron, Benoît

Volltext

Quipper: a scalable quantum programming language von Green, Alexander S., Lumsdaine, Peter LeFanu, Ross, Neil J., Selinger, Peter, Valiron, Benoît

Volltext

Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi von Valiron, Benoît, Zdancewic, Steve

Volltext

Synthesizing Quantum Circuits via Numerical Optimization von Goubault de Brugière, Timothée, Baboulin, Marc, Valiron, Benoît, Allouche, Cyril

Volltext

Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits von De Brugière, Timothée Goubault, Baboulin, Marc, Valiron, Benoît, Martiel, Simon, Allouche, Cyril

Volltext