On the public citation graph

A Tensor Network based Decision Diagram for Representation of Quantum Circuits

https://doi.org/10.1145/3514355
0 signed · 80 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-032-06770-8_14openalex-snapshot
Advanced Equivalence Checking for Quantum Circuits
inferredcites →https://doi.org/10.1007/b105298openalex-snapshot
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
inferredcites →https://doi.org/10.1016/j.scib.2018.06.007openalex-snapshot
64-qubit quantum circuit simulation
inferredcites →https://doi.org/10.1023/a:1008699807402openalex-snapshot
Algebraic Decision Diagrams and Their Applications
inferredcites →https://doi.org/10.1023/b:qinp.0000022725.70000.4aopenalex-snapshot
Improving Gate-Level Simulation of Quantum Circuits
inferredcites →https://doi.org/10.1038/s41586-019-1666-5openalex-snapshot
Quantum supremacy using a programmable superconducting processor
inferredcites →https://doi.org/10.1088/2058-9565/aab822openalex-snapshot
Quantum optimization using variational algorithms on near-term quantum devices
inferredcites →https://doi.org/10.1093/ietfec/e91-a.12.3793openalex-snapshot
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction
inferredcites →https://doi.org/10.1103/physreva.71.062310openalex-snapshot
Distance measures to compare real and ideal quantum processes
inferredcites →https://doi.org/10.1109/asp-dac47756.2020.9045153openalex-snapshot
Improved DD-based Equivalence Checking of Quantum Circuits
inferredcites →https://doi.org/10.1109/dac18074.2021.9586214openalex-snapshot
Approximate Equivalence Checking of Noisy Quantum Circuits
inferredcites →https://doi.org/10.1109/iscas45731.2020.9180791openalex-snapshot
Efficient and Correct Compilation of Quantum Circuits
inferredcites →https://doi.org/10.1109/ismvl.2006.35openalex-snapshot
QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tc.2020.3023247openalex-snapshot
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search
inferredcites →https://doi.org/10.1109/tcad.2008.917562openalex-snapshot
Quantum Circuit Placement
inferredcites →https://doi.org/10.1109/tcad.2015.2459034openalex-snapshot
QMDDs: Efficient Quantum Function Representation and Manipulation
inferredcites →https://doi.org/10.1109/tcad.2018.2834427openalex-snapshot
Advanced Simulation of Quantum Computations
inferredcites →https://doi.org/10.1109/tcad.2018.2846658openalex-snapshot
An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures
inferredcites →https://doi.org/10.1109/tpds.2019.2947511openalex-snapshot
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
inferredcites →https://doi.org/10.1137/050644756openalex-snapshot
Simulating Quantum Computation by Contracting Tensor Networks
inferredcites →https://doi.org/10.1137/s0097539796300921openalex-snapshot
Quantum Complexity Theory
inferredcites →https://doi.org/10.1145/123186.123222openalex-snapshot
Efficient implementation of a BDD package
inferredcites →https://doi.org/10.1145/167088.167097openalex-snapshot
Quantum complexity theory
inferredcites →https://doi.org/10.1145/217474.217583openalex-snapshot
Verification of arithmetic circuits with binary moment diagrams
inferredcites →https://doi.org/10.1145/3508352.3549479openalex-snapshot
Equivalence Checking of Dynamic Quantum Circuits
inferredcites →https://doi.org/10.22331/q-2021-03-15-410openalex-snapshot
Hyper-optimized tensor network contraction
inferredcites →https://doi.org/10.22331/q-2023-09-11-1108openalex-snapshot
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
inferredcites →https://doi.org/10.3850/9783981537079_0152openalex-snapshot
Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking
inferredcites →https://doi.org/10.48550/arxiv.1411.4028openalex-snapshot
A Quantum Approximate Optimization Algorithm
inferredcites →https://doi.org/10.48550/arxiv.1710.05867openalex-snapshot
Pareto-Efficient Quantum Circuit Simulation Using Tensor Contraction Deferral
inferredcites →https://doi.org/10.48550/arxiv.1712.05384openalex-snapshot
Simulation of low-depth quantum circuits as complex undirected graphical models
inferredcites →https://doi.org/10.48550/arxiv.1805.01450openalex-snapshot
Classical Simulation of Intermediate-Size Quantum Circuits
inferredcites →https://doi.org/10.48550/arxiv.1905.01330openalex-snapshot
TensorNetwork: A Library for Physics and Machine Learning
inferredcites →https://doi.org/10.48550/arxiv.1912.10049openalex-snapshot
Lectures on Quantum Tensor Networks
inferredcites →https://doi.org/10.48550/arxiv.2005.06787openalex-snapshot
Classical Simulation of Quantum Supremacy Circuits
inferredcites →https://doi.org/10.5555/1835957.1835965openalex-snapshot
Fast equivalence-checking for quantum circuits

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/qute.202400029openalex-snapshot
Analyzing Quantum Error Resilience for Quantum Communication in Guided and Unguided Media
inferred← citeshttps://doi.org/10.1007/978-3-030-90870-6_2openalex-snapshot
Model Checking for Verification of Quantum Circuits
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_23openalex-snapshot
QReach: A Reachability Analysis Tool for Quantum Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-031-65633-0_25openalex-snapshot
Simulating Quantum Circuits by Model Counting
inferred← citeshttps://doi.org/10.1007/978-3-031-66149-5_6openalex-snapshot
Automated Reasoning in Quantum Circuit Compilation
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_2openalex-snapshot
FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-032-06770-8_18openalex-snapshot
Handling Non-unitaries in Quantum Circuit Equivalence Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-06770-8_5openalex-snapshot
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-032-22749-2_21openalex-snapshot
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
inferred← citeshttps://doi.org/10.1007/978-3-032-32537-2_18openalex-snapshot
Analysis and Verification of Quantum Communication Protocols in UPPAAL
inferred← citeshttps://doi.org/10.1007/s11128-025-04917-0openalex-snapshot
A tutorial on applying quantum multiple-valued decision diagrams to circuit simulation
inferred← citeshttps://doi.org/10.1007/s11227-024-06836-wopenalex-snapshot
Efficient quantum circuit contraction using tensor decision diagrams
inferred← citeshttps://doi.org/10.1016/j.future.2026.108487openalex-snapshot
The role of quantum computing in advancing scientific high-performance computing: A perspective from the ADAC institute
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112567openalex-snapshot
A Modeling approach based on Coloured Petri Nets for Quantum algorithm
inferred← citeshttps://doi.org/10.1016/j.scib.2025.10.016openalex-snapshot
A Herculean task: classical simulation of quantum computers
inferred← citeshttps://doi.org/10.1109/access.2024.3519676openalex-snapshot
Survey on Computational Applications of Tensor-Network Simulations
inferred← citeshttps://doi.org/10.1109/dac18074.2021.9586214openalex-snapshot
Approximate Equivalence Checking of Noisy Quantum Circuits
inferred← citeshttps://doi.org/10.1109/dac63849.2025.11133226openalex-snapshot
ZXNet: ZX Calculus-Driven Graph Neural Network Framework for Quantum Circuit Equivalence Checking
inferred← citeshttps://doi.org/10.1109/isqed60706.2024.10528748openalex-snapshot
Quantum Circuit Simulation with Fast Tensor Decision Diagram
inferred← citeshttps://doi.org/10.1109/jetcas.2022.3205174openalex-snapshot
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
inferred← citeshttps://doi.org/10.1109/pacet68758.2026.11498244openalex-snapshot
QOLE: A Browser-Native Quantum Circuit Simulator Based on Decision Diagrams
inferred← citeshttps://doi.org/10.1109/qce57702.2023.00111openalex-snapshot
Decision Diagrams for Symbolic Verification of Quantum Circuits
inferred← citeshttps://doi.org/10.1109/qce60285.2024.00036openalex-snapshot
Utilizing Resource Estimation for the Development of Quantum Computing Applications
inferred← citeshttps://doi.org/10.1109/qsw62656.2024.00032openalex-snapshot
Stripping Quantum Decision Diagrams of their Identity
inferred← citeshttps://doi.org/10.1109/tcad.2022.3197969openalex-snapshot
Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not
inferred← citeshttps://doi.org/10.1109/tcad.2025.3623498openalex-snapshot
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
inferred← citeshttps://doi.org/10.1145/3489517.3530627openalex-snapshot
The basis of design tools for quantum computing
inferred← citeshttps://doi.org/10.1145/3491246openalex-snapshot
Tools for Quantum Computing Based on Decision Diagrams
inferred← citeshttps://doi.org/10.1145/3508352.3549479openalex-snapshot
Equivalence Checking of Dynamic Quantum Circuits
inferred← citeshttps://doi.org/10.1145/3587716.3587797openalex-snapshot
A Quantum Classifier Based on Tree Structure
inferred← citeshttps://doi.org/10.1145/3656419openalex-snapshot
Symbolic Execution for Quantum Error Correction Programs
inferred← citeshttps://doi.org/10.1145/3676536.3676711openalex-snapshot
Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization
inferred← citeshttps://doi.org/10.1145/3676641.3715984openalex-snapshot
BQSim: GPU-accelerated Batch Quantum Circuit Simulation using Decision Diagram
inferred← citeshttps://doi.org/10.1145/3689760openalex-snapshot
Weighted Context-Free-Language Ordered Binary Decision Diagrams
inferred← citeshttps://doi.org/10.1145/3704868openalex-snapshot
Verifying Quantum Circuits with Level-Synchronized Tree Automata
inferred← citeshttps://doi.org/10.1145/3776712openalex-snapshot
Parameterized Verification of Quantum Circuits
inferred← citeshttps://doi.org/10.1609/aaai.v39i14.33657openalex-snapshot
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
inferred← citeshttps://doi.org/10.21105/joss.07478openalex-snapshot
MQT Core: The Backbone of the Munich Quantum Toolkit (MQT)
inferred← citeshttps://doi.org/10.22331/q-2023-09-11-1108openalex-snapshot
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
inferred← citeshttps://doi.org/10.23919/date64628.2025.10992763openalex-snapshot
Image Computation for Quantum Transition Systems
inferred← citeshttps://doi.org/10.23919/date69613.2026.11539441openalex-snapshot
A Mathematical Exploration to Equivalence Checking of Quantum Circuits
inferred← citeshttps://doi.org/10.3390/e26121058openalex-snapshot
Contraction Heuristics for Tensor Decision Diagrams
inferred← citeshttps://doi.org/10.48550/arxiv.2010.03032openalex-snapshot
Symbolic Verification of Quantum Circuits
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.