Projects

• KIT+
• TAQO-PAM
• AIM-SMEs

Projects

• KIT+
• TAQO-PAM
• AIM-SMEs

Publications

2026

To Appear IEEE Workshop
Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows

Benjamin Zec, Lukas Schmidbauer, Maja Franz, Wolfgang MauererProceedings of WIHPQC@IEEE QCE2026.
PDF Reproduction Package 2608.02041 [BibTex]

×

BibTex Entry

@inproceedings{zec:26:tensornetwork,
 archiveprefix = {arXiv},
 author = {Benjamin Zec and Lukas Schmidbauer and Maja Franz and Wolfgang Mauerer},
 booktitle = {Proceedings of WIHPQC@IEEE QCE},
 entrysubtype = {Workshop},
 eprint = {2608.02041},
 month = {09},
 title = {Towards Tensor-Network SAT-Solvers for Quantum-Classical Workflows},
 url = {https://arxiv.org/abs/2608.02041},
 userd = {IEEE QCE '26},
 year = {2026}
}

Close

To Appear IEEE Conference
Works on My QPU: Reproducibility in Quantum Computing Research

Dominik Köster, Maja Franz, Benjamin Zec, Nicole Höß, Ralf Ramsauer, Wolfgang MauererIEEE International Conference on Quantum Computing and Engineering (QCE)IEEE Computer Society2026.
PDF Reproduction Package 2607.08348 [BibTex]

×

BibTex Entry

@inproceedings{koester:26:worksOnMyQPU,
 address = {Los Alamitos, CA, USA},
 archiveprefix = {arXiv},
 author = {Dominik Köster and Maja Franz and Benjamin Zec and Nicole Höß and Ralf Ramsauer and Wolfgang Mauerer},
 booktitle = {IEEE International Conference on Quantum Computing and Engineering (QCE)},
 doi = {},
 entrysubtype = {Conference},
 eprint = {2607.08348},
 month = {9},
 publisher = {IEEE Computer Society},
 title = {Works on My QPU: Reproducibility in Quantum Computing Research},
 url = {https://arxiv.org/abs/2607.08348},
 userd = {IEEE QCE '26},
 year = {2026}
}

Close

Thesis