author-photo

Benoît Valiron

University of Pennsylvania
Université Paris-Saclay
University of Paris-Sud

86

Papers

1292

Citations

Citation Trend

Filter By

Papers (86) Sort By

Journal Conference Others

Reducing the Depth of Linear Reversible Quantum Circuits.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Addressable quantum gates.

2021 arXiv: Quantum Physics
Show All
- Source
- Cite
- Save
Citations (0)
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions.

2021 arXiv: Logic in Computer Science
- Yann Hamdaoui
- Benoît Valiron
Show All
- Source
- Cite
- Save
Citations (0)
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

2021 Science of Computer Programming
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings 17th International Conference on Quantum Physics and Logic: Preface

2021
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings 17th International Conference on Quantum Physics and Logic

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Reducing the Depth of Linear Reversible Quantum Circuits

2021
Show All
- Source
- Cite
- Save
Citations (2)
Reasoning about Recursive Quantum Programs.

2021 arXiv: Logic in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)