Stefan Hillmich

Orcid: 0000-0003-1089-3263

Affiliations:
  • Johannes Kepler Universität Linz, Austria


According to our database1, Stefan Hillmich authored at least 24 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers.
Proceedings of the Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers, 2024

Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract).
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023
Efficient Implementation of LIMDDs for Quantum Circuit Simulation.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems.
Proceedings of the IEEE International Conference on Quantum Software, 2023

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Compilation of Entangling Gates for High-Dimensional Quantum Systems.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.
Proceedings of the Reversible Computation - 14th International Conference, 2022

Adaptive Compilation of Multi-Level Quantum Operations.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
Decision Diagrams for Quantum Measurements with Shallow Circuits.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

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

2020
Improved Mapping of Quantum Circuits to IBM QX Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators.
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Efficient and Correct Compilation of Quantum Circuits.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

JKQ: JKU Tools for Quantum Computing.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Just Like the Real Thing: Fast Weak Simulation of Quantum Computation.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 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
How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing.
Proceedings of the International Conference on Computer-Aided Design, 2019

2016
Gates vs. Splitters: Contradictory Optimization Objectives in the Synthesis of Optical Circuits.
ACM J. Emerg. Technol. Comput. Syst., 2016

Synthesis of approximate coders for on-chip interconnects using reversible logic.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016


  Loading...