Publications

Page 2 of 4.

Philipp Niemann; Alexandre A. A. de Almeida; Gerhard Dueck; Rolf Drechsler
Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers
In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2020), August 26-28, Portoro¸, Slovenia, …
Philipp Niemann; Alwin Zulehner; Rolf Drechsler; Robert Wille
Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2020.
Philipp Niemann; Robert Wille; Rolf Drechsler
Advanced Exact Synthesis of Clifford+T Circuits
In: Quantum Information Processing, Springer, 2020.
Alwin Zulehner; Philipp Niemann; Rolf Drechsler; Robert Wille
Accuracy and Compactness in Decision Diagrams for Quantum Computation
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.
Philipp Niemann; Igor Kazhdan; Frank Sill Torres; Rolf Drechsler
Towards Gate-Level Design of QCA Circuits
In: 6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe). Workshop on Design Automation for Understanding Hardware Designs …
Alwin Zulehner; Philipp Niemann; Rolf Drechsler; Robert Wille
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits
In: 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2019), May 21-23, …
Philipp Niemann; Anshu Gupta; Rolf Drechsler
T-Depth Optimization for Fault-Tolerant Quantum Circuits
In: 49th IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2019), May 21-23, …
Frank Sill Torres; Robert Wille; Philipp Niemann; Rolf Drechsler
Near Zero-Energy Computation Using Quantum-dot Cellular Automata
In: Journal on Emerging Technologies in Computing Systems (JETC), ACM, 2019.
Nils Przigoda; Philipp Niemann; Jonas Gomes Filho; Robert Wille; Rolf Drechsler
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
In: Marjan Mernik (Hrsg.). Computer Languages, Systems & Structures (COMLAN), Elsevier, 2018.
Frank Sill Torres; Robert Wille; Marcel Walter; Philipp Niemann; Daniel Große; Rolf Drechsler
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2018), August 29-31, Prague, Czech …