» Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming
|
|
|
|
Author:
|
|
Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
|
| Conference: |
|
Reversible Computation |
Reference:
|
| 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:
|
| 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:
|
| 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:
|
| 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]
|
