Alwin Zulehner

Orcid: 0000-0003-2258-4118

Affiliations:
  • Johannes Kepler University Linz, Austria


According to our database1, Alwin Zulehner authored at least 38 papers between 2017 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Exploiting Quantum Teleportation in Quantum Circuit Mapping.
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020
Simulation and Design of Quantum Circuits.
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

On the Difficulty of Inserting Trojans in Reversible Computing Architectures.
IEEE Trans. Emerg. Top. Comput., 2020

Overcoming the Tradeoff Between Accuracy and Compactness in Decision Diagrams for Quantum Computation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD).
Integr., 2020

Approximation of Quantum States Using Decision Diagrams.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

Concurrency in DD-based Quantum Circuit Simulation.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Entwurfsautomatisierung für Quantencomputer.
Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

Reversible Circuits: IC/IP Piracy Attacks and Countermeasures.
IEEE Trans. Very Large Scale Integr. Syst., 2019

Advanced Simulation of Quantum Computations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Identification of Synthesis Approaches for IP/IC Piracy of Reversible Circuits.
ACM J. Emerg. Technol. Comput. Syst., 2019

Evaluating the Flexibility of A* for Mapping Quantum Circuits.
Proceedings of the Reversible Computation - 11th International Conference, 2019

One Additional Qubit is Enough: Encoded Embeddings for Boolean Components in Quantum Circuits.
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing.
Proceedings of the International Conference on Computer-Aided Design, 2019

Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Accuracy and Compactness in Decision Diagrams for Quantum Computation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Compiling SU(4) quantum circuits to IBM QX architectures.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

Design automation for adiabatic circuits.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

A staircase structure for scalable and efficient synthesis of memristor-aided logic.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

NISQ circuit compilers: search space structure and heuristics.
CoRR, 2018

QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report).
Proceedings of the Reversible Computation - 10th International Conference, 2018

Generalizing the Concept of Scalable Reversible Circuit Synthesis for Multiple-Valued Logic.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

IC/IP piracy assessment of reversible logic.
Proceedings of the International Conference on Computer-Aided Design, 2018

Pushing the number of qubits below the "minimum": Realizing compact boolean components for quantum logic.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Efficient mapping of quantum circuits to the IBM QX architectures.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Exploiting coding techniques for logic synthesis of reversible circuits.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017
Advanced Simulation of Quantum Computations: Compact Representation Rather than Hardware Power.
CoRR, 2017

Towards Reverse Engineering Reversible Logic.
CoRR, 2017

Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs.
Proceedings of the Reversible Computation - 9th International Conference, 2017

Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A ^* ∗.
Proceedings of the Reversible Computation - 9th International Conference, 2017

Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions.
Proceedings of the Reversible Computation - 9th International Conference, 2017

Skipping Embedding in the Design of Reversible Circuits.
Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Identifying Reversible Circuit Synthesis Approaches to Enable IP Piracy Attacks.
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Taking one-to-one mappings for granted: Advanced logic design of encoder circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Make it reversible: Efficient embedding of non-reversible functions.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017


  Loading...