Stefan Hillmich
Orcid: 0000-0003-1089-3263Affiliations:
- Johannes Kepler Universität Linz, Austria
According to our database1,
Stefan Hillmich
authored at least 23 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on iic.jku.at
On csauthors.net:
Bibliography
2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2023
Proceedings of the Model Checking Software - 29th International Symposium, 2023
Proceedings of the IEEE International Conference on Quantum Software, 2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
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
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
Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
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
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016