BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Benoît Valiron
SearchCollections
Map detail
Benoît Valiron13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBenoît ValironABenoît ValironResearcherSemantics of a Typed Algebraic Lambda-CalculusWSemantics of a Typed Al...preprint / 2010Quantum Oracles in Constant Depth with Measurement-Based Quantum ComputationWQuantum Oracles in Cons...preprint / 2014Finite Vector Spaces as Model of Simply-Typed Lambda-CalculiWFinite Vector Spaces as...preprint / 2014Geometry of Interaction for ZX-DiagramsWGeometry of Interaction...preprint / 2022An Interactive Proof of Termination for a Concurrent $λ$-calculus with References and Explicit SubstitutionsWAn Interactive Proof of...preprint / 2021Decoding techniques applied to the compilation of CNOT circuits for NISQ architecturesWDecoding techniques app...preprint / 2022Reducing the Depth of Linear Reversible Quantum CircuitsWReducing the Depth of L...preprint / 2022Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible CircuitsWGaussian Elimination ve...preprint / 2022Concrete Categorical Model of a Quantum Circuit Description Language with MeasurementWConcrete Categorical Mo...preprint / 2021Hybrid quantum-classical circuit simplification with the ZX-calculusWHybrid quantum-classica...preprint / 2021Synthesizing quantum circuits via numerical optimizationWSynthesizing quantum ci...preprint / 2020Quantum circuit synthesis using Householder transformationsWQuantum circuit synthes...preprint / 2020
Person12 links

Benoît Valiron

Researcher

PaperSemantics of a Typed Algebraic Lambda-CalculusAuthorship / preprint / 2010PaperQuantum Oracles in Constant Depth with Measurement-Based Quantum ComputationAuthorship / preprint / 2014PaperFinite Vector Spaces as Model of Simply-Typed Lambda-CalculiAuthorship / preprint / 2014PaperGeometry of Interaction for ZX-DiagramsAuthorship / preprint / 2022PaperAn Interactive Proof of Termination for a Concurrent λλ-calculus with References and Explicit SubstitutionsAuthorship / preprint / 2021PaperDecoding techniques applied to the compilation of CNOT circuits for NISQ architecturesAuthorship / preprint / 2022PaperReducing the Depth of Linear Reversible Quantum CircuitsAuthorship / preprint / 2022PaperGaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible CircuitsAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)