| 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 |
| https://portal.mardi4nfdi.de/entity/Q4583688 | 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 | 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 π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 |
| https://portal.mardi4nfdi.de/entity/Q5389258 | 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 |
