Résultats de la recherche - Schaefer, Ina

  • Résultat(s) 1 - 10 résultats de 10
Affiner les résultats
  1. 1
    Image de couverture de livre

    QbC: Quantum Correctness by Construction Autoría: Peduri, Anurudh, Schaefer, Ina, Walter, Michael

    Publié 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Towards View-based Development of Quantum Software Autoría: Ammermann, Joshua, Mauerer, Wolfgang, Schaefer, Ina

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

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

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

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

    Publié 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

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

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Image de couverture de livre

    ProvideQ: A Quantum Optimization Toolbox Autoría: Eichhorn, Domenik, Poser, Nick, Schweikart, Maximilian, Schaefer, Ina

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Image de couverture de livre

    Flexible Correct-by-Construction Programming Autoría: Runge, Tobias, Bordis, Tabea, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

    Publié 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Image de couverture de livre

    Towards Quantum Software for Quantum Simulation Autoría: Franz, Maja, Schmidbauer, Lukas, Ammermann, Joshua, Schaefer, Ina, Mauerer, Wolfgang

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Image de couverture de livre

    Investigating Retargetability Claims for Quantum Compilers Autoría: Southall, Luke, Ammermann, Joshua, Kelmendi, Rinor, Eichhorn, Domenik, Schaefer, Ina

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Image de couverture de livre

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

    Publié 2020
    Fuente: DOAB / OAPEN
    Tipo de material: Libro electrónico
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: