Quantum computations without definite causal structure von Chiribella, Giulio, D’Ariano, Giacomo Mauro, Perinotti, Paolo, Valiron, Benoit

Volltext

Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing von Heurtel, Nicolas, Fyrillas, Andreas, Gliniasty, Grégoire de, Le Bihan, Raphaël, Malherbe, Sébastien, Pailhas, Marceau, Bertasi, Eric, Bourdoncle, Boris, Emeriau, Pierre-Emmanuel, Mezher, Rawad, Music, Luka, Belabas, Nadia, Valiron, Benoît, Senellart, Pascale, Mansfield, Shane, Senellart, Jean

Volltext

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

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

Volltext

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

Volltext

Quantum Computation: a Tutorial von Valiron, Benoît

Volltext

A lambda calculus for quantum computation with classical control von SELINGER, PETER, VALIRON, BENOIT

Volltext

Quipper: a scalable quantum programming language von Green, Alexander S., Lumsdaine, Peter LeFanu, Ross, Neil J., Selinger, Peter, 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