On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (RC, 2013)

Efficient synthesis of quantum circuits implementing clifford group operations. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (ASP-DAC, 2014)

Towards a Base Model for UML and OCL Verification. - Frank Hilken; Philipp Niemann 001; Robert Wille; Martin Gogolla (MoDeVVa@MoDELS, 2014)

Equivalence Checking in Multi-level Quantum Systems. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (RC, 2014)

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (TAP@STAF, 2014)

Assisted generation of frame conditions for formal models. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (DATE, 2015)

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (ICMT, 2015)

Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. - Philipp Niemann 001; Saikat Basu; Amlan Chakrabarti; Niraj K. Jha; Robert Wille (RC, 2015)

Logic Synthesis for Quantum State Generation. - Philipp Niemann 001; Rhitam Datta; Robert Wille (ISMVL, 2016)

Frame conditions in symbolic representations of UML/OCL models. - Nils Przigoda; Jonas Gomes Filho; Philipp Niemann 001; Robert Wille; Rolf Drechsler (MEMOCODE, 2016)

Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. - Frank Hilken; Philipp Niemann 001; Martin Gogolla; Robert Wille (Modellierung, 2016)

Checking Reversibility of Boolean Functions. - Robert Wille; Aaron Lye; Philipp Niemann 001 (RC, 2016)

Extracting frame conditions from operation contracts. - Philipp Niemann 001; Frank Hilken; Martin Gogolla; Robert Wille (Software Engineering, 2016)

QMDDs: Efficient Quantum Function Representation and Manipulation. - Philipp Niemann 001; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Towards computer-aided design of quantum logic: compact representations and efficient synthesis methods for an emerging technology. - Philipp Niemann 001 (2016)

Formulating Model Verification Tasks Prover-Independently as UML Diagrams. - Martin Gogolla; Frank Hilken; Philipp Niemann 001; Robert Wille (ECMFA, 2017)

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. - Nils Przigoda; Philipp Niemann 001; Judith Peters; Frank Hilken; Robert Wille; Rolf Drechsler (MEMOCODE, 2017)

Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. - Philipp Niemann 001; Alwin Zulehner; Robert Wille; Rolf Drechsler (RC, 2017)

Improved synthesis of Clifford+T quantum functionality. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (DATE, 2018)

Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. - Frank Sill Torres; Robert Wille; Marcel Walter; Philipp Niemann 001; Daniel Große; Rolf Drechsler (DSD, 2018)

Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. - Philipp Niemann 001; Nils Przigoda; Robert Wille; Rolf Drechsler (MODELSWARD, 2018)

Generation and Validation of Frame Conditions in Formal Models. - Philipp Niemann 001; Nils Przigoda; Robert Wille; Rolf Drechsler (MODELSWARD (Revised Selected Papers), 2018)

Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. - Moein Sarvaghad-Moghaddam; Philipp Niemann 001; Rolf Drechsler (RC, 2018)

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. - Nils Przigoda; Philipp Niemann 001; Jonas Gomes Filho; Robert Wille; Rolf Drechsler (Comput. Lang. Syst. Struct., 2018)

Breaking Landauer's Limit Using Quantum-dot Cellular Automata. - Frank Sill Torres; Philipp Niemann 001; Robert Wille; Rolf Drechsler (CoRR, 2018)

On the complexity of design tasks for Digital Microfluidic Biochips. - Oliver Keszöcze; Philipp Niemann 001; Arved Friedemann; Rolf Drechsler (Microelectron. J., 2018)

An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. - Frank Sill Torres; Robert Wille; Philipp Niemann 001; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Accuracy and Compactness in Decision Diagrams for Quantum Computation. - Alwin Zulehner; Philipp Niemann 001; Rolf Drechsler; Robert Wille (DATE, 2019)

T-depth Optimization for Fault-Tolerant Quantum Circuits. - Philipp Niemann 001; Anshu Gupta; Rolf Drechsler (ISMVL, 2019)

One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. - Alwin Zulehner; Philipp Niemann 001; Rolf Drechsler; Robert Wille (ISMVL, 2019)

Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers. - Philipp Niemann 001; Alexandre A. A. de Almeida; Gerhard W. Dueck; Rolf Drechsler (DSD, 2020)

Near Zero-Energy Computation Using Quantum-Dot Cellular Automata. - Frank Sill Torres; Philipp Niemann 001; Robert Wille; Rolf Drechsler (ACM J. Emerg. Technol. Comput. Syst., 2020)

On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. - Frank Sill Torres; Pedro Arthur Silva; Geraldo Fontes; Marcel Walter; José Augusto Miranda Nacif; Ricardo Santos Ferreira 001; Omar Paranaiba Vilela Neto; Jeferson F. Chaves; Robert Wille; Philipp Niemann 001; Daniel Große; Rolf Drechsler (Microprocess. Microsystems, 2020)

Advanced exact synthesis of Clifford+T circuits. - Philipp Niemann 001; Robert Wille; Rolf Drechsler (Quantum Inf. Process., 2020)

Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. - Philipp Niemann 001; Alwin Zulehner; Rolf Drechsler; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures. - Philipp Niemann 001; Chandan Bandyopadhyay; Rolf Drechsler (DATE, 2021)

Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation. - Philipp Niemann 001; Luca Müller; Rolf Drechsler (DSD, 2021)

Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic. - Philipp Niemann 001; Rolf Drechsler (ISMVL, 2021)

Finding Optimal Implementations of Non-native CNOT Gates Using SAT. - Philipp Niemann 001; Luca Müller; Rolf Drechsler (RC, 2021)

An improved heuristic technique for nearest neighbor realization of quantum circuits in 2D architecture. - Anirban Bhattacharjee; Chandan Bandyopadhyay; Philipp Niemann 001; Bappaditya Mondal; Rolf Drechsler; Hafizur Rahaman 001 (Integr., 2021)

Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic. - Philipp Niemann 001; Rolf Drechsler (ISMVL, 2022)

Template-based mapping of reversible circuits to IBM quantum computers. - Philipp Niemann 001; Alexandre A. A. de Almeida; Gerhard W. Dueck; Rolf Drechsler (Microprocess. Microsystems, 2022)

Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. - Abhoy Kole; Kamalika Datta; Philipp Niemann 001; Indranil Sengupta 001; Rolf Drechsler (RC, 2023)