Quantum Program Transformation

Quant muc Program Transformation is a formal method within quantum programming languages that systematically modifies quantum programs to preserve or enhance functional and non-functional properties while respecting the principles of quantum mechanics.

29

Publications

1.3K

Citations

83

Authors

27

Institutions

Publications per year

2017–2026

14

Authors

83

  1. YF
    Yuan Feng

    Tsinghua University, China

    4 publications · 77 citations

    4

    h-index

  2. MY
    Mingsheng Ying

    Tsinghua University, China

    3 publications · 68 citations

    3

    h-index

  3. RP
    Ricardo Pérez‐Castillo

    University of Castilla-La Mancha, Spain

    2 publications · 72 citations

    2

    h-index

  4. JM
    Juan M. Murillo

    Universidad de Extremadura, Spain

    2 publications · 78 citations

    2

    h-index

  5. MP
    Mario Piattini

    University of Castilla-La Mancha, Spain

    2 publications · 72 citations

    2

    h-index

1–5 of 83

Venues

  1. arXiv (Cornell University)

    Repository · 2 publications · 135 citations

    2

    h-index

  2. Computer Physics Communications

    1 publications · 14 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 13 citations

    1

    h-index

  4. Journal of Systems and Software

    JSS · 1 publications · 61 citations

    1

    h-index

  5. Information and Computation

    1 publications · 14 citations

    1

    h-index

1–5