Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Philipp Niemann


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN

» An Improved Heuristic Technique for Nearest Neighbor Realization of Quantum Circuits in 2D Architecture
[Link zur Zeitschriften-Homepage]




Autor:

Anirban Bhattacharjee, Chandan Bandyopadhyay, Philipp Niemann , Bappaditya Mondal , Rolf Drechsler , Hafizur Rahaman
Zeitschrift:
Integration
Details:
Volume 76, January 2021, Pages 40-54, https://doi.org/10.1016/j.vlsi.2020.09.003
Jahr:


2020




» Advanced Exact Synthesis of Clifford+T Circuits
[Link zur Zeitschriften-Homepage]




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Zeitschrift:
Quantum Information Processing
Details:
(accepted)
DOI: 10.1007/s11128-020-02816-0
Jahr:


2020




» Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
[Link zur Zeitschriften-Homepage]




Autor:

Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille
Zeitschrift:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Details:
URL: https://doi.org/TCAD.2020.2977603, DOI: 10.1109/TCAD.2020.2977603
Jahr:


2020




» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link zur Zeitschriften-Homepage]




Autor:

Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, Marcel Walter, José Augusto M. Nacif, Ricardo Santos Ferreira, Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Robert Wille, Philipp Niemann, Daniel Große, Rolf Drechsler
Zeitschrift:
Microprocessors and Microsystems (MICPRO)
Details:
Volume 76, July 2020. DOI: 10.1016/j.micpro.2020.103109
Jahr:


2020




» Near Zero-Energy Computation Using Quantum-dot Cellular Automata




Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
Journal on Emerging Technologies in Computing Systems (JETC)
Details:
Vol. 16, No. 1, https://dl.acm.org/doi/abs/10.1145/3365394, 2019
Jahr:


2019




» On the complexity of design tasks for Digital Microfluidic Biochips
[Link zur Zeitschriften-Homepage]




Autor:

Oliver Keszöcze, Philipp Niemann, Arved Friedemann, Rolf Drechsler
Zeitschrift:
Microelectronics Journal
Details:
Volume 78, Pages 35-45
Jahr:


2018




» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link zur Zeitschriften-Homepage]




Autor:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
vol. 37, no. 12, pp. 3031-3041, December 2018.
DOI: 10.1109/TCAD.2018.2789782
Jahr:


2018




» Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of modifies only Statements
[Link zur Zeitschriften-Homepage]




Autor:

Nils Przigoda, Philipp Niemann, Jonas Gomes Filho, Robert Wille, Rolf Drechsler
Zeitschrift:
Computer Languages, Systems & Structures
Details:
Volume 54, December 2018, Pages 512-527
DOI: 10.1016/j.cl.2017.11.002
Jahr:


2018




» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link zur Zeitschriften-Homepage]




Autor:

Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
Zeitschrift:
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details:
Volume 35, Number 1, pp. 86-99
DOI: 10.1109/TCAD.2015.2459034
Jahr:


2016





KONFERENZEN


» Finding Optimal Implementations of Non-native CNOT Gates using SAT




Autor:

Philipp Niemann, Luca Müller, Rolf Drechsler
Konferenz:
Reversible Computation (RC)
Referenz:

Nagoya, Japan, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation




Autor:

Philipp Niemann, Luca Müller, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Palermo, Sicily, Italy, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic




Autor:

Philipp Niemann, Rolf Drechsler
Konferenz:
51st International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Nursultan, Kazakhstan, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures




Autor:

Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz:

Grenoble, France, 2021
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers




Autor:

Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

Portorož, Slowenien, 2020
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» T-Depth Optimization for Fault-Tolerant Quantum Circuits




Autor:

Philipp Niemann, Anshu Gupta, Rolf Drechsler
Konferenz:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits




Autor:

Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Konferenz:
49th IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

Fredericton, NB, Canada, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Accuracy and Compactness in Decision Diagrams for Quantum Computation




Autor:

Alwin Zulehner, Philipp Niemann, Rolf Drechsler, Robert Wille
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Florence, Italy, 2019
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming




Autor:

Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 220-227, Leicester, UK, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata




Autor:

Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Referenz:

pp. 649-656, Prague, Czech Republic, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Improved Synthesis of Clifford+T Quantum Functionality




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

pp. 597-600, Dresden, Germany, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Analyzing Frame Conditions in UML/OCL Models: Consistency, Equivalence, and Independence




Autor:

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler
Konferenz:
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
Referenz:

pp. 139-151, Funchal, Portugal, 2018
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» More than true or false: Native Support of Irregular Values in the Automatic Validation & Verification of UML/OCL Models




Autor:

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler
Konferenz:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

pp. 77-86, Vienna, Austria, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions




Autor:

Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 214-231, Kolkata, India, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Frame Conditions in Symbolic Representations of UML/OCL Models




Autor:

Nils Przigoda, Jonas Gomes Filho, Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Referenz:

pp. 65-70, Indian Institute of Technology, Kanpur, India, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
Modellierung
Referenz:

pp. 117-124, Karlsruhe, Germany, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Logic Synthesis for Quantum State Generation




Autor:

Philipp Niemann, Rhitam Datta, Robert Wille
Konferenz:
46th International Symposium on Multiple-Valued Logic (ISMVL)
Referenz:

pp. 247-252, Sapporo, Japan, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Extracting Frame Conditions from Operation Contracts




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Konferenz:
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS)
Referenz:

pp. 266-275, Ottawa, Canada, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions




Autor:

Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
Konferenz:
Reversible Computation
Referenz:

pp. 248-264, Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
International Conference on Model Transformation (ICMT)
Referenz:

pp. 149-165, L’Aquila, Italy, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Assisted Generation of Frame Conditions for Formal Models




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Konferenz:
Design, Automation and Test in Europe (DATE'15)
Referenz:

pp. 309-312, Grenoble, France, 2015
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models




Autor:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
8th International Conference on Tests & Proofs (TAP)
Referenz:

pp. 99-116, York, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Equivalence Checking in Multi-level Quantum Systems




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 201-215, Kyoto, Japan, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 483-488, Singapore, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz:

pp. 125-140, Victoria, Canada, 2013
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Towards Gate-Level Design of QCA Circuits




Autor:

Philipp Niemann, Igor Kazhdan, Frank Sill Torres, Rolf Drechsler
Workshop:
6th Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
Referenz:

Florence, Italy, 2019
Hyperlink:

[Link zum Workshop]


» Optimizing Ts in the Synthesis of Clifford+T Quantum Circuits




Autor:

Philipp Niemann, Robert Wille, Rolf Drechsler
Workshop:
2nd International Workshop on Quantum Compilation (IWQC, co-located with ICCAD)
Referenz:

San Diego, CA, USA, 2018
Hyperlink:

[Link zum Workshop]


» Extraktion von Frame Conditions aus Operation Contracts




Autor:

Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille
Workshop:
Software Engineering (SE)
Referenz:

Vienna, Austria, 2016
Hyperlink:

[Link zum Workshop]


» Towards a Base Model for UML and OCL Verification




Autor:

Frank Hilken, Philipp Niemann, Robert Wille, Martin Gogolla
Workshop:
Model-Driven Engineering, Verification, and Validation (MoDeVVa)
Referenz:

Valencia, Spain, 2014
Hyperlink:

[Link zum Workshop]

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt