Risultati della ricerca - Schaefer, Ina

  • Mostra 1 - 10 risultati su 10
Raffina i risultati
  1. 1
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  9. 9
    Copertina

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

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

    Aggiungi alla lista
    Salvato in:
  10. 10
    Copertina

    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

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

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: