|
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-99DOI: 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]
|
|
|
|
|
