Homepage Sitemap Contact




Home « Team « Publications
» Publications of Philipp Niemann



BOOKS


BOOK CONTRIBUTIONS


JOURNALS

» Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation
[Link to the Homepage of this journal]




Author:

Philipp Niemann, Alwin Zulehner, Rolf Drechsler, Robert Wille
Journal:
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
Year:


2020





» On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata
[Link to the Homepage of this journal]




Author:

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
Journal:
Microprocessors and Microsystems (MICPRO)
Details:
accepted
Year:


2020





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




Author:

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


2019





» On the complexity of design tasks for Digital Microfluidic Biochips
[Link to the Homepage of this journal]




Author:

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


2018





» An Energy-aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata
[Link to the Homepage of this journal]




Author:

Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler
Journal:
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
Year:


2018





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




Author:

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


2018





» QMDDs: Efficient Quantum Function Representation and Manipulation
[Link to the Homepage of this journal]




Author:

Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
Journal:
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
Year:


2016






CONFERENCES



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




Author:

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

Portorož, Slowenien, 2020
Hyperlink:

[To the Site of this Conference]



» T-Depth Optimization for Fault-Tolerant Quantum Circuits




Author:

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

Fredericton, NB, Canada, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

Fredericton, NB, Canada, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Accuracy and Compactness in Decision Diagrams for Quantum Computation




Author:

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

Florence, Italy, 2019
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming




Author:

Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
Conference:
Reversible Computation
Reference:

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Improved Synthesis of Clifford+T Quantum Functionality




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Conference:
Reversible Computation
Reference:

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Frame Conditions in Symbolic Representations of UML/OCL Models




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Conference:
Modellierung
Reference:

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Logic Synthesis for Quantum State Generation




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Extracting Frame Conditions from Operation Contracts




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Assisted Generation of Frame Conditions for Formal Models




Author:

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

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

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

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

pp. 99-116, York, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Equivalence Checking in Multi-level Quantum Systems




Author:

Philipp Niemann, Robert Wille, Rolf Drechsler
Conference:
Reversible Computation
Reference:

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

[To the Site of this Conference]
PDF:

[view Pdf]



» Efficient Synthesis of Quantum Circuits Implementing Clifford Group Operations




Author:

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

pp. 483-488, Singapore, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



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




Author:

Philipp Niemann, Robert Wille, Rolf Drechsler
Conference:
Reversible Computation
Reference:

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

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» Towards Gate-Level Design of QCA Circuits




Author:

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

Florence, Italy, 2019
Hyperlink:

[Link to the Workshop]



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




Author:

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

San Diego, CA, USA, 2018
Hyperlink:

[Link to the Workshop]



» Extraktion von Frame Conditions aus Operation Contracts




Author:

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

Vienna, Austria, 2016
Hyperlink:

[Link to the Workshop]



» Towards a Base Model for UML and OCL Verification




Author:

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

Valencia, Spain, 2014
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE