Scholar

Ina Schaefer

Google Scholar ID: odzaci8AAAAJ

Karlsruhe Institute of Technology (KIT)

Software EngineeringFormal MethodsSoftware Product Lines

Google Scholar↗

Citations & Impact

All-time

Citations

3,794

H-index

29

i10-index

109

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Investigating Retargetability Claims for Quantum Compilers

2026

Cited

0

Towards Quantum Software for Quantum Simulation

2025

Cited

0

ProvideQ: A Quantum Optimization Toolbox

2025

Cited

0

Quantum Pattern Detection: Accurate State- and Circuit-based Analyses

2025

Cited

0

QbC: Quantum Correctness by Construction

Proc. ACM Program. Lang. · 2023

Cited

1

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)