Philipp Niemann

45 papers A 5B 1C 15Journal 12Unranked 11

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