Robert Wille

Available identifiers

zbMath Open wille.robertWikidataQ60013415 ScholiaQ60013415MaRDI QIDQ544831

List of research outcomes

Publication	Date of Publication	Type
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
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 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
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits	2016-09-30	Paper
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs	2016-08-10	Paper
Using $$\pi $$ DDs for Nearest Neighbor Optimization of Quantum Circuits	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
On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure	2013-12-17	Paper
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure	2013-12-17	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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Wille