Philipp Niemann

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 35

Top Topics

Logic Synthesis

Quantum Computation

Design Space Exploration

Top Venues

Publications

Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. RC (2023)
Philipp Niemann, Rolf Drechsler
Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic. ISMVL (2022)
Philipp Niemann, Alexandre A. A. de Almeida, Gerhard W. Dueck, Rolf Drechsler
Template-based mapping of reversible circuits to IBM quantum computers. Microprocess. Microsystems 90 (2022)
Philipp Niemann, Luca Müller, Rolf Drechsler
Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation. DSD (2021)
Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler
Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures. DATE (2021)
Philipp Niemann, Luca Müller, Rolf Drechsler
Finding Optimal Implementations of Non-native CNOT Gates Using SAT. RC (2021)
Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann, Bappaditya Mondal, Rolf Drechsler, Hafizur Rahaman
An improved heuristic technique for nearest neighbor realization of quantum circuits in 2D architecture. Integr. 76 (2021)
Philipp Niemann, Rolf Drechsler
Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic. ISMVL (2021)
Philipp Niemann, Alexandre A. A. de Almeida, Gerhard W. Dueck, Rolf Drechsler
Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers. DSD (2020)
Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler
Near Zero-Energy Computation Using Quantum-Dot Cellular Automata. ACM J. Emerg. Technol. Comput. Syst. 16 (1) (2020)
Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille
Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Frank Sill Torres, Pedro Arthur Silva, Geraldo Fontes, Marcel Walter, José Augusto Miranda Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata. Microprocess. Microsystems 76 (2020)
Philipp Niemann, Robert Wille, Rolf Drechsler
Advanced exact synthesis of Clifford+T circuits. Quantum Inf. Process. 19 (1) (2020)
Philipp Niemann, Anshu Gupta, Rolf Drechsler
T-depth Optimization for Fault-Tolerant Quantum Circuits. ISMVL (2019)
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. CoRR (2019)
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Accuracy and Compactness in Decision Diagrams for Quantum Computation. DATE (2019)
Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits. ISMVL (2019)
Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
On the complexity of design tasks for Digital Microfluidic Biochips. Microelectron. J. 78 (2018)
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence. MODELSWARD (2018)
Philipp Niemann, Robert Wille, Rolf Drechsler
Improved synthesis of Clifford+T quantum functionality. DATE (2018)
Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
statements. Comput. Lang. Syst. Struct. 54 (2018)
Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming. RC (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. DSD (2018)
Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
Generation and Validation of Frame Conditions in Formal Models. MODELSWARD (Revised Selected Papers) (2018)
Frank Sill Torres, Philipp Niemann, Robert Wille, Rolf Drechsler
Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata. CoRR (2018)
Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (12) (2018)
Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. MEMOCODE (2017)
Martin Gogolla, Frank Hilken, Philipp Niemann, Robert Wille
Formulating Model Verification Tasks Prover-Independently as UML Diagrams. ECMFA (2017)
Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. RC (2017)
Philipp Niemann, Rhitam Datta, Robert Wille
Logic Synthesis for Quantum State Generation. ISMVL (2016)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. Software Engineering (2016)
Robert Wille, Aaron Lye, Philipp Niemann
Checking Reversibility of Boolean Functions. RC (2016)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models. Modellierung (2016)
Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler
Frame conditions in symbolic representations of UML/OCL models. MEMOCODE (2016)
Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
QMDDs: Efficient Quantum Function Representation and Manipulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (1) (2016)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Assisted generation of frame conditions for formal models. DATE (2015)
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Extracting frame conditions from operation contracts. MoDELS (2015)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification. ICMT (2015)
Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. RC (2015)
Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
Towards a Base Model for UML and OCL Verification. MoDeVVa@MoDELS (2014)
Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. TAP@STAF (2014)
Philipp Niemann, Robert Wille, Rolf Drechsler
Efficient synthesis of quantum circuits implementing clifford group operations. ASP-DAC (2014)
Philipp Niemann, Robert Wille, Rolf Drechsler
Equivalence Checking in Multi-level Quantum Systems. RC (2014)
Philipp Niemann, Robert Wille, Rolf Drechsler
On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. RC (2013)