A Aralex Aachen research explorer

May 08, 2018 article Open access

Advanced Simulation of Quantum Computations

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2018.2834427 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 5 stored of 152

Quokka#: Quantum Computing with #SAT
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

0

citations
Numerical Errors in Quantitative System Analysis With Decision Diagrams
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

2

citations
Automated Reasoning in Quantum Circuit Compilation
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

4

citations
LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
2023 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

26

citations
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
2023 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

9

citations

5 results

References 0