Philipp Niemann

Alexandre A. A. de Almeida

Gerhard W. Dueck

Microprocess. Microsystems, April, 2022

Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

2021

An improved heuristic technique for nearest neighbor realization of quantum circuits in 2D architecture.

[BibT_eX]

[DOI]

Anirban Bhattacharjee

Chandan Bandyopadhyay

Integr., 2021

Finding Optimal Implementations of Non-native CNOT Gates Using SAT.

[BibT_eX]

[DOI]

Luca Müller

Proceedings of the Reversible Computation - 13th International Conference, 2021

Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation.

[BibT_eX]

[DOI]

Luca Müller

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

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

[BibT_eX]

[DOI]

Chandan Bandyopadhyay

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Advanced exact synthesis of Clifford+T circuits.

[BibT_eX]

[DOI]

José Augusto Miranda Nacif

Quantum Inf. Process., 2020

On the impact of the synchronization constraint and interconnections in quantum-dot cellular automata.

[BibT_eX]

[DOI]

Ricardo Santos Ferreira

Omar Paranaiba Vilela Neto

Microprocess. Microsystems, 2020

Near Zero-Energy Computation Using Quantum-Dot Cellular Automata.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2020

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

[BibT_eX]

[DOI]

Alexandre A. A. de Almeida

Gerhard W. Dueck

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

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

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

T-depth Optimization for Fault-Tolerant Quantum Circuits.

[BibT_eX]

[DOI]

Anshu Gupta

Moein Sarvaghad-Moghaddam

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

Accuracy and Compactness in Decision Diagrams for Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

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

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

On the complexity of design tasks for Digital Microfluidic Biochips.

[BibT_eX]

[DOI]

Microelectron. J., 2018

Breaking Landauer's Limit\\Using Quantum-dot Cellular Automata.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

Multi-objective Synthesis of Quantum Circuits Using Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 10th International Conference, 2018

Generation and Validation of Frame Conditions in Formal Models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2018

Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Improved synthesis of Clifford+T quantum functionality.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

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

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 9th International Conference, 2017

More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Formulating Model Verification Tasks Prover-Independently as UML Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

Towards computer-aided design of quantum logic: compact representations and efficient synthesis methods for an emerging technology.

[BibT_eX]

[DOI]

PhD thesis, 2016

QMDDs: Efficient Quantum Function Representation and Manipulation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Extracting frame conditions from operation contracts.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Checking Reversibility of Boolean Functions.

[BibT_eX]

[DOI]

Aaron Lye

Proceedings of the Reversible Computation - 8th International Conference, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Frame conditions in symbolic representations of UML/OCL models.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Logic Synthesis for Quantum State Generation.

[BibT_eX]

[DOI]

Rhitam Datta

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 7th International Conference, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2015

Assisted generation of frame conditions for formal models.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

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

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Equivalence Checking in Multi-level Quantum Systems.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

Towards a Base Model for UML and OCL Verification.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Efficient synthesis of quantum circuits implementing clifford group operations.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure.

[BibT_eX]

[DOI]