| 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 | 2023-10-16 | Paper |
| Quantum k-community detection: algorithm proposals and cross-architectural evaluation | 2023-02-22 | Paper |
| Advanced exact synthesis of Clifford+T circuits | 2023-02-03 | Paper |
| Reordering decision diagrams for quantum computing is harder than you might think | 2022-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869581 | 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 | 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 | 2020-10-02 | Paper |
| Evaluating the Flexibility of A* for Mapping Quantum Circuits | 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 | 2018-02-27 | Paper |
| Compact representations for the design of quantum logic | 2017-11-13 | Paper |
| Formal methods for reasoning and uncertainty reduction in evidential grid maps | 2017-10-06 | Paper |
| Towards a cost metric for nearest neighbor constraints in reversible circuits | 2016-09-30 | Paper |
| Towards line-aware realizations of expressions for HDL-based synthesis of reversible circuits | 2016-09-30 | Paper |
| Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions | 2016-09-30 | Paper |
| Using \(\pi\)DDs for nearest neighbor optimization of quantum circuits | 2016-08-10 | Paper |
| Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report) | 2016-08-10 | Paper |
| Checking Reversibility of Boolean Functions | 2016-08-10 | Paper |
| Property checking of quantum circuits using quantum multiple-valued decision diagrams | 2015-11-30 | Paper |
| Using \(\pi\)DDs in the design of reversible circuits | 2015-11-30 | Paper |
| Equivalence checking in multi-level quantum systems | 2014-09-02 | Paper |
| Considering nearest neighbor constraints of quantum circuits at the reversible circuit level | 2014-06-13 | Paper |
| Exploiting negative control lines in the optimization of reversible circuits | 2013-12-17 | Paper |
| Reducing the Depth of Quantum Circuits Using Additional Circuit Lines | 2013-12-17 | Paper |
| Reversible circuit synthesis of symmetric functions using a simple regular structure | 2013-12-17 | Paper |
| On the ``Q in QMDDs: efficient representation of quantum functionality in the QMDD data-structure | 2013-12-17 | Paper |
| Exact synthesis of elementary quantum gate circuits | 2012-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389328 | 2012-04-26 | Paper |
| Encoding OCL data types for SAT-based verification of UML/OCL models | 2011-07-07 | Paper |
| Synthesis of quantum circuits for linear nearest neighbor architectures | 2011-06-16 | Paper |
| Graph transformation units guided by a SAT solver | 2010-10-04 | Paper |
| Towards a design flow for reversible logic | 2010-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3528928 | 2008-10-17 | Paper |
| Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. | N/A | Dataset |
