| Publication | Date of Publication | Type |
|---|
| Towards a SAT encoding for quantum circuits: a journey from classical circuits to Clifford circuits and beyond | 2024-07-12 | Paper |
| Simulation results for "Localized statistics decoding: A parallel decoding algorithm for quantum low-density parity-check codes" | 2024-06-28 | Dataset |
| Dataset containing raw simulation data for a paper on decoding bosonic quantum LDPC codes | 2023-11-02 | Dataset |
Efficient implementation of LIMDDs for quantum circuit simulation
Model Checking Software | 2023-10-16 | Paper |
Quantum k-community detection: algorithm proposals and cross-architectural evaluation
Quantum Information Processing | 2023-02-22 | Paper |
Advanced exact synthesis of Clifford+T circuits
Quantum Information Processing | 2023-02-03 | Paper |
| Reordering decision diagrams for quantum computing is harder than you might think | 2022-11-11 | Paper |
| scientific article; zbMATH DE number 7594153 (Why is no real title available?) | 2022-09-28 | Paper |
| Data for a mapping study about the usage of MDE in Safety and Security Domain | 2021-11-25 | Dataset |
Efficient Construction of Functional Representations for Quantum Algorithms
Reversible Computation | 2021-11-03 | Paper |
| Introducing Design Automation for Quantum Computing | 2021-08-11 | Paper |
Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation
IEEE Transactions on Computers | 2020-10-02 | Paper |
Evaluating the Flexibility of A* for Mapping Quantum Circuits
Reversible Computation | 2019-10-17 | Paper |
| QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report) | 2018-10-17 | Paper |
| Reducing reversible circuit cost by adding lines | 2018-09-03 | Paper |
| Towards VHDL-based design of reversible circuits. Work in progress report | 2018-03-16 | Paper |
| Test pattern generation effort evaluation of reversible circuits | 2018-03-16 | Paper |
| Automatic test pattern generation for multiple missing gate faults in reversible circuits. Work in progress report | 2018-03-16 | Paper |
| Exact global reordering for nearest neighbor quantum circuits using \({\mathrm {A}}^{*}\) | 2018-03-16 | Paper |
| Efficient construction of QMDDs for irreversible, reversible, and quantum functions | 2018-03-16 | Paper |
| Improving synthesis of reversible circuits: exploiting redundancies in paths and nodes of QMDDs | 2018-03-16 | Paper |
Towards quantum reversible ternary coded decimal adder
Quantum Information Processing | 2018-02-27 | Paper |
Compact representations for the design of quantum logic
SpringerBriefs in Physics | 2017-11-13 | Paper |
Formal methods for reasoning and uncertainty reduction in evidential grid maps
International Journal of Approximate Reasoning | 2017-10-06 | Paper |
Towards a cost metric for nearest neighbor constraints in reversible circuits
Reversible Computation | 2016-09-30 | Paper |
Towards line-aware realizations of expressions for HDL-based synthesis of reversible circuits
Reversible Computation | 2016-09-30 | Paper |
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Reversible Computation | 2016-09-30 | Paper |
Using \(\pi\)DDs for nearest neighbor optimization of quantum circuits
Reversible Computation | 2016-08-10 | Paper |
Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
Reversible Computation | 2016-08-10 | Paper |
Checking Reversibility of Boolean Functions
Reversible Computation | 2016-08-10 | Paper |
Property checking of quantum circuits using quantum multiple-valued decision diagrams
Reversible Computation | 2015-11-30 | Paper |
Using \(\pi\)DDs in the design of reversible circuits
Reversible Computation | 2015-11-30 | Paper |
Equivalence checking in multi-level quantum systems
Reversible Computation | 2014-09-02 | Paper |
Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
Quantum Information Processing | 2014-06-13 | Paper |
Exploiting negative control lines in the optimization of reversible circuits
Reversible Computation | 2013-12-17 | Paper |
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
Reversible Computation | 2013-12-17 | Paper |
Reversible circuit synthesis of symmetric functions using a simple regular structure
Reversible Computation | 2013-12-17 | Paper |
On the ``Q in QMDDs: efficient representation of quantum functionality in the QMDD data-structure
Reversible Computation | 2013-12-17 | Paper |
| Exact synthesis of elementary quantum gate circuits | 2012-04-26 | Paper |
| scientific article; zbMATH DE number 6028105 (Why is no real title available?) | 2012-04-26 | Paper |
Encoding OCL data types for SAT-based verification of UML/OCL models
Tests and Proofs | 2011-07-07 | Paper |
Synthesis of quantum circuits for linear nearest neighbor architectures
Quantum Information Processing | 2011-06-16 | Paper |
Graph transformation units guided by a SAT solver
Lecture Notes in Computer Science | 2010-10-04 | Paper |
| Towards a design flow for reversible logic | 2010-08-04 | Paper |
| scientific article; zbMATH DE number 5353387 (Why is no real title available?) | 2008-10-17 | Paper |
| Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. | N/A | Dataset |
