Risultati della ricerca - Schaefer, Ina

QbC: Quantum Correctness by Construction di Peduri, Anurudh, Schaefer, Ina, Walter, Michael

Testo

Towards View-based Development of Quantum Software di Ammermann, Joshua, Mauerer, Wolfgang, Schaefer, Ina

Testo

MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples di Pett, Tobias, Krieter, Sebastian, Thüm, Thomas, Schaefer, Ina

Testo

It's Quick to be Square: Fast Quadratisation for Quantum Toolchains di Schmidbauer, Lukas, Lobe, Elisabeth, Schaefer, Ina, Mauerer, Wolfgang

Testo

Quantum Pattern Detection: Accurate State- and Circuit-based Analyses di Shen, Julian, Ammermann, Joshua, König, Christoph, Schaefer, Ina

Testo

ProvideQ: A Quantum Optimization Toolbox di Eichhorn, Domenik, Poser, Nick, Schweikart, Maximilian, Schaefer, Ina

Testo

Flexible Correct-by-Construction Programming di Runge, Tobias, Bordis, Tabea, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

Testo

Towards Quantum Software for Quantum Simulation di Franz, Maja, Schmidbauer, Lukas, Ammermann, Joshua, Schaefer, Ina, Mauerer, Wolfgang

Testo

Investigating Retargetability Claims for Quantum Compilers di Southall, Luke, Ammermann, Joshua, Kelmendi, Rinor, Eichhorn, Domenik, Schaefer, Ina

Testo

Ernst Denert Award for Software Engineering 2019 di Felderer, Michael, Hasselbring, Wilhelm, Koziolek, Heiko, Matthes, Florian, Prechelt, Lutz, Reussner, Ralf, Rumpe, Bernhard, Schaefer, Ina

Testo