Projects

• TAQO-PAM
• MoQel

Publications

2026

To Appear Workshop
Towards Quantum Software for Quantum Simulation

Maja Franz, Lukas Schmidbauer, Joshua Ammermann, Ina Schaefer, Wolfgang MauererProceedings Q-SE@ICSE2026.
PDF 2511.13520 [BibTex]

×

BibTex Entry

@inproceedings{franz26_qse,
 archiveprefix = {arXiv},
 author = {Maja Franz and Lukas Schmidbauer and Joshua Ammermann and Ina Schaefer and Wolfgang Mauerer},
 booktitle = {Proceedings Q-SE@ICSE},
 entrysubtype = {Workshop},
 eprint = {2511.13520},
 month = {04},
 primaryclass = {quant-ph},
 title = {Towards Quantum Software for Quantum Simulation},
 url = {https://arxiv.org/abs/2511.13520},
 year = {2026}
}

Close

To Appear ACM Journal 6.8
It’s Quick to be Square: Fast Quadratisation for Quantum Toolchains

Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer, Wolfgang Mauerer2026.
PDF Reproduction Package 2411.19934 [BibTex]

×

BibTex Entry

@misc{schmidbauer:26:fastQuadratisation,
 archiveprefix = {arXiv},
 author = {Schmidbauer, Lukas and Lobe, Elisabeth and Schaefer, Ina and Mauerer, Wolfgang},
 entrysubtype = {Journal},
 eprint = {2411.19934},
 keywords = {Pseudo boolean function, Graphs, Performance, Algorithmic optimisation},
 language = {en},
 month = {02},
 primaryclass = {quant-ph},
 title = {It’s Quick to be Square: Fast Quadratisation for Quantum Toolchains},
 url = {https://arxiv.org/abs/2411.19934},
 userc = {IF:6.8},
 userd = {ACM TQC},
 year = {2026}
}

Close

2025

IEEE Conference Best Student Paper
SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains

Lukas Schmidbauer, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Software (QSW)2025Best Student Paper.
PDF 10.1109/QSW67625.2025.00021 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schmidbauer:25:sat,
 author = {Schmidbauer, Lukas and Mauerer, Wolfgang},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Software (QSW)},
 compages = {},
 comurl = {},
 comx-repro = {https://doi.org/10.5281/zenodo.15464391},
 doi = {10.1109/QSW67625.2025.00021},
 entrysubtype = {Conference},
 keywords = {Quantum Software, SAT, Pseudo Boolean Function, QUBO, PUBO},
 language = {en},
 month = {07},
 title = {SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains},
 userd = {IEEE QSW '25},
 year = {2025}
}

Close

IEEE Conference
Path Matters: Industrial Data Meet Quantum Optimization

Lukas Schmidbauer, Carlos A. Riofrío, Florian Heinrich, Vanessa Junk, Ulrich Schwenk, Thomas Husslein, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Computing and Engineering2025.
PDF 10.1109/QCE65121.2025.00230 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schmidbauer:25:qce,
 author = {Lukas Schmidbauer and Carlos A. Riofrío and Florian Heinrich and Vanessa Junk and Ulrich Schwenk and Thomas Husslein and Wolfgang Mauerer},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Computing and Engineering},
 doi = {10.1109/QCE65121.2025.00230},
 entrysubtype = {Conference},
 eprint = {2504.16607},
 month = {5},
 title = {Path Matters: Industrial Data Meet Quantum Optimization},
 url = {https://arxiv.org/abs/2504.16607},
 userd = {IEEE QCE '25},
 year = {2025}
}

Close

2024

IEEE Conference
Polynomial Reduction Methods and their Impact on QAOA Circuits

Lukas Schmidbauer, Karen Wintersperger, Elisabeth Lobe, Wolfgang MauererProceedings of the IEEE International Conference on Quantum Software (QSW)2024.
PDF 10.1109/QSW62656.2024.00018 Reproduction Package [BibTex]

×

BibTex Entry

@inproceedings{schmidbauer:24:reductions,
 author = {Schmidbauer, Lukas and Wintersperger, Karen and Lobe, Elisabeth and Mauerer, Wolfgang},
 booktitle = {Proceedings of the IEEE International Conference on Quantum Software (QSW)},
 compages = {31-42},
 comurl = {},
 comx-repro = {https://doi.org/10.5281/zenodo.11402739},
 doi = {10.1109/QSW62656.2024.00018},
 entrysubtype = {Conference},
 keywords = {noisy quantum computing, NISQ systems, quantum software engineering, HW-SW co design},
 language = {en},
 month = {07},
 title = {Polynomial Reduction Methods and their Impact on QAOA Circuits},
 userd = {IEEE QSW '24},
 year = {2024}
}

Close

Supervised Theses

2026

2025