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.

Lukas Burgholzer
SearchCollections
Map detail
Lukas Burgholzer13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLukas BurgholzerALukas BurgholzerResearcherLimiting the Search Space in Optimal Quantum Circuit MappingWLimiting the Search Spa...preprint / 2022Handling Non-Unitaries in Quantum Circuit Equivalence CheckingWHandling Non-Unitaries ...preprint / 2021Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision DiagramsWHybrid Schrödinger-Feyn...preprint / 2021Efficient Construction of Functional Representations for Quantum AlgorithmsWEfficient Construction ...preprint / 2021Characteristics of Reversible Circuits for Error DetectionWCharacteristics of Reve...preprint / 2020Random Stimuli Generation for the Verification of Quantum CircuitsWRandom Stimuli Generati...preprint / 2020Verifying Results of the IBM Qiskit Quantum Circuit Compilation FlowWVerifying Results of th...preprint / 2020Simulation Paths for Quantum Circuit Simulation with Decision DiagramsWSimulation Paths for Qu...preprint / 2022The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-CalculusWThe Basis of Design Too...preprint / 2023Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and BeyondWTowards a SAT Encoding ...preprint / 2022Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H OperationsWMapping Quantum Circuit...preprint / 2019Equivalence Checking of Quantum Circuits with the ZX-CalculusWEquivalence Checking of...preprint / 2022
Person12 links

Lukas Burgholzer

Researcher

PaperLimiting the Search Space in Optimal Quantum Circuit MappingAuthorship / preprint / 2022PaperHandling Non-Unitaries in Quantum Circuit Equivalence CheckingAuthorship / preprint / 2021PaperHybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision DiagramsAuthorship / preprint / 2021PaperEfficient Construction of Functional Representations for Quantum AlgorithmsAuthorship / preprint / 2021PaperCharacteristics of Reversible Circuits for Error DetectionAuthorship / preprint / 2020PaperRandom Stimuli Generation for the Verification of Quantum CircuitsAuthorship / preprint / 2020PaperVerifying Results of the IBM Qiskit Quantum Circuit Compilation FlowAuthorship / preprint / 2020PaperSimulation Paths for Quantum Circuit Simulation with Decision DiagramsAuthorship / 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)