| 2023 | RC | Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. | Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler |
| 2021 | DATE | Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures. | Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler |
| 2021 | DSD | Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation. | Philipp Niemann, Luca Mller, Rolf Drechsler |
| 2021 | RC | Finding Optimal Implementations of Non-native CNOT Gates Using SAT. | Philipp Niemann, Luca Mller, Rolf Drechsler |
| 2020 | DSD | Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers. | Philipp Niemann, Alexandre A. A. de Almeida, Gerhard W. Dueck, Rolf Drechsler |
| 2019 | DATE | Accuracy and Compactness in Decision Diagrams for Quantum Computation. | Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille |
| 2018 | DATE | Improved synthesis of Clifford+T quantum functionality. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2018 | DSD | Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata. | Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Groe, Rolf Drechsler |
| 2018 | MODELSWARD | Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. | Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2018 | MODELSWARD | Generation and Validation of Frame Conditions in Formal Models. | Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler |
| 2018 | RC | Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. | Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler |
| 2017 | MEMOCODE | More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. | Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler |
| 2017 | RC | Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. | Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler |
| 2016 | MEMOCODE | Frame conditions in symbolic representations of UML/OCL models. | Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2016 | RC | Checking Reversibility of Boolean Functions. | Robert Wille, Aaron Lye, Philipp Niemann |
| 2015 | DATE | Assisted generation of frame conditions for formal models. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | MODELS | Extracting frame conditions from operation contracts. | Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| 2015 | RC | Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. | Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille |
| 2014 | ASPDAC | Efficient synthesis of quantum circuits implementing clifford group operations. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2014 | MODELS | Towards a Base Model for UML and OCL Verification. | Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla |
| 2014 | RC | Equivalence Checking in Multi-level Quantum Systems. | Philipp Niemann, Robert Wille, Rolf Drechsler |
| 2014 | TAP | Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. | Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille |
| 2013 | RC | On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. | Philipp Niemann, Robert Wille, Rolf Drechsler |