Search filters

List of works by Philipp Niemann

An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata

Checking Reversibility of Boolean Functions

scientific article

Decision diagrams for the design of reversible and quantum circuits

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

Efficient synthesis of quantum circuits implementing clifford group operations

Equivalence Checking in Multi-level Quantum Systems

Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata

Extracting frame conditions from operation contracts

article

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

Frame conditions in symbolic representations of UML/OCL models

Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements

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

Improved synthesis of Clifford+T quantum functionality

Logic Synthesis for Quantum State Generation

More than true or false

scholarly article published 2017

Multi-objective Synthesis of Quantum Circuits Using Genetic Programming

On the complexity of design tasks for Digital Microfluidic Biochips

QMDDs: Efficient Quantum Function Representation and Manipulation

Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions

Paulina is supported by:

About Paulina

Help